1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx --show-encoding %s | FileCheck %s
3 // CHECK: knotq %k6, %k3
4 // CHECK: encoding: [0xc4,0xe1,0xf8,0x44,0xde]
7 // CHECK: knotd %k4, %k3
8 // CHECK: encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
11 // CHECK: kmovq %k5, %k2
12 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
15 // CHECK: kmovq (%rcx), %k2
16 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0x11]
19 // CHECK: kmovq 291(%rax,%r14,8), %k2
20 // CHECK: encoding: [0xc4,0xa1,0xf8,0x90,0x94,0xf0,0x23,0x01,0x00,0x00]
21 kmovq 291(%rax,%r14,8), %k2
23 // CHECK: kmovd %k4, %k5
24 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0xec]
27 // CHECK: kmovd (%rcx), %k5
28 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0x29]
31 // CHECK: kmovd 291(%rax,%r14,8), %k5
32 // CHECK: encoding: [0xc4,0xa1,0xf9,0x90,0xac,0xf0,0x23,0x01,0x00,0x00]
33 kmovd 291(%rax,%r14,8), %k5
35 // CHECK: kmovq %k3, (%rcx)
36 // CHECK: encoding: [0xc4,0xe1,0xf8,0x91,0x19]
39 // CHECK: kmovq %k3, 291(%rax,%r14,8)
40 // CHECK: encoding: [0xc4,0xa1,0xf8,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
41 kmovq %k3, 291(%rax,%r14,8)
43 // CHECK: kmovd %k3, (%rcx)
44 // CHECK: encoding: [0xc4,0xe1,0xf9,0x91,0x19]
47 // CHECK: kmovd %k3, 291(%rax,%r14,8)
48 // CHECK: encoding: [0xc4,0xa1,0xf9,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
49 kmovd %k3, 291(%rax,%r14,8)
51 // CHECK: kmovq %rax, %k2
52 // CHECK: encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
55 // CHECK: kmovq %r8, %k2
56 // CHECK: encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
59 // CHECK: kmovd %eax, %k4
60 // CHECK: encoding: [0xc5,0xfb,0x92,0xe0]
63 // CHECK: kmovd %ebp, %k4
64 // CHECK: encoding: [0xc5,0xfb,0x92,0xe5]
67 // CHECK: kmovd %r13d, %k4
68 // CHECK: encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
71 // CHECK: kmovq %k3, %rax
72 // CHECK: encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
75 // CHECK: kmovq %k3, %r8
76 // CHECK: encoding: [0xc4,0x61,0xfb,0x93,0xc3]
79 // CHECK: kmovd %k5, %eax
80 // CHECK: encoding: [0xc5,0xfb,0x93,0xc5]
83 // CHECK: kmovd %k5, %ebp
84 // CHECK: encoding: [0xc5,0xfb,0x93,0xed]
87 // CHECK: kmovd %k5, %r13d
88 // CHECK: encoding: [0xc5,0x7b,0x93,0xed]