x86_64-bmi-encoding.s revision 17730847d59c919d97f097d46a3fcba1888e5300 
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