1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: xrstors 485498096
4// CHECK: encoding: [0x0f,0xc7,0x1c,0x25,0xf0,0x1c,0xf0,0x1c]
5xrstors 485498096
6
7// CHECK: xrstors64 485498096
8// CHECK: encoding: [0x48,0x0f,0xc7,0x1c,0x25,0xf0,0x1c,0xf0,0x1c]
9xrstors64 485498096
10
11// CHECK: xrstors64 64(%rdx)
12// CHECK: encoding: [0x48,0x0f,0xc7,0x5a,0x40]
13xrstors64 64(%rdx)
14
15// CHECK: xrstors64 64(%rdx,%rax,4)
16// CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x82,0x40]
17xrstors64 64(%rdx,%rax,4)
18
19// CHECK: xrstors64 -64(%rdx,%rax,4)
20// CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x82,0xc0]
21xrstors64 -64(%rdx,%rax,4)
22
23// CHECK: xrstors64 64(%rdx,%rax)
24// CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x02,0x40]
25xrstors64 64(%rdx,%rax)
26
27// CHECK: xrstors 64(%rdx)
28// CHECK: encoding: [0x0f,0xc7,0x5a,0x40]
29xrstors 64(%rdx)
30
31// CHECK: xrstors64 (%rdx)
32// CHECK: encoding: [0x48,0x0f,0xc7,0x1a]
33xrstors64 (%rdx)
34
35// CHECK: xrstors 64(%rdx,%rax,4)
36// CHECK: encoding: [0x0f,0xc7,0x5c,0x82,0x40]
37xrstors 64(%rdx,%rax,4)
38
39// CHECK: xrstors -64(%rdx,%rax,4)
40// CHECK: encoding: [0x0f,0xc7,0x5c,0x82,0xc0]
41xrstors -64(%rdx,%rax,4)
42
43// CHECK: xrstors 64(%rdx,%rax)
44// CHECK: encoding: [0x0f,0xc7,0x5c,0x02,0x40]
45xrstors 64(%rdx,%rax)
46
47// CHECK: xrstors (%rdx)
48// CHECK: encoding: [0x0f,0xc7,0x1a]
49xrstors (%rdx)
50
51// CHECK: xsaves 485498096
52// CHECK: encoding: [0x0f,0xc7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
53xsaves 485498096
54
55// CHECK: xsaves64 485498096
56// CHECK: encoding: [0x48,0x0f,0xc7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
57xsaves64 485498096
58
59// CHECK: xsaves64 64(%rdx)
60// CHECK: encoding: [0x48,0x0f,0xc7,0x6a,0x40]
61xsaves64 64(%rdx)
62
63// CHECK: xsaves64 64(%rdx,%rax,4)
64// CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x82,0x40]
65xsaves64 64(%rdx,%rax,4)
66
67// CHECK: xsaves64 -64(%rdx,%rax,4)
68// CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x82,0xc0]
69xsaves64 -64(%rdx,%rax,4)
70
71// CHECK: xsaves64 64(%rdx,%rax)
72// CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x02,0x40]
73xsaves64 64(%rdx,%rax)
74
75// CHECK: xsaves 64(%rdx)
76// CHECK: encoding: [0x0f,0xc7,0x6a,0x40]
77xsaves 64(%rdx)
78
79// CHECK: xsaves64 (%rdx)
80// CHECK: encoding: [0x48,0x0f,0xc7,0x2a]
81xsaves64 (%rdx)
82
83// CHECK: xsaves 64(%rdx,%rax,4)
84// CHECK: encoding: [0x0f,0xc7,0x6c,0x82,0x40]
85xsaves 64(%rdx,%rax,4)
86
87// CHECK: xsaves -64(%rdx,%rax,4)
88// CHECK: encoding: [0x0f,0xc7,0x6c,0x82,0xc0]
89xsaves -64(%rdx,%rax,4)
90
91// CHECK: xsaves 64(%rdx,%rax)
92// CHECK: encoding: [0x0f,0xc7,0x6c,0x02,0x40]
93xsaves 64(%rdx,%rax)
94
95// CHECK: xsaves (%rdx)
96// CHECK: encoding: [0x0f,0xc7,0x2a]
97xsaves (%rdx)
98
99