1 // RUN
: llvm-mc
-triple x86_64-unknown-unknown
--show-encoding
%s | FileCheck
%s
4 // CHECK
: encoding
: [0x0f,0x01,0xd0]
7 // CHECK
: xrstor
485498096
8 // CHECK
: encoding
: [0x0f,0xae,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
11 // CHECK
: xrstor64
485498096
12 // CHECK
: encoding
: [0x48,0x0f,0xae,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
15 // CHECK
: xrstor64
64(%rdx
)
16 // CHECK
: encoding
: [0x48,0x0f,0xae,0x6a,0x40]
19 // CHECK
: xrstor64
64(%rdx
,%rax
,4)
20 // CHECK
: encoding
: [0x48,0x0f,0xae,0x6c,0x82,0x40]
21 xrstor64
64(%rdx
,%rax
,4)
23 // CHECK
: xrstor64
-64(%rdx
,%rax
,4)
24 // CHECK
: encoding
: [0x48,0x0f,0xae,0x6c,0x82,0xc0]
25 xrstor64
-64(%rdx
,%rax
,4)
27 // CHECK
: xrstor64
64(%rdx
,%rax
)
28 // CHECK
: encoding
: [0x48,0x0f,0xae,0x6c,0x02,0x40]
29 xrstor64
64(%rdx
,%rax
)
31 // CHECK
: xrstor
64(%rdx
)
32 // CHECK
: encoding
: [0x0f,0xae,0x6a,0x40]
35 // CHECK
: xrstor64
(%rdx
)
36 // CHECK
: encoding
: [0x48,0x0f,0xae,0x2a]
39 // CHECK
: xrstor
64(%rdx
,%rax
,4)
40 // CHECK
: encoding
: [0x0f,0xae,0x6c,0x82,0x40]
41 xrstor
64(%rdx
,%rax
,4)
43 // CHECK
: xrstor
-64(%rdx
,%rax
,4)
44 // CHECK
: encoding
: [0x0f,0xae,0x6c,0x82,0xc0]
45 xrstor
-64(%rdx
,%rax
,4)
47 // CHECK
: xrstor
64(%rdx
,%rax
)
48 // CHECK
: encoding
: [0x0f,0xae,0x6c,0x02,0x40]
51 // CHECK
: xrstor
(%rdx
)
52 // CHECK
: encoding
: [0x0f,0xae,0x2a]
55 // CHECK
: xsave
485498096
56 // CHECK
: encoding
: [0x0f,0xae,0x24,0x25,0xf0,0x1c,0xf0,0x1c]
59 // CHECK
: xsave64
485498096
60 // CHECK
: encoding
: [0x48,0x0f,0xae,0x24,0x25,0xf0,0x1c,0xf0,0x1c]
63 // CHECK
: xsave64
64(%rdx
)
64 // CHECK
: encoding
: [0x48,0x0f,0xae,0x62,0x40]
67 // CHECK
: xsave64
64(%rdx
,%rax
,4)
68 // CHECK
: encoding
: [0x48,0x0f,0xae,0x64,0x82,0x40]
69 xsave64
64(%rdx
,%rax
,4)
71 // CHECK
: xsave64
-64(%rdx
,%rax
,4)
72 // CHECK
: encoding
: [0x48,0x0f,0xae,0x64,0x82,0xc0]
73 xsave64
-64(%rdx
,%rax
,4)
75 // CHECK
: xsave64
64(%rdx
,%rax
)
76 // CHECK
: encoding
: [0x48,0x0f,0xae,0x64,0x02,0x40]
79 // CHECK
: xsave
64(%rdx
)
80 // CHECK
: encoding
: [0x0f,0xae,0x62,0x40]
83 // CHECK
: xsave64
(%rdx
)
84 // CHECK
: encoding
: [0x48,0x0f,0xae,0x22]
87 // CHECK
: xsave
64(%rdx
,%rax
,4)
88 // CHECK
: encoding
: [0x0f,0xae,0x64,0x82,0x40]
91 // CHECK
: xsave
-64(%rdx
,%rax
,4)
92 // CHECK
: encoding
: [0x0f,0xae,0x64,0x82,0xc0]
93 xsave
-64(%rdx
,%rax
,4)
95 // CHECK
: xsave
64(%rdx
,%rax
)
96 // CHECK
: encoding
: [0x0f,0xae,0x64,0x02,0x40]
99 // CHECK
: xsave
(%rdx
)
100 // CHECK
: encoding
: [0x0f,0xae,0x22]
104 // CHECK
: encoding
: [0x0f,0x01,0xd1]