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