1 // RUN
: llvm-mc
-triple x86_64
-x86-asm-syntax
=intel
-output-asm-variant
=1 --show-encoding
%s | FileCheck
%s
3 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmm4
4 // CHECK
: encoding
: [0xc4,0x62,0x10,0xda,0xe4]
5 vsm3msg1 xmm12
, xmm13
, xmm4
7 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456]
8 // CHECK
: encoding
: [0xc4,0x22,0x10,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10]
9 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456]
11 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291]
12 // CHECK
: encoding
: [0xc4,0x42,0x10,0xda,0xa4,0x80,0x23,0x01,0x00,0x00]
13 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291]
15 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rip
]
16 // CHECK
: encoding
: [0xc4,0x62,0x10,0xda,0x25,0x00,0x00,0x00,0x00]
17 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rip
]
19 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512]
20 // CHECK
: encoding
: [0xc4,0x62,0x10,0xda,0x24,0x6d,0x00,0xfe,0xff,0xff]
21 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512]
23 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032]
24 // CHECK
: encoding
: [0xc4,0x62,0x10,0xda,0xa1,0xf0,0x07,0x00,0x00]
25 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032]
27 // CHECK
: vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048]
28 // CHECK
: encoding
: [0xc4,0x62,0x10,0xda,0xa2,0x00,0xf8,0xff,0xff]
29 vsm3msg1 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048]
31 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmm4
32 // CHECK
: encoding
: [0xc4,0x62,0x11,0xda,0xe4]
33 vsm3msg2 xmm12
, xmm13
, xmm4
35 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456]
36 // CHECK
: encoding
: [0xc4,0x22,0x11,0xda,0xa4,0xf5,0x00,0x00,0x00,0x10]
37 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456]
39 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291]
40 // CHECK
: encoding
: [0xc4,0x42,0x11,0xda,0xa4,0x80,0x23,0x01,0x00,0x00]
41 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291]
43 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rip
]
44 // CHECK
: encoding
: [0xc4,0x62,0x11,0xda,0x25,0x00,0x00,0x00,0x00]
45 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rip
]
47 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512]
48 // CHECK
: encoding
: [0xc4,0x62,0x11,0xda,0x24,0x6d,0x00,0xfe,0xff,0xff]
49 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512]
51 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032]
52 // CHECK
: encoding
: [0xc4,0x62,0x11,0xda,0xa1,0xf0,0x07,0x00,0x00]
53 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032]
55 // CHECK
: vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048]
56 // CHECK
: encoding
: [0xc4,0x62,0x11,0xda,0xa2,0x00,0xf8,0xff,0xff]
57 vsm3msg2 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048]
59 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmm4
, 123
60 // CHECK
: encoding
: [0xc4,0x63,0x11,0xde,0xe4,0x7b]
61 vsm3rnds2 xmm12
, xmm13
, xmm4
, 123
63 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456], 123
64 // CHECK
: encoding
: [0xc4,0x23,0x11,0xde,0xa4,0xf5,0x00,0x00,0x00,0x10,0x7b]
65 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rbp
+ 8*r14 + 268435456], 123
67 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291], 123
68 // CHECK
: encoding
: [0xc4,0x43,0x11,0xde,0xa4,0x80,0x23,0x01,0x00,0x00,0x7b]
69 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[r8 + 4*rax
+ 291], 123
71 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rip
], 123
72 // CHECK
: encoding
: [0xc4,0x63,0x11,0xde,0x25,0x00,0x00,0x00,0x00,0x7b]
73 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rip
], 123
75 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512], 123
76 // CHECK
: encoding
: [0xc4,0x63,0x11,0xde,0x24,0x6d,0x00,0xfe,0xff,0xff,0x7b]
77 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[2*rbp
- 512], 123
79 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032], 123
80 // CHECK
: encoding
: [0xc4,0x63,0x11,0xde,0xa1,0xf0,0x07,0x00,0x00,0x7b]
81 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rcx
+ 2032], 123
83 // CHECK
: vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048], 123
84 // CHECK
: encoding
: [0xc4,0x63,0x11,0xde,0xa2,0x00,0xf8,0xff,0xff,0x7b]
85 vsm3rnds2 xmm12
, xmm13
, xmmword ptr
[rdx
- 2048], 123