x86_64-bmi-encoding.s revision ee62e4f6d192ee31d1ad9dd0ba0c41db6663d3c7 
1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: blsmskl  %r11d, %r10d
4// CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xd3]
5          blsmskl  %r11d, %r10d
6
7// CHECK: blsmskq  %r11, %r10
8// CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xd3]
9          blsmskq  %r11, %r10
10
11// CHECK: blsmskl  (%rax), %r10d
12// CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x10]
13          blsmskl  (%rax), %r10d
14
15// CHECK: blsmskq  (%rax), %r10
16// CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x10]
17          blsmskq  (%rax), %r10
18
19// CHECK: blsil  %r11d, %r10d
20// CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xdb]
21          blsil  %r11d, %r10d
22
23// CHECK: blsiq  %r11, %r10
24// CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xdb]
25          blsiq  %r11, %r10
26
27// CHECK: blsil  (%rax), %r10d
28// CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x18]
29          blsil  (%rax), %r10d
30
31// CHECK: blsiq  (%rax), %r10
32// CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x18]
33          blsiq  (%rax), %r10
34
35// CHECK: blsrl  %r11d, %r10d
36// CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xcb]
37          blsrl  %r11d, %r10d
38
39// CHECK: blsrq  %r11, %r10
40// CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xcb]
41          blsrq  %r11, %r10
42
43// CHECK: blsrl  (%rax), %r10d
44// CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x08]
45          blsrl  (%rax), %r10d
46
47// CHECK: blsrq  (%rax), %r10
48// CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x08]
49          blsrq  (%rax), %r10
50
51// CHECK: andnl  (%rax), %r11d, %r10d
52// CHECK: encoding: [0xc4,0x62,0x20,0xf2,0x10]
53          andnl  (%rax), %r11d, %r10d
54
55// CHECK: andnq  (%rax), %r11, %r10
56// CHECK: encoding: [0xc4,0x62,0xa0,0xf2,0x10]
57          andnq  (%rax), %r11, %r10
58
59// CHECK: bextrl %r12d, (%rax), %r10d
60// CHECK: encoding: [0xc4,0x62,0x18,0xf7,0x10]
61          bextrl %r12d, (%rax), %r10d
62
63// CHECK: bextrl %r12d, %r11d, %r10d
64// CHECK: encoding: [0xc4,0x42,0x18,0xf7,0xd3]
65          bextrl %r12d, %r11d, %r10d
66
67// CHECK: bextrq %r12, (%rax), %r10
68// CHECK: encoding: [0xc4,0x62,0x98,0xf7,0x10]
69          bextrq %r12, (%rax), %r10
70
71// CHECK: bextrq %r12, %r11, %r10
72// CHECK: encoding: [0xc4,0x42,0x98,0xf7,0xd3]
73          bextrq %r12, %r11, %r10
74
75// CHECK: bzhil %r12d, (%rax), %r10d
76// CHECK: encoding: [0xc4,0x62,0x18,0xf5,0x10]
77          bzhil %r12d, (%rax), %r10d
78
79// CHECK: bzhil %r12d, %r11d, %r10d
80// CHECK: encoding: [0xc4,0x42,0x18,0xf5,0xd3]
81          bzhil %r12d, %r11d, %r10d
82
83// CHECK: bzhiq %r12, (%rax), %r10
84// CHECK: encoding: [0xc4,0x62,0x98,0xf5,0x10]
85          bzhiq %r12, (%rax), %r10
86
87// CHECK: bzhiq %r12, %r11, %r10
88// CHECK: encoding: [0xc4,0x42,0x98,0xf5,0xd3]
89          bzhiq %r12, %r11, %r10
90
91// CHECK: pextrl %r12d, %r11d, %r10d
92// CHECK: encoding: [0xc4,0x42,0x22,0xf5,0xd4]
93          pextrl %r12d, %r11d, %r10d
94
95// CHECK: pextrl (%rax), %r11d, %r10d
96// CHECK: encoding: [0xc4,0x62,0x22,0xf5,0x10]
97          pextrl (%rax), %r11d, %r10d
98
99// CHECK: pextrq %r12, %r11, %r10
100// CHECK: encoding: [0xc4,0x42,0xa2,0xf5,0xd4]
101          pextrq %r12, %r11, %r10
102
103// CHECK: pextrq (%rax), %r11, %r10
104// CHECK: encoding: [0xc4,0x62,0xa2,0xf5,0x10]
105          pextrq (%rax), %r11, %r10
106
107// CHECK: pdepl %r12d, %r11d, %r10d
108// CHECK: encoding: [0xc4,0x42,0x23,0xf5,0xd4]
109          pdepl %r12d, %r11d, %r10d
110
111// CHECK: pdepl (%rax), %r11d, %r10d
112// CHECK: encoding: [0xc4,0x62,0x23,0xf5,0x10]
113          pdepl (%rax), %r11d, %r10d
114
115// CHECK: pdepq %r12, %r11, %r10
116// CHECK: encoding: [0xc4,0x42,0xa3,0xf5,0xd4]
117          pdepq %r12, %r11, %r10
118
119// CHECK: pdepq (%rax), %r11, %r10
120// CHECK: encoding: [0xc4,0x62,0xa3,0xf5,0x10]
121          pdepq (%rax), %r11, %r10
122