1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx --show-encoding %s | FileCheck %s
3 // CHECK: kandq %k7, %k5, %k5
4 // CHECK: encoding: [0xc4,0xe1,0xd4,0x41,0xef]
7 // CHECK: kandd %k4, %k5, %k5
8 // CHECK: encoding: [0xc4,0xe1,0xd5,0x41,0xec]
11 // CHECK: kandnq %k4, %k5, %k2
12 // CHECK: encoding: [0xc4,0xe1,0xd4,0x42,0xd4]
15 // CHECK: kandnd %k6, %k6, %k3
16 // CHECK: encoding: [0xc4,0xe1,0xcd,0x42,0xde]
19 // CHECK: korq %k4, %k5, %k4
20 // CHECK: encoding: [0xc4,0xe1,0xd4,0x45,0xe4]
23 // CHECK: kord %k6, %k6, %k5
24 // CHECK: encoding: [0xc4,0xe1,0xcd,0x45,0xee]
27 // CHECK: kxnorq %k6, %k5, %k2
28 // CHECK: encoding: [0xc4,0xe1,0xd4,0x46,0xd6]
31 // CHECK: kxnord %k5, %k3, %k5
32 // CHECK: encoding: [0xc4,0xe1,0xe5,0x46,0xed]
35 // CHECK: kxorq %k4, %k3, %k2
36 // CHECK: encoding: [0xc4,0xe1,0xe4,0x47,0xd4]
39 // CHECK: kxord %k6, %k5, %k2
40 // CHECK: encoding: [0xc4,0xe1,0xd5,0x47,0xd6]
43 // CHECK: knotq %k6, %k3
44 // CHECK: encoding: [0xc4,0xe1,0xf8,0x44,0xde]
47 // CHECK: knotd %k4, %k3
48 // CHECK: encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
51 // CHECK: kmovq %k5, %k2
52 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
55 // CHECK: kmovq (%rcx), %k2
56 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0x11]
59 // CHECK: kmovq 291(%rax,%r14,8), %k2
60 // CHECK: encoding: [0xc4,0xa1,0xf8,0x90,0x94,0xf0,0x23,0x01,0x00,0x00]
61 kmovq 291(%rax,%r14,8), %k2
63 // CHECK: kmovd %k4, %k5
64 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0xec]
67 // CHECK: kmovd (%rcx), %k5
68 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0x29]
71 // CHECK: kmovd 291(%rax,%r14,8), %k5
72 // CHECK: encoding: [0xc4,0xa1,0xf9,0x90,0xac,0xf0,0x23,0x01,0x00,0x00]
73 kmovd 291(%rax,%r14,8), %k5
75 // CHECK: kmovq %k3, (%rcx)
76 // CHECK: encoding: [0xc4,0xe1,0xf8,0x91,0x19]
79 // CHECK: kmovq %k3, 291(%rax,%r14,8)
80 // CHECK: encoding: [0xc4,0xa1,0xf8,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
81 kmovq %k3, 291(%rax,%r14,8)
83 // CHECK: kmovd %k3, (%rcx)
84 // CHECK: encoding: [0xc4,0xe1,0xf9,0x91,0x19]
87 // CHECK: kmovd %k3, 291(%rax,%r14,8)
88 // CHECK: encoding: [0xc4,0xa1,0xf9,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
89 kmovd %k3, 291(%rax,%r14,8)
91 // CHECK: kmovq %rax, %k2
92 // CHECK: encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
95 // CHECK: kmovq %r8, %k2
96 // CHECK: encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
99 // CHECK: kmovd %eax, %k4
100 // CHECK: encoding: [0xc5,0xfb,0x92,0xe0]
103 // CHECK: kmovd %ebp, %k4
104 // CHECK: encoding: [0xc5,0xfb,0x92,0xe5]
107 // CHECK: kmovd %r13d, %k4
108 // CHECK: encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
111 // CHECK: kmovq %k3, %rax
112 // CHECK: encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
115 // CHECK: kmovq %k3, %r8
116 // CHECK: encoding: [0xc4,0x61,0xfb,0x93,0xc3]
119 // CHECK: kmovd %k5, %eax
120 // CHECK: encoding: [0xc5,0xfb,0x93,0xc5]
123 // CHECK: kmovd %k5, %ebp
124 // CHECK: encoding: [0xc5,0xfb,0x93,0xed]
127 // CHECK: kmovd %k5, %r13d
128 // CHECK: encoding: [0xc5,0x7b,0x93,0xed]