1 #as:
2 #objdump: -dw
3 #name: x86-64 BMI insns
4 
5 .*: +file format .*
6 
7 
8 Disassembly of section .text:
9 
10 0+ <_start>:
11 [ 	]*[a-f0-9]+:	66 f3 0f bc d8       	tzcnt  %ax,%bx
12 [ 	]*[a-f0-9]+:	66 f3 0f bc 19       	tzcnt  \(%rcx\),%bx
13 [ 	]*[a-f0-9]+:	66 f3 44 0f bc 39    	tzcnt  \(%rcx\),%r15w
14 [ 	]*[a-f0-9]+:	c4 e2 60 f2 f0       	andn   %eax,%ebx,%esi
15 [ 	]*[a-f0-9]+:	c4 e2 60 f2 31       	andn   \(%rcx\),%ebx,%esi
16 [ 	]*[a-f0-9]+:	c4 42 00 f2 d1       	andn   %r9d,%r15d,%r10d
17 [ 	]*[a-f0-9]+:	c4 62 00 f2 11       	andn   \(%rcx\),%r15d,%r10d
18 [ 	]*[a-f0-9]+:	c4 e2 78 f7 f3       	bextr  %eax,%ebx,%esi
19 [ 	]*[a-f0-9]+:	c4 e2 60 f7 31       	bextr  %ebx,\(%rcx\),%esi
20 [ 	]*[a-f0-9]+:	c4 42 30 f7 d7       	bextr  %r9d,%r15d,%r10d
21 [ 	]*[a-f0-9]+:	c4 62 30 f7 11       	bextr  %r9d,\(%rcx\),%r10d
22 [ 	]*[a-f0-9]+:	f3 0f bc d8          	tzcnt  %eax,%ebx
23 [ 	]*[a-f0-9]+:	f3 0f bc 19          	tzcnt  \(%rcx\),%ebx
24 [ 	]*[a-f0-9]+:	f3 44 0f bc 39       	tzcnt  \(%rcx\),%r15d
25 [ 	]*[a-f0-9]+:	c4 e2 60 f3 d8       	blsi   %eax,%ebx
26 [ 	]*[a-f0-9]+:	c4 e2 60 f3 19       	blsi   \(%rcx\),%ebx
27 [ 	]*[a-f0-9]+:	c4 e2 00 f3 19       	blsi   \(%rcx\),%r15d
28 [ 	]*[a-f0-9]+:	c4 e2 60 f3 d0       	blsmsk %eax,%ebx
29 [ 	]*[a-f0-9]+:	c4 e2 60 f3 11       	blsmsk \(%rcx\),%ebx
30 [ 	]*[a-f0-9]+:	c4 e2 00 f3 11       	blsmsk \(%rcx\),%r15d
31 [ 	]*[a-f0-9]+:	c4 e2 60 f3 c8       	blsr   %eax,%ebx
32 [ 	]*[a-f0-9]+:	c4 e2 60 f3 09       	blsr   \(%rcx\),%ebx
33 [ 	]*[a-f0-9]+:	c4 e2 00 f3 09       	blsr   \(%rcx\),%r15d
34 [ 	]*[a-f0-9]+:	c4 e2 e0 f2 f0       	andn   %rax,%rbx,%rsi
35 [ 	]*[a-f0-9]+:	c4 e2 e0 f2 31       	andn   \(%rcx\),%rbx,%rsi
36 [ 	]*[a-f0-9]+:	c4 42 80 f2 d1       	andn   %r9,%r15,%r10
37 [ 	]*[a-f0-9]+:	c4 62 80 f2 11       	andn   \(%rcx\),%r15,%r10
38 [ 	]*[a-f0-9]+:	c4 e2 f8 f7 f3       	bextr  %rax,%rbx,%rsi
39 [ 	]*[a-f0-9]+:	c4 e2 f8 f7 31       	bextr  %rax,\(%rcx\),%rsi
40 [ 	]*[a-f0-9]+:	c4 42 b0 f7 d7       	bextr  %r9,%r15,%r10
41 [ 	]*[a-f0-9]+:	c4 62 b0 f7 11       	bextr  %r9,\(%rcx\),%r10
42 [ 	]*[a-f0-9]+:	f3 48 0f bc d8       	tzcnt  %rax,%rbx
43 [ 	]*[a-f0-9]+:	f3 48 0f bc 19       	tzcnt  \(%rcx\),%rbx
44 [ 	]*[a-f0-9]+:	f3 4d 0f bc f9       	tzcnt  %r9,%r15
45 [ 	]*[a-f0-9]+:	f3 4c 0f bc 39       	tzcnt  \(%rcx\),%r15
46 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 d8       	blsi   %rax,%rbx
47 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 19       	blsi   \(%rcx\),%rbx
48 [ 	]*[a-f0-9]+:	c4 c2 80 f3 d9       	blsi   %r9,%r15
49 [ 	]*[a-f0-9]+:	c4 e2 80 f3 19       	blsi   \(%rcx\),%r15
50 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 d0       	blsmsk %rax,%rbx
51 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 11       	blsmsk \(%rcx\),%rbx
52 [ 	]*[a-f0-9]+:	c4 c2 80 f3 d1       	blsmsk %r9,%r15
53 [ 	]*[a-f0-9]+:	c4 e2 80 f3 11       	blsmsk \(%rcx\),%r15
54 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 c8       	blsr   %rax,%rbx
55 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 09       	blsr   \(%rcx\),%rbx
56 [ 	]*[a-f0-9]+:	c4 c2 80 f3 c9       	blsr   %r9,%r15
57 [ 	]*[a-f0-9]+:	c4 e2 80 f3 09       	blsr   \(%rcx\),%r15
58 [ 	]*[a-f0-9]+:	66 f3 0f bc d8       	tzcnt  %ax,%bx
59 [ 	]*[a-f0-9]+:	66 f3 0f bc 19       	tzcnt  \(%rcx\),%bx
60 [ 	]*[a-f0-9]+:	66 f3 44 0f bc 11    	tzcnt  \(%rcx\),%r10w
61 [ 	]*[a-f0-9]+:	66 f3 0f bc 19       	tzcnt  \(%rcx\),%bx
62 [ 	]*[a-f0-9]+:	c4 e2 60 f2 f0       	andn   %eax,%ebx,%esi
63 [ 	]*[a-f0-9]+:	c4 e2 60 f2 31       	andn   \(%rcx\),%ebx,%esi
64 [ 	]*[a-f0-9]+:	c4 42 28 f2 f9       	andn   %r9d,%r10d,%r15d
65 [ 	]*[a-f0-9]+:	c4 62 28 f2 39       	andn   \(%rcx\),%r10d,%r15d
66 [ 	]*[a-f0-9]+:	c4 e2 60 f2 31       	andn   \(%rcx\),%ebx,%esi
67 [ 	]*[a-f0-9]+:	c4 e2 78 f7 f3       	bextr  %eax,%ebx,%esi
68 [ 	]*[a-f0-9]+:	c4 e2 60 f7 31       	bextr  %ebx,\(%rcx\),%esi
69 [ 	]*[a-f0-9]+:	c4 42 30 f7 fa       	bextr  %r9d,%r10d,%r15d
70 [ 	]*[a-f0-9]+:	c4 62 30 f7 39       	bextr  %r9d,\(%rcx\),%r15d
71 [ 	]*[a-f0-9]+:	c4 e2 60 f7 31       	bextr  %ebx,\(%rcx\),%esi
72 [ 	]*[a-f0-9]+:	f3 0f bc d8          	tzcnt  %eax,%ebx
73 [ 	]*[a-f0-9]+:	f3 0f bc 19          	tzcnt  \(%rcx\),%ebx
74 [ 	]*[a-f0-9]+:	f3 44 0f bc 11       	tzcnt  \(%rcx\),%r10d
75 [ 	]*[a-f0-9]+:	f3 0f bc 19          	tzcnt  \(%rcx\),%ebx
76 [ 	]*[a-f0-9]+:	c4 e2 60 f3 d8       	blsi   %eax,%ebx
77 [ 	]*[a-f0-9]+:	c4 e2 60 f3 19       	blsi   \(%rcx\),%ebx
78 [ 	]*[a-f0-9]+:	c4 e2 28 f3 19       	blsi   \(%rcx\),%r10d
79 [ 	]*[a-f0-9]+:	c4 e2 60 f3 19       	blsi   \(%rcx\),%ebx
80 [ 	]*[a-f0-9]+:	c4 e2 60 f3 d0       	blsmsk %eax,%ebx
81 [ 	]*[a-f0-9]+:	c4 e2 60 f3 11       	blsmsk \(%rcx\),%ebx
82 [ 	]*[a-f0-9]+:	c4 e2 28 f3 11       	blsmsk \(%rcx\),%r10d
83 [ 	]*[a-f0-9]+:	c4 e2 60 f3 11       	blsmsk \(%rcx\),%ebx
84 [ 	]*[a-f0-9]+:	c4 e2 60 f3 c8       	blsr   %eax,%ebx
85 [ 	]*[a-f0-9]+:	c4 e2 60 f3 09       	blsr   \(%rcx\),%ebx
86 [ 	]*[a-f0-9]+:	c4 e2 28 f3 09       	blsr   \(%rcx\),%r10d
87 [ 	]*[a-f0-9]+:	c4 e2 60 f3 09       	blsr   \(%rcx\),%ebx
88 [ 	]*[a-f0-9]+:	c4 e2 e0 f2 f0       	andn   %rax,%rbx,%rsi
89 [ 	]*[a-f0-9]+:	c4 e2 e0 f2 31       	andn   \(%rcx\),%rbx,%rsi
90 [ 	]*[a-f0-9]+:	c4 42 80 f2 d1       	andn   %r9,%r15,%r10
91 [ 	]*[a-f0-9]+:	c4 62 80 f2 11       	andn   \(%rcx\),%r15,%r10
92 [ 	]*[a-f0-9]+:	c4 e2 e0 f2 31       	andn   \(%rcx\),%rbx,%rsi
93 [ 	]*[a-f0-9]+:	c4 e2 f8 f7 f3       	bextr  %rax,%rbx,%rsi
94 [ 	]*[a-f0-9]+:	c4 e2 f8 f7 31       	bextr  %rax,\(%rcx\),%rsi
95 [ 	]*[a-f0-9]+:	c4 42 b0 f7 d7       	bextr  %r9,%r15,%r10
96 [ 	]*[a-f0-9]+:	c4 62 b0 f7 11       	bextr  %r9,\(%rcx\),%r10
97 [ 	]*[a-f0-9]+:	c4 e2 f8 f7 31       	bextr  %rax,\(%rcx\),%rsi
98 [ 	]*[a-f0-9]+:	f3 48 0f bc d8       	tzcnt  %rax,%rbx
99 [ 	]*[a-f0-9]+:	f3 48 0f bc 19       	tzcnt  \(%rcx\),%rbx
100 [ 	]*[a-f0-9]+:	f3 4d 0f bc f9       	tzcnt  %r9,%r15
101 [ 	]*[a-f0-9]+:	f3 4c 0f bc 39       	tzcnt  \(%rcx\),%r15
102 [ 	]*[a-f0-9]+:	f3 48 0f bc 19       	tzcnt  \(%rcx\),%rbx
103 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 d8       	blsi   %rax,%rbx
104 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 19       	blsi   \(%rcx\),%rbx
105 [ 	]*[a-f0-9]+:	c4 c2 80 f3 d9       	blsi   %r9,%r15
106 [ 	]*[a-f0-9]+:	c4 e2 80 f3 19       	blsi   \(%rcx\),%r15
107 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 19       	blsi   \(%rcx\),%rbx
108 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 d0       	blsmsk %rax,%rbx
109 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 11       	blsmsk \(%rcx\),%rbx
110 [ 	]*[a-f0-9]+:	c4 c2 80 f3 d1       	blsmsk %r9,%r15
111 [ 	]*[a-f0-9]+:	c4 e2 80 f3 11       	blsmsk \(%rcx\),%r15
112 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 11       	blsmsk \(%rcx\),%rbx
113 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 c8       	blsr   %rax,%rbx
114 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 09       	blsr   \(%rcx\),%rbx
115 [ 	]*[a-f0-9]+:	c4 c2 80 f3 c9       	blsr   %r9,%r15
116 [ 	]*[a-f0-9]+:	c4 e2 80 f3 09       	blsr   \(%rcx\),%r15
117 [ 	]*[a-f0-9]+:	c4 e2 e0 f3 09       	blsr   \(%rcx\),%rbx
118 #pass
119