1 // RUN
: llvm-mc
-triple i386-unknown-unknown
--show-encoding
%s | FileCheck
%s
4 // CHECK
: encoding
: [0x0f,0xc8]
7 // CHECK
: cmpxchgl
%eax
, 3809469200(%edx
,%eax
,4)
8 // CHECK
: encoding
: [0x0f,0xb1,0x84,0x82,0x10,0xe3,0x0f,0xe3]
9 cmpxchgl
%eax
, 3809469200(%edx
,%eax
,4)
11 // CHECK
: cmpxchgl
%eax
, 485498096(%edx
,%eax
,4)
12 // CHECK
: encoding
: [0x0f,0xb1,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
13 cmpxchgl
%eax
, 485498096(%edx
,%eax
,4)
15 // CHECK
: cmpxchgl
%eax
, 485498096(%edx
)
16 // CHECK
: encoding
: [0x0f,0xb1,0x82,0xf0,0x1c,0xf0,0x1c]
17 cmpxchgl
%eax
, 485498096(%edx
)
19 // CHECK
: cmpxchgl
%eax
, 485498096
20 // CHECK
: encoding
: [0x0f,0xb1,0x05,0xf0,0x1c,0xf0,0x1c]
21 cmpxchgl
%eax
, 485498096
23 // CHECK
: cmpxchgl
%eax
, 64(%edx
,%eax
)
24 // CHECK
: encoding
: [0x0f,0xb1,0x44,0x02,0x40]
25 cmpxchgl
%eax
, 64(%edx
,%eax
)
27 // CHECK
: cmpxchgl
%eax
, %eax
28 // CHECK
: encoding
: [0x0f,0xb1,0xc0]
31 // CHECK
: cmpxchgl
%eax
, (%edx
)
32 // CHECK
: encoding
: [0x0f,0xb1,0x02]
36 // CHECK
: encoding
: [0x0f,0xa2]
40 // CHECK
: encoding
: [0x0f,0x08]
43 // CHECK
: invlpg
-485498096(%edx
,%eax
,4)
44 // CHECK
: encoding
: [0x0f,0x01,0xbc,0x82,0x10,0xe3,0x0f,0xe3]
45 invlpg
-485498096(%edx
,%eax
,4)
47 // CHECK
: invlpg
485498096(%edx
,%eax
,4)
48 // CHECK
: encoding
: [0x0f,0x01,0xbc,0x82,0xf0,0x1c,0xf0,0x1c]
49 invlpg
485498096(%edx
,%eax
,4)
51 // CHECK
: invlpg
485498096(%edx
)
52 // CHECK
: encoding
: [0x0f,0x01,0xba,0xf0,0x1c,0xf0,0x1c]
53 invlpg
485498096(%edx
)
55 // CHECK
: invlpg
485498096
56 // CHECK
: encoding
: [0x0f,0x01,0x3d,0xf0,0x1c,0xf0,0x1c]
59 // CHECK
: invlpg
64(%edx
,%eax
)
60 // CHECK
: encoding
: [0x0f,0x01,0x7c,0x02,0x40]
63 // CHECK
: invlpg
(%edx
)
64 // CHECK
: encoding
: [0x0f,0x01,0x3a]
68 // CHECK
: encoding
: [0x0f,0xaa]
72 // CHECK
: encoding
: [0x0f,0x09]
75 // CHECK
: xaddl
%eax
, 3809469200(%edx
,%eax
,4)
76 // CHECK
: encoding
: [0x0f,0xc1,0x84,0x82,0x10,0xe3,0x0f,0xe3]
77 xaddl
%eax
, 3809469200(%edx
,%eax
,4)
79 // CHECK
: xaddl
%eax
, 485498096(%edx
,%eax
,4)
80 // CHECK
: encoding
: [0x0f,0xc1,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
81 xaddl
%eax
, 485498096(%edx
,%eax
,4)
83 // CHECK
: xaddl
%eax
, 485498096(%edx
)
84 // CHECK
: encoding
: [0x0f,0xc1,0x82,0xf0,0x1c,0xf0,0x1c]
85 xaddl
%eax
, 485498096(%edx
)
87 // CHECK
: xaddl
%eax
, 485498096
88 // CHECK
: encoding
: [0x0f,0xc1,0x05,0xf0,0x1c,0xf0,0x1c]
91 // CHECK
: xaddl
%eax
, 64(%edx
,%eax
)
92 // CHECK
: encoding
: [0x0f,0xc1,0x44,0x02,0x40]
93 xaddl
%eax
, 64(%edx
,%eax
)
95 // CHECK
: xaddl
%eax
, %eax
96 // CHECK
: encoding
: [0x0f,0xc1,0xc0]
99 // CHECK
: xaddl
%eax
, (%edx
)
100 // CHECK
: encoding
: [0x0f,0xc1,0x02]