1 #as:
2 #objdump: -dwMintel
3 #name: x86-64 BMI2 insns (Intel disassembly)
4 #source: x86-64-bmi2.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section .text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:	c4 e3 7b f0 d8 07    	rorx   ebx,eax,0x7
13 [ 	]*[a-f0-9]+:	c4 e3 7b f0 19 07    	rorx   ebx,DWORD PTR \[rcx\],0x7
14 [ 	]*[a-f0-9]+:	c4 43 7b f0 f9 07    	rorx   r15d,r9d,0x7
15 [ 	]*[a-f0-9]+:	c4 63 7b f0 39 07    	rorx   r15d,DWORD PTR \[rcx\],0x7
16 [ 	]*[a-f0-9]+:	c4 e2 63 f6 f0       	mulx   esi,ebx,eax
17 [ 	]*[a-f0-9]+:	c4 e2 63 f6 31       	mulx   esi,ebx,DWORD PTR \[rcx\]
18 [ 	]*[a-f0-9]+:	c4 42 03 f6 d1       	mulx   r10d,r15d,r9d
19 [ 	]*[a-f0-9]+:	c4 62 03 f6 11       	mulx   r10d,r15d,DWORD PTR \[rcx\]
20 [ 	]*[a-f0-9]+:	c4 e2 63 f5 f0       	pdep   esi,ebx,eax
21 [ 	]*[a-f0-9]+:	c4 e2 63 f5 31       	pdep   esi,ebx,DWORD PTR \[rcx\]
22 [ 	]*[a-f0-9]+:	c4 42 03 f5 d1       	pdep   r10d,r15d,r9d
23 [ 	]*[a-f0-9]+:	c4 62 03 f5 11       	pdep   r10d,r15d,DWORD PTR \[rcx\]
24 [ 	]*[a-f0-9]+:	c4 e2 62 f5 f0       	pext   esi,ebx,eax
25 [ 	]*[a-f0-9]+:	c4 e2 62 f5 31       	pext   esi,ebx,DWORD PTR \[rcx\]
26 [ 	]*[a-f0-9]+:	c4 42 02 f5 d1       	pext   r10d,r15d,r9d
27 [ 	]*[a-f0-9]+:	c4 62 02 f5 11       	pext   r10d,r15d,DWORD PTR \[rcx\]
28 [ 	]*[a-f0-9]+:	c4 e2 78 f5 f3       	bzhi   esi,ebx,eax
29 [ 	]*[a-f0-9]+:	c4 e2 60 f5 31       	bzhi   esi,DWORD PTR \[rcx\],ebx
30 [ 	]*[a-f0-9]+:	c4 42 30 f5 d7       	bzhi   r10d,r15d,r9d
31 [ 	]*[a-f0-9]+:	c4 62 30 f5 11       	bzhi   r10d,DWORD PTR \[rcx\],r9d
32 [ 	]*[a-f0-9]+:	c4 e2 7a f7 f3       	sarx   esi,ebx,eax
33 [ 	]*[a-f0-9]+:	c4 e2 62 f7 31       	sarx   esi,DWORD PTR \[rcx\],ebx
34 [ 	]*[a-f0-9]+:	c4 42 32 f7 d7       	sarx   r10d,r15d,r9d
35 [ 	]*[a-f0-9]+:	c4 62 32 f7 11       	sarx   r10d,DWORD PTR \[rcx\],r9d
36 [ 	]*[a-f0-9]+:	c4 e2 79 f7 f3       	shlx   esi,ebx,eax
37 [ 	]*[a-f0-9]+:	c4 e2 61 f7 31       	shlx   esi,DWORD PTR \[rcx\],ebx
38 [ 	]*[a-f0-9]+:	c4 42 31 f7 d7       	shlx   r10d,r15d,r9d
39 [ 	]*[a-f0-9]+:	c4 62 31 f7 11       	shlx   r10d,DWORD PTR \[rcx\],r9d
40 [ 	]*[a-f0-9]+:	c4 e2 7b f7 f3       	shrx   esi,ebx,eax
41 [ 	]*[a-f0-9]+:	c4 e2 63 f7 31       	shrx   esi,DWORD PTR \[rcx\],ebx
42 [ 	]*[a-f0-9]+:	c4 42 33 f7 d7       	shrx   r10d,r15d,r9d
43 [ 	]*[a-f0-9]+:	c4 62 33 f7 11       	shrx   r10d,DWORD PTR \[rcx\],r9d
44 [ 	]*[a-f0-9]+:	c4 e3 fb f0 d8 07    	rorx   rbx,rax,0x7
45 [ 	]*[a-f0-9]+:	c4 e3 fb f0 19 07    	rorx   rbx,QWORD PTR \[rcx\],0x7
46 [ 	]*[a-f0-9]+:	c4 43 fb f0 f9 07    	rorx   r15,r9,0x7
47 [ 	]*[a-f0-9]+:	c4 63 fb f0 39 07    	rorx   r15,QWORD PTR \[rcx\],0x7
48 [ 	]*[a-f0-9]+:	c4 e2 e3 f6 f0       	mulx   rsi,rbx,rax
49 [ 	]*[a-f0-9]+:	c4 e2 e3 f6 31       	mulx   rsi,rbx,QWORD PTR \[rcx\]
50 [ 	]*[a-f0-9]+:	c4 42 83 f6 d1       	mulx   r10,r15,r9
51 [ 	]*[a-f0-9]+:	c4 62 83 f6 11       	mulx   r10,r15,QWORD PTR \[rcx\]
52 [ 	]*[a-f0-9]+:	c4 e2 e3 f5 f0       	pdep   rsi,rbx,rax
53 [ 	]*[a-f0-9]+:	c4 e2 e3 f5 31       	pdep   rsi,rbx,QWORD PTR \[rcx\]
54 [ 	]*[a-f0-9]+:	c4 42 83 f5 d1       	pdep   r10,r15,r9
55 [ 	]*[a-f0-9]+:	c4 62 83 f5 11       	pdep   r10,r15,QWORD PTR \[rcx\]
56 [ 	]*[a-f0-9]+:	c4 e2 e2 f5 f0       	pext   rsi,rbx,rax
57 [ 	]*[a-f0-9]+:	c4 e2 e2 f5 31       	pext   rsi,rbx,QWORD PTR \[rcx\]
58 [ 	]*[a-f0-9]+:	c4 42 82 f5 d1       	pext   r10,r15,r9
59 [ 	]*[a-f0-9]+:	c4 62 82 f5 11       	pext   r10,r15,QWORD PTR \[rcx\]
60 [ 	]*[a-f0-9]+:	c4 e2 f8 f5 f3       	bzhi   rsi,rbx,rax
61 [ 	]*[a-f0-9]+:	c4 e2 f8 f5 31       	bzhi   rsi,QWORD PTR \[rcx\],rax
62 [ 	]*[a-f0-9]+:	c4 42 b0 f5 d7       	bzhi   r10,r15,r9
63 [ 	]*[a-f0-9]+:	c4 62 b0 f5 11       	bzhi   r10,QWORD PTR \[rcx\],r9
64 [ 	]*[a-f0-9]+:	c4 e2 fa f7 f3       	sarx   rsi,rbx,rax
65 [ 	]*[a-f0-9]+:	c4 e2 fa f7 31       	sarx   rsi,QWORD PTR \[rcx\],rax
66 [ 	]*[a-f0-9]+:	c4 42 b2 f7 d7       	sarx   r10,r15,r9
67 [ 	]*[a-f0-9]+:	c4 62 b2 f7 11       	sarx   r10,QWORD PTR \[rcx\],r9
68 [ 	]*[a-f0-9]+:	c4 e2 f9 f7 f3       	shlx   rsi,rbx,rax
69 [ 	]*[a-f0-9]+:	c4 e2 f9 f7 31       	shlx   rsi,QWORD PTR \[rcx\],rax
70 [ 	]*[a-f0-9]+:	c4 42 b1 f7 d7       	shlx   r10,r15,r9
71 [ 	]*[a-f0-9]+:	c4 62 b1 f7 11       	shlx   r10,QWORD PTR \[rcx\],r9
72 [ 	]*[a-f0-9]+:	c4 e2 fb f7 f3       	shrx   rsi,rbx,rax
73 [ 	]*[a-f0-9]+:	c4 e2 fb f7 31       	shrx   rsi,QWORD PTR \[rcx\],rax
74 [ 	]*[a-f0-9]+:	c4 42 b3 f7 d7       	shrx   r10,r15,r9
75 [ 	]*[a-f0-9]+:	c4 62 b3 f7 11       	shrx   r10,QWORD PTR \[rcx\],r9
76 [ 	]*[a-f0-9]+:	c4 e3 7b f0 d8 07    	rorx   ebx,eax,0x7
77 [ 	]*[a-f0-9]+:	c4 e3 7b f0 19 07    	rorx   ebx,DWORD PTR \[rcx\],0x7
78 [ 	]*[a-f0-9]+:	c4 43 7b f0 d1 07    	rorx   r10d,r9d,0x7
79 [ 	]*[a-f0-9]+:	c4 63 7b f0 11 07    	rorx   r10d,DWORD PTR \[rcx\],0x7
80 [ 	]*[a-f0-9]+:	c4 e3 7b f0 19 07    	rorx   ebx,DWORD PTR \[rcx\],0x7
81 [ 	]*[a-f0-9]+:	c4 e2 63 f6 f0       	mulx   esi,ebx,eax
82 [ 	]*[a-f0-9]+:	c4 e2 63 f6 31       	mulx   esi,ebx,DWORD PTR \[rcx\]
83 [ 	]*[a-f0-9]+:	c4 42 2b f6 f9       	mulx   r15d,r10d,r9d
84 [ 	]*[a-f0-9]+:	c4 62 2b f6 39       	mulx   r15d,r10d,DWORD PTR \[rcx\]
85 [ 	]*[a-f0-9]+:	c4 e2 63 f6 31       	mulx   esi,ebx,DWORD PTR \[rcx\]
86 [ 	]*[a-f0-9]+:	c4 e2 63 f5 f0       	pdep   esi,ebx,eax
87 [ 	]*[a-f0-9]+:	c4 e2 63 f5 31       	pdep   esi,ebx,DWORD PTR \[rcx\]
88 [ 	]*[a-f0-9]+:	c4 42 2b f5 f9       	pdep   r15d,r10d,r9d
89 [ 	]*[a-f0-9]+:	c4 62 2b f5 39       	pdep   r15d,r10d,DWORD PTR \[rcx\]
90 [ 	]*[a-f0-9]+:	c4 e2 63 f5 31       	pdep   esi,ebx,DWORD PTR \[rcx\]
91 [ 	]*[a-f0-9]+:	c4 e2 62 f5 f0       	pext   esi,ebx,eax
92 [ 	]*[a-f0-9]+:	c4 e2 62 f5 31       	pext   esi,ebx,DWORD PTR \[rcx\]
93 [ 	]*[a-f0-9]+:	c4 42 2a f5 f9       	pext   r15d,r10d,r9d
94 [ 	]*[a-f0-9]+:	c4 62 2a f5 39       	pext   r15d,r10d,DWORD PTR \[rcx\]
95 [ 	]*[a-f0-9]+:	c4 e2 62 f5 31       	pext   esi,ebx,DWORD PTR \[rcx\]
96 [ 	]*[a-f0-9]+:	c4 e2 78 f5 f3       	bzhi   esi,ebx,eax
97 [ 	]*[a-f0-9]+:	c4 e2 60 f5 31       	bzhi   esi,DWORD PTR \[rcx\],ebx
98 [ 	]*[a-f0-9]+:	c4 42 30 f5 fa       	bzhi   r15d,r10d,r9d
99 [ 	]*[a-f0-9]+:	c4 62 30 f5 39       	bzhi   r15d,DWORD PTR \[rcx\],r9d
100 [ 	]*[a-f0-9]+:	c4 e2 60 f5 31       	bzhi   esi,DWORD PTR \[rcx\],ebx
101 [ 	]*[a-f0-9]+:	c4 e2 7a f7 f3       	sarx   esi,ebx,eax
102 [ 	]*[a-f0-9]+:	c4 e2 62 f7 31       	sarx   esi,DWORD PTR \[rcx\],ebx
103 [ 	]*[a-f0-9]+:	c4 42 32 f7 fa       	sarx   r15d,r10d,r9d
104 [ 	]*[a-f0-9]+:	c4 62 32 f7 39       	sarx   r15d,DWORD PTR \[rcx\],r9d
105 [ 	]*[a-f0-9]+:	c4 e2 62 f7 31       	sarx   esi,DWORD PTR \[rcx\],ebx
106 [ 	]*[a-f0-9]+:	c4 e2 79 f7 f3       	shlx   esi,ebx,eax
107 [ 	]*[a-f0-9]+:	c4 e2 61 f7 31       	shlx   esi,DWORD PTR \[rcx\],ebx
108 [ 	]*[a-f0-9]+:	c4 42 31 f7 fa       	shlx   r15d,r10d,r9d
109 [ 	]*[a-f0-9]+:	c4 62 31 f7 39       	shlx   r15d,DWORD PTR \[rcx\],r9d
110 [ 	]*[a-f0-9]+:	c4 e2 61 f7 31       	shlx   esi,DWORD PTR \[rcx\],ebx
111 [ 	]*[a-f0-9]+:	c4 e2 7b f7 f3       	shrx   esi,ebx,eax
112 [ 	]*[a-f0-9]+:	c4 e2 63 f7 31       	shrx   esi,DWORD PTR \[rcx\],ebx
113 [ 	]*[a-f0-9]+:	c4 42 33 f7 fa       	shrx   r15d,r10d,r9d
114 [ 	]*[a-f0-9]+:	c4 62 33 f7 39       	shrx   r15d,DWORD PTR \[rcx\],r9d
115 [ 	]*[a-f0-9]+:	c4 e2 63 f7 31       	shrx   esi,DWORD PTR \[rcx\],ebx
116 [ 	]*[a-f0-9]+:	c4 e3 fb f0 d8 07    	rorx   rbx,rax,0x7
117 [ 	]*[a-f0-9]+:	c4 e3 fb f0 19 07    	rorx   rbx,QWORD PTR \[rcx\],0x7
118 [ 	]*[a-f0-9]+:	c4 43 fb f0 f9 07    	rorx   r15,r9,0x7
119 [ 	]*[a-f0-9]+:	c4 63 fb f0 39 07    	rorx   r15,QWORD PTR \[rcx\],0x7
120 [ 	]*[a-f0-9]+:	c4 e3 fb f0 19 07    	rorx   rbx,QWORD PTR \[rcx\],0x7
121 [ 	]*[a-f0-9]+:	c4 e2 e3 f6 f0       	mulx   rsi,rbx,rax
122 [ 	]*[a-f0-9]+:	c4 e2 e3 f6 31       	mulx   rsi,rbx,QWORD PTR \[rcx\]
123 [ 	]*[a-f0-9]+:	c4 42 83 f6 d1       	mulx   r10,r15,r9
124 [ 	]*[a-f0-9]+:	c4 62 83 f6 11       	mulx   r10,r15,QWORD PTR \[rcx\]
125 [ 	]*[a-f0-9]+:	c4 e2 e3 f6 31       	mulx   rsi,rbx,QWORD PTR \[rcx\]
126 [ 	]*[a-f0-9]+:	c4 e2 e3 f5 f0       	pdep   rsi,rbx,rax
127 [ 	]*[a-f0-9]+:	c4 e2 e3 f5 31       	pdep   rsi,rbx,QWORD PTR \[rcx\]
128 [ 	]*[a-f0-9]+:	c4 42 83 f5 d1       	pdep   r10,r15,r9
129 [ 	]*[a-f0-9]+:	c4 62 83 f5 11       	pdep   r10,r15,QWORD PTR \[rcx\]
130 [ 	]*[a-f0-9]+:	c4 e2 e3 f5 31       	pdep   rsi,rbx,QWORD PTR \[rcx\]
131 [ 	]*[a-f0-9]+:	c4 e2 e2 f5 f0       	pext   rsi,rbx,rax
132 [ 	]*[a-f0-9]+:	c4 e2 e2 f5 31       	pext   rsi,rbx,QWORD PTR \[rcx\]
133 [ 	]*[a-f0-9]+:	c4 42 82 f5 d1       	pext   r10,r15,r9
134 [ 	]*[a-f0-9]+:	c4 62 82 f5 11       	pext   r10,r15,QWORD PTR \[rcx\]
135 [ 	]*[a-f0-9]+:	c4 e2 e2 f5 31       	pext   rsi,rbx,QWORD PTR \[rcx\]
136 [ 	]*[a-f0-9]+:	c4 e2 f8 f5 f3       	bzhi   rsi,rbx,rax
137 [ 	]*[a-f0-9]+:	c4 e2 f8 f5 31       	bzhi   rsi,QWORD PTR \[rcx\],rax
138 [ 	]*[a-f0-9]+:	c4 42 b0 f5 d7       	bzhi   r10,r15,r9
139 [ 	]*[a-f0-9]+:	c4 62 b0 f5 11       	bzhi   r10,QWORD PTR \[rcx\],r9
140 [ 	]*[a-f0-9]+:	c4 e2 f8 f5 31       	bzhi   rsi,QWORD PTR \[rcx\],rax
141 [ 	]*[a-f0-9]+:	c4 e2 fa f7 f3       	sarx   rsi,rbx,rax
142 [ 	]*[a-f0-9]+:	c4 e2 fa f7 31       	sarx   rsi,QWORD PTR \[rcx\],rax
143 [ 	]*[a-f0-9]+:	c4 42 b2 f7 d7       	sarx   r10,r15,r9
144 [ 	]*[a-f0-9]+:	c4 62 b2 f7 11       	sarx   r10,QWORD PTR \[rcx\],r9
145 [ 	]*[a-f0-9]+:	c4 e2 fa f7 31       	sarx   rsi,QWORD PTR \[rcx\],rax
146 [ 	]*[a-f0-9]+:	c4 e2 f9 f7 f3       	shlx   rsi,rbx,rax
147 [ 	]*[a-f0-9]+:	c4 e2 f9 f7 31       	shlx   rsi,QWORD PTR \[rcx\],rax
148 [ 	]*[a-f0-9]+:	c4 42 b1 f7 d7       	shlx   r10,r15,r9
149 [ 	]*[a-f0-9]+:	c4 62 b1 f7 11       	shlx   r10,QWORD PTR \[rcx\],r9
150 [ 	]*[a-f0-9]+:	c4 e2 f9 f7 31       	shlx   rsi,QWORD PTR \[rcx\],rax
151 [ 	]*[a-f0-9]+:	c4 e2 fb f7 f3       	shrx   rsi,rbx,rax
152 [ 	]*[a-f0-9]+:	c4 e2 fb f7 31       	shrx   rsi,QWORD PTR \[rcx\],rax
153 [ 	]*[a-f0-9]+:	c4 42 b3 f7 d7       	shrx   r10,r15,r9
154 [ 	]*[a-f0-9]+:	c4 62 b3 f7 11       	shrx   r10,QWORD PTR \[rcx\],r9
155 [ 	]*[a-f0-9]+:	c4 e2 fb f7 31       	shrx   rsi,QWORD PTR \[rcx\],rax
156 #pass
157