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