1// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s 2 3// CHECK: vsm4key4 %ymm4, %ymm13, %ymm12 4// CHECK: encoding: [0xc4,0x62,0x16,0xda,0xe4] 5 vsm4key4 %ymm4, %ymm13, %ymm12 6 7// CHECK: vsm4key4 %xmm4, %xmm13, %xmm12 8// CHECK: encoding: [0xc4,0x62,0x12,0xda,0xe4] 9 vsm4key4 %xmm4, %xmm13, %xmm12 10 11// CHECK: vsm4key4 268435456(%rbp,%r14,8), %ymm13, %ymm12 12// CHECK: encoding: [0xc4,0x22,0x16,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10] 13 vsm4key4 268435456(%rbp,%r14,8), %ymm13, %ymm12 14 15// CHECK: vsm4key4 291(%r8,%rax,4), %ymm13, %ymm12 16// CHECK: encoding: [0xc4,0x42,0x16,0xda,0xa4,0x80,0x23,0x01,0x00,0x00] 17 vsm4key4 291(%r8,%rax,4), %ymm13, %ymm12 18 19// CHECK: vsm4key4 (%rip), %ymm13, %ymm12 20// CHECK: encoding: [0xc4,0x62,0x16,0xda,0x25,0x00,0x00,0x00,0x00] 21 vsm4key4 (%rip), %ymm13, %ymm12 22 23// CHECK: vsm4key4 -1024(,%rbp,2), %ymm13, %ymm12 24// CHECK: encoding: [0xc4,0x62,0x16,0xda,0x24,0x6d,0x00,0xfc,0xff,0xff] 25 vsm4key4 -1024(,%rbp,2), %ymm13, %ymm12 26 27// CHECK: vsm4key4 4064(%rcx), %ymm13, %ymm12 28// CHECK: encoding: [0xc4,0x62,0x16,0xda,0xa1,0xe0,0x0f,0x00,0x00] 29 vsm4key4 4064(%rcx), %ymm13, %ymm12 30 31// CHECK: vsm4key4 -4096(%rdx), %ymm13, %ymm12 32// CHECK: encoding: [0xc4,0x62,0x16,0xda,0xa2,0x00,0xf0,0xff,0xff] 33 vsm4key4 -4096(%rdx), %ymm13, %ymm12 34 35// CHECK: vsm4key4 268435456(%rbp,%r14,8), %xmm13, %xmm12 36// CHECK: encoding: [0xc4,0x22,0x12,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10] 37 vsm4key4 268435456(%rbp,%r14,8), %xmm13, %xmm12 38 39// CHECK: vsm4key4 291(%r8,%rax,4), %xmm13, %xmm12 40// CHECK: encoding: [0xc4,0x42,0x12,0xda,0xa4,0x80,0x23,0x01,0x00,0x00] 41 vsm4key4 291(%r8,%rax,4), %xmm13, %xmm12 42 43// CHECK: vsm4key4 (%rip), %xmm13, %xmm12 44// CHECK: encoding: [0xc4,0x62,0x12,0xda,0x25,0x00,0x00,0x00,0x00] 45 vsm4key4 (%rip), %xmm13, %xmm12 46 47// CHECK: vsm4key4 -512(,%rbp,2), %xmm13, %xmm12 48// CHECK: encoding: [0xc4,0x62,0x12,0xda,0x24,0x6d,0x00,0xfe,0xff,0xff] 49 vsm4key4 -512(,%rbp,2), %xmm13, %xmm12 50 51// CHECK: vsm4key4 2032(%rcx), %xmm13, %xmm12 52// CHECK: encoding: [0xc4,0x62,0x12,0xda,0xa1,0xf0,0x07,0x00,0x00] 53 vsm4key4 2032(%rcx), %xmm13, %xmm12 54 55// CHECK: vsm4key4 -2048(%rdx), %xmm13, %xmm12 56// CHECK: encoding: [0xc4,0x62,0x12,0xda,0xa2,0x00,0xf8,0xff,0xff] 57 vsm4key4 -2048(%rdx), %xmm13, %xmm12 58 59// CHECK: vsm4rnds4 %ymm4, %ymm13, %ymm12 60// CHECK: encoding: [0xc4,0x62,0x17,0xda,0xe4] 61 vsm4rnds4 %ymm4, %ymm13, %ymm12 62 63// CHECK: vsm4rnds4 %xmm4, %xmm13, %xmm12 64// CHECK: encoding: [0xc4,0x62,0x13,0xda,0xe4] 65 vsm4rnds4 %xmm4, %xmm13, %xmm12 66 67// CHECK: vsm4rnds4 268435456(%rbp,%r14,8), %ymm13, %ymm12 68// CHECK: encoding: [0xc4,0x22,0x17,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10] 69 vsm4rnds4 268435456(%rbp,%r14,8), %ymm13, %ymm12 70 71// CHECK: vsm4rnds4 291(%r8,%rax,4), %ymm13, %ymm12 72// CHECK: encoding: [0xc4,0x42,0x17,0xda,0xa4,0x80,0x23,0x01,0x00,0x00] 73 vsm4rnds4 291(%r8,%rax,4), %ymm13, %ymm12 74 75// CHECK: vsm4rnds4 (%rip), %ymm13, %ymm12 76// CHECK: encoding: [0xc4,0x62,0x17,0xda,0x25,0x00,0x00,0x00,0x00] 77 vsm4rnds4 (%rip), %ymm13, %ymm12 78 79// CHECK: vsm4rnds4 -1024(,%rbp,2), %ymm13, %ymm12 80// CHECK: encoding: [0xc4,0x62,0x17,0xda,0x24,0x6d,0x00,0xfc,0xff,0xff] 81 vsm4rnds4 -1024(,%rbp,2), %ymm13, %ymm12 82 83// CHECK: vsm4rnds4 4064(%rcx), %ymm13, %ymm12 84// CHECK: encoding: [0xc4,0x62,0x17,0xda,0xa1,0xe0,0x0f,0x00,0x00] 85 vsm4rnds4 4064(%rcx), %ymm13, %ymm12 86 87// CHECK: vsm4rnds4 -4096(%rdx), %ymm13, %ymm12 88// CHECK: encoding: [0xc4,0x62,0x17,0xda,0xa2,0x00,0xf0,0xff,0xff] 89 vsm4rnds4 -4096(%rdx), %ymm13, %ymm12 90 91// CHECK: vsm4rnds4 268435456(%rbp,%r14,8), %xmm13, %xmm12 92// CHECK: encoding: [0xc4,0x22,0x13,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10] 93 vsm4rnds4 268435456(%rbp,%r14,8), %xmm13, %xmm12 94 95// CHECK: vsm4rnds4 291(%r8,%rax,4), %xmm13, %xmm12 96// CHECK: encoding: [0xc4,0x42,0x13,0xda,0xa4,0x80,0x23,0x01,0x00,0x00] 97 vsm4rnds4 291(%r8,%rax,4), %xmm13, %xmm12 98 99// CHECK: vsm4rnds4 (%rip), %xmm13, %xmm12 100// CHECK: encoding: [0xc4,0x62,0x13,0xda,0x25,0x00,0x00,0x00,0x00] 101 vsm4rnds4 (%rip), %xmm13, %xmm12 102 103// CHECK: vsm4rnds4 -512(,%rbp,2), %xmm13, %xmm12 104// CHECK: encoding: [0xc4,0x62,0x13,0xda,0x24,0x6d,0x00,0xfe,0xff,0xff] 105 vsm4rnds4 -512(,%rbp,2), %xmm13, %xmm12 106 107// CHECK: vsm4rnds4 2032(%rcx), %xmm13, %xmm12 108// CHECK: encoding: [0xc4,0x62,0x13,0xda,0xa1,0xf0,0x07,0x00,0x00] 109 vsm4rnds4 2032(%rcx), %xmm13, %xmm12 110 111// CHECK: vsm4rnds4 -2048(%rdx), %xmm13, %xmm12 112// CHECK: encoding: [0xc4,0x62,0x13,0xda,0xa2,0x00,0xf8,0xff,0xff] 113 vsm4rnds4 -2048(%rdx), %xmm13, %xmm12 114 115