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