1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
3 // CHECK: blsmskl %r11d, %r10d
4 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xd3]
7 // CHECK: blsmskq %r11, %r10
8 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xd3]
11 // CHECK: blsmskl (%rax), %r10d
12 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x10]
15 // CHECK: blsmskq (%rax), %r10
16 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x10]
19 // CHECK: blsil %r11d, %r10d
20 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xdb]
23 // CHECK: blsiq %r11, %r10
24 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xdb]
27 // CHECK: blsil (%rax), %r10d
28 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x18]
31 // CHECK: blsiq (%rax), %r10
32 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x18]
35 // CHECK: blsrl %r11d, %r10d
36 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xcb]
39 // CHECK: blsrq %r11, %r10
40 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xcb]
43 // CHECK: blsrl (%rax), %r10d
44 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x08]
47 // CHECK: blsrq (%rax), %r10
48 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x08]
51 // CHECK: andnl (%rax), %r11d, %r10d
52 // CHECK: encoding: [0xc4,0x62,0x20,0xf2,0x10]
53 andnl (%rax), %r11d, %r10d
55 // CHECK: andnq (%rax), %r11, %r10
56 // CHECK: encoding: [0xc4,0x62,0xa0,0xf2,0x10]
57 andnq (%rax), %r11, %r10
59 // CHECK: bextrl %r12d, (%rax), %r10d
60 // CHECK: encoding: [0xc4,0x62,0x18,0xf7,0x10]
61 bextrl %r12d, (%rax), %r10d
63 // CHECK: bextrl %r12d, %r11d, %r10d
64 // CHECK: encoding: [0xc4,0x42,0x18,0xf7,0xd3]
65 bextrl %r12d, %r11d, %r10d
67 // CHECK: bextrq %r12, (%rax), %r10
68 // CHECK: encoding: [0xc4,0x62,0x98,0xf7,0x10]
69 bextrq %r12, (%rax), %r10
71 // CHECK: bextrq %r12, %r11, %r10
72 // CHECK: encoding: [0xc4,0x42,0x98,0xf7,0xd3]
73 bextrq %r12, %r11, %r10
75 // CHECK: bzhil %r12d, (%rax), %r10d
76 // CHECK: encoding: [0xc4,0x62,0x18,0xf5,0x10]
77 bzhil %r12d, (%rax), %r10d
79 // CHECK: bzhil %r12d, %r11d, %r10d
80 // CHECK: encoding: [0xc4,0x42,0x18,0xf5,0xd3]
81 bzhil %r12d, %r11d, %r10d
83 // CHECK: bzhiq %r12, (%rax), %r10
84 // CHECK: encoding: [0xc4,0x62,0x98,0xf5,0x10]
85 bzhiq %r12, (%rax), %r10
87 // CHECK: bzhiq %r12, %r11, %r10
88 // CHECK: encoding: [0xc4,0x42,0x98,0xf5,0xd3]
89 bzhiq %r12, %r11, %r10