xref: /llvm-project/llvm/test/MC/X86/apx/ccmp-intel.s (revision 2c62d08bda98bab743fc86c9ccc40304949566d6) 
1# RUN: llvm-mc -triple x86_64 -show-encoding -x86-asm-syntax=intel -output-asm-variant=1 %s | FileCheck %s
2
3## Condition flags
4
5# CHECK: ccmpo {dfv=} rbx, rax
6# CHECK: encoding: [0x62,0xf4,0x84,0x00,0x39,0xc3]
7         ccmpo {dfv=} rbx, rax
8# CHECK: ccmpo {dfv=of} rbx, rax
9# CHECK: encoding: [0x62,0xf4,0xc4,0x00,0x39,0xc3]
10         ccmpo {dfv=of} rbx, rax
11# CHECK: ccmpo {dfv=sf} rbx, rax
12# CHECK: encoding: [0x62,0xf4,0xa4,0x00,0x39,0xc3]
13         ccmpo {dfv=sf} rbx, rax
14# CHECK: ccmpo {dfv=zf} rbx, rax
15# CHECK: encoding: [0x62,0xf4,0x94,0x00,0x39,0xc3]
16         ccmpo {dfv=zf} rbx, rax
17# CHECK: ccmpo {dfv=cf} rbx, rax
18# CHECK: encoding: [0x62,0xf4,0x8c,0x00,0x39,0xc3]
19         ccmpo {dfv=cf} rbx, rax
20# CHECK: ccmpo {dfv=of,sf} rbx, rax
21# CHECK: encoding: [0x62,0xf4,0xe4,0x00,0x39,0xc3]
22         ccmpo {dfv=of,sf} rbx, rax
23# CHECK: ccmpo {dfv=of,sf} rbx, rax
24# CHECK: encoding: [0x62,0xf4,0xe4,0x00,0x39,0xc3]
25         ccmpo {dfv=sf,of} rbx, rax
26# CHECK: ccmpo {dfv=of,sf,zf} rbx, rax
27# CHECK: encoding: [0x62,0xf4,0xf4,0x00,0x39,0xc3]
28         ccmpo {dfv=of,sf,zf} rbx, rax
29# CHECK: ccmpo {dfv=of,sf,zf} rbx, rax
30# CHECK: encoding: [0x62,0xf4,0xf4,0x00,0x39,0xc3]
31         ccmpo {dfv=zf,of,sf} rbx, rax
32# CHECK: ccmpo {dfv=of,sf,zf,cf} rbx, rax
33# CHECK: encoding: [0x62,0xf4,0xfc,0x00,0x39,0xc3]
34         ccmpo {dfv=of,sf,zf,cf} rbx, rax
35# CHECK: ccmpo {dfv=of,sf,zf,cf} rbx, rax
36# CHECK: encoding: [0x62,0xf4,0xfc,0x00,0x39,0xc3]
37         ccmpo {dfv=cf,zf,sf,of} rbx, rax
38
39## Condition code
40
41# CHECK: ccmpb {dfv=of} byte ptr [r8 + 4*rax + 123], 123
42# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x80,0x7c,0x80,0x7b,0x7b]
43         ccmpb {dfv=of} byte ptr [r8 + 4*rax + 123], 123
44# CHECK: ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], 123
45# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x83,0x7c,0x80,0x7b,0x7b]
46         ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], 123
47# CHECK: ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], 1234
48# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x81,0x7c,0x80,0x7b,0xd2,0x04]
49         ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], 1234
50# CHECK: ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], 123
51# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x83,0x7c,0x80,0x7b,0x7b]
52         ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], 123
53# CHECK: ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
54# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
55         ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
56# CHECK: ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], 123
57# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0x83,0x7c,0x80,0x7b,0x7b]
58         ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], 123
59# CHECK: ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
60# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
61         ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
62# CHECK: ccmpb {dfv=of} byte ptr [r8 + 4*rax + 123], bl
63# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x38,0x5c,0x80,0x7b]
64         ccmpb {dfv=of} byte ptr [r8 + 4*rax + 123], bl
65# CHECK: ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], dx
66# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x39,0x54,0x80,0x7b]
67         ccmpb {dfv=of} word ptr [r8 + 4*rax + 123], dx
68# CHECK: ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
69# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x39,0x4c,0x80,0x7b]
70         ccmpb {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
71# CHECK: ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], r9
72# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x39,0x4c,0x80,0x7b]
73         ccmpb {dfv=of} qword ptr [r8 + 4*rax + 123], r9
74# CHECK: ccmpb {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
75# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x3a,0x5c,0x80,0x7b]
76         ccmpb {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
77# CHECK: ccmpb {dfv=of} dx, word ptr [r8 + 4*rax + 123]
78# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x3b,0x54,0x80,0x7b]
79         ccmpb {dfv=of} dx, word ptr [r8 + 4*rax + 123]
80# CHECK: ccmpb {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
81# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x3b,0x4c,0x80,0x7b]
82         ccmpb {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
83# CHECK: ccmpb {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
84# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x3b,0x4c,0x80,0x7b]
85         ccmpb {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
86# CHECK: ccmpb {dfv=of} bl, 123
87# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x80,0xfb,0x7b]
88         ccmpb {dfv=of} bl, 123
89# CHECK: ccmpb {dfv=of} dx, 123
90# CHECK: encoding: [0x62,0xf4,0x45,0x02,0x83,0xfa,0x7b]
91         ccmpb {dfv=of} dx, 123
92# CHECK: ccmpb {dfv=of} ecx, 123
93# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x83,0xf9,0x7b]
94         ccmpb {dfv=of} ecx, 123
95# CHECK: ccmpb {dfv=of} r9, 123
96# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0x83,0xf9,0x7b]
97         ccmpb {dfv=of} r9, 123
98# CHECK: ccmpb {dfv=of} dx, 1234
99# CHECK: encoding: [0x62,0xf4,0x45,0x02,0x81,0xfa,0xd2,0x04]
100         ccmpb {dfv=of} dx, 1234
101# CHECK: ccmpb {dfv=of} ecx, 123456
102# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x81,0xf9,0x40,0xe2,0x01,0x00]
103         ccmpb {dfv=of} ecx, 123456
104# CHECK: ccmpb {dfv=of} r9, 123456
105# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0x81,0xf9,0x40,0xe2,0x01,0x00]
106         ccmpb {dfv=of} r9, 123456
107# CHECK: ccmpb {dfv=of} dl, bl
108# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x38,0xda]
109         ccmpb {dfv=of} dl, bl
110# CHECK: ccmpb {dfv=of} ax, dx
111# CHECK: encoding: [0x62,0xf4,0x45,0x02,0x39,0xd0]
112         ccmpb {dfv=of} ax, dx
113# CHECK: ccmpb {dfv=of} edx, ecx
114# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x39,0xca]
115         ccmpb {dfv=of} edx, ecx
116# CHECK: ccmpb {dfv=of} r15, r9
117# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x39,0xcf]
118         ccmpb {dfv=of} r15, r9
119# CHECK: ccmpf {dfv=of} byte ptr [r8 + 4*rax + 123], 123
120# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x80,0x7c,0x80,0x7b,0x7b]
121         ccmpf {dfv=of} byte ptr [r8 + 4*rax + 123], 123
122# CHECK: ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], 123
123# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0x83,0x7c,0x80,0x7b,0x7b]
124         ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], 123
125# CHECK: ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], 1234
126# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0x81,0x7c,0x80,0x7b,0xd2,0x04]
127         ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], 1234
128# CHECK: ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], 123
129# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x83,0x7c,0x80,0x7b,0x7b]
130         ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], 123
131# CHECK: ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
132# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
133         ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
134# CHECK: ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], 123
135# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0x83,0x7c,0x80,0x7b,0x7b]
136         ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], 123
137# CHECK: ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
138# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
139         ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
140# CHECK: ccmpf {dfv=of} byte ptr [r8 + 4*rax + 123], bl
141# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x38,0x5c,0x80,0x7b]
142         ccmpf {dfv=of} byte ptr [r8 + 4*rax + 123], bl
143# CHECK: ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], dx
144# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0x39,0x54,0x80,0x7b]
145         ccmpf {dfv=of} word ptr [r8 + 4*rax + 123], dx
146# CHECK: ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
147# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x39,0x4c,0x80,0x7b]
148         ccmpf {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
149# CHECK: ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], r9
150# CHECK: encoding: [0x62,0x54,0xc4,0x0b,0x39,0x4c,0x80,0x7b]
151         ccmpf {dfv=of} qword ptr [r8 + 4*rax + 123], r9
152# CHECK: ccmpf {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
153# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x3a,0x5c,0x80,0x7b]
154         ccmpf {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
155# CHECK: ccmpf {dfv=of} dx, word ptr [r8 + 4*rax + 123]
156# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0x3b,0x54,0x80,0x7b]
157         ccmpf {dfv=of} dx, word ptr [r8 + 4*rax + 123]
158# CHECK: ccmpf {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
159# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x3b,0x4c,0x80,0x7b]
160         ccmpf {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
161# CHECK: ccmpf {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
162# CHECK: encoding: [0x62,0x54,0xc4,0x0b,0x3b,0x4c,0x80,0x7b]
163         ccmpf {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
164# CHECK: ccmpf {dfv=of} bl, 123
165# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x80,0xfb,0x7b]
166         ccmpf {dfv=of} bl, 123
167# CHECK: ccmpf {dfv=of} dx, 123
168# CHECK: encoding: [0x62,0xf4,0x45,0x0b,0x83,0xfa,0x7b]
169         ccmpf {dfv=of} dx, 123
170# CHECK: ccmpf {dfv=of} ecx, 123
171# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x83,0xf9,0x7b]
172         ccmpf {dfv=of} ecx, 123
173# CHECK: ccmpf {dfv=of} r9, 123
174# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0x83,0xf9,0x7b]
175         ccmpf {dfv=of} r9, 123
176# CHECK: ccmpf {dfv=of} dx, 1234
177# CHECK: encoding: [0x62,0xf4,0x45,0x0b,0x81,0xfa,0xd2,0x04]
178         ccmpf {dfv=of} dx, 1234
179# CHECK: ccmpf {dfv=of} ecx, 123456
180# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x81,0xf9,0x40,0xe2,0x01,0x00]
181         ccmpf {dfv=of} ecx, 123456
182# CHECK: ccmpf {dfv=of} r9, 123456
183# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0x81,0xf9,0x40,0xe2,0x01,0x00]
184         ccmpf {dfv=of} r9, 123456
185# CHECK: ccmpf {dfv=of} dl, bl
186# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x38,0xda]
187         ccmpf {dfv=of} dl, bl
188# CHECK: ccmpf {dfv=of} ax, dx
189# CHECK: encoding: [0x62,0xf4,0x45,0x0b,0x39,0xd0]
190         ccmpf {dfv=of} ax, dx
191# CHECK: ccmpf {dfv=of} edx, ecx
192# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x39,0xca]
193         ccmpf {dfv=of} edx, ecx
194# CHECK: ccmpf {dfv=of} r15, r9
195# CHECK: encoding: [0x62,0x54,0xc4,0x0b,0x39,0xcf]
196         ccmpf {dfv=of} r15, r9
197# CHECK: ccmpl {dfv=of} byte ptr [r8 + 4*rax + 123], 123
198# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x80,0x7c,0x80,0x7b,0x7b]
199         ccmpl {dfv=of} byte ptr [r8 + 4*rax + 123], 123
200# CHECK: ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], 123
201# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0x83,0x7c,0x80,0x7b,0x7b]
202         ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], 123
203# CHECK: ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], 1234
204# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0x81,0x7c,0x80,0x7b,0xd2,0x04]
205         ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], 1234
206# CHECK: ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], 123
207# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x83,0x7c,0x80,0x7b,0x7b]
208         ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], 123
209# CHECK: ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
210# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
211         ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
212# CHECK: ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], 123
213# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0x83,0x7c,0x80,0x7b,0x7b]
214         ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], 123
215# CHECK: ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
216# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
217         ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
218# CHECK: ccmpl {dfv=of} byte ptr [r8 + 4*rax + 123], bl
219# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x38,0x5c,0x80,0x7b]
220         ccmpl {dfv=of} byte ptr [r8 + 4*rax + 123], bl
221# CHECK: ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], dx
222# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0x39,0x54,0x80,0x7b]
223         ccmpl {dfv=of} word ptr [r8 + 4*rax + 123], dx
224# CHECK: ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
225# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x39,0x4c,0x80,0x7b]
226         ccmpl {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
227# CHECK: ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], r9
228# CHECK: encoding: [0x62,0x54,0xc4,0x0c,0x39,0x4c,0x80,0x7b]
229         ccmpl {dfv=of} qword ptr [r8 + 4*rax + 123], r9
230# CHECK: ccmpl {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
231# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x3a,0x5c,0x80,0x7b]
232         ccmpl {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
233# CHECK: ccmpl {dfv=of} dx, word ptr [r8 + 4*rax + 123]
234# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0x3b,0x54,0x80,0x7b]
235         ccmpl {dfv=of} dx, word ptr [r8 + 4*rax + 123]
236# CHECK: ccmpl {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
237# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x3b,0x4c,0x80,0x7b]
238         ccmpl {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
239# CHECK: ccmpl {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
240# CHECK: encoding: [0x62,0x54,0xc4,0x0c,0x3b,0x4c,0x80,0x7b]
241         ccmpl {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
242# CHECK: ccmpl {dfv=of} bl, 123
243# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x80,0xfb,0x7b]
244         ccmpl {dfv=of} bl, 123
245# CHECK: ccmpl {dfv=of} dx, 123
246# CHECK: encoding: [0x62,0xf4,0x45,0x0c,0x83,0xfa,0x7b]
247         ccmpl {dfv=of} dx, 123
248# CHECK: ccmpl {dfv=of} ecx, 123
249# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x83,0xf9,0x7b]
250         ccmpl {dfv=of} ecx, 123
251# CHECK: ccmpl {dfv=of} r9, 123
252# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0x83,0xf9,0x7b]
253         ccmpl {dfv=of} r9, 123
254# CHECK: ccmpl {dfv=of} dx, 1234
255# CHECK: encoding: [0x62,0xf4,0x45,0x0c,0x81,0xfa,0xd2,0x04]
256         ccmpl {dfv=of} dx, 1234
257# CHECK: ccmpl {dfv=of} ecx, 123456
258# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x81,0xf9,0x40,0xe2,0x01,0x00]
259         ccmpl {dfv=of} ecx, 123456
260# CHECK: ccmpl {dfv=of} r9, 123456
261# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0x81,0xf9,0x40,0xe2,0x01,0x00]
262         ccmpl {dfv=of} r9, 123456
263# CHECK: ccmpl {dfv=of} dl, bl
264# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x38,0xda]
265         ccmpl {dfv=of} dl, bl
266# CHECK: ccmpl {dfv=of} ax, dx
267# CHECK: encoding: [0x62,0xf4,0x45,0x0c,0x39,0xd0]
268         ccmpl {dfv=of} ax, dx
269# CHECK: ccmpl {dfv=of} edx, ecx
270# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x39,0xca]
271         ccmpl {dfv=of} edx, ecx
272# CHECK: ccmpl {dfv=of} r15, r9
273# CHECK: encoding: [0x62,0x54,0xc4,0x0c,0x39,0xcf]
274         ccmpl {dfv=of} r15, r9
275# CHECK: ccmple {dfv=of} byte ptr [r8 + 4*rax + 123], 123
276# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x80,0x7c,0x80,0x7b,0x7b]
277         ccmple {dfv=of} byte ptr [r8 + 4*rax + 123], 123
278# CHECK: ccmple {dfv=of} word ptr [r8 + 4*rax + 123], 123
279# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0x83,0x7c,0x80,0x7b,0x7b]
280         ccmple {dfv=of} word ptr [r8 + 4*rax + 123], 123
281# CHECK: ccmple {dfv=of} word ptr [r8 + 4*rax + 123], 1234
282# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0x81,0x7c,0x80,0x7b,0xd2,0x04]
283         ccmple {dfv=of} word ptr [r8 + 4*rax + 123], 1234
284# CHECK: ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], 123
285# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x83,0x7c,0x80,0x7b,0x7b]
286         ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], 123
287# CHECK: ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
288# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
289         ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
290# CHECK: ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], 123
291# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0x83,0x7c,0x80,0x7b,0x7b]
292         ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], 123
293# CHECK: ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
294# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
295         ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
296# CHECK: ccmple {dfv=of} byte ptr [r8 + 4*rax + 123], bl
297# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x38,0x5c,0x80,0x7b]
298         ccmple {dfv=of} byte ptr [r8 + 4*rax + 123], bl
299# CHECK: ccmple {dfv=of} word ptr [r8 + 4*rax + 123], dx
300# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0x39,0x54,0x80,0x7b]
301         ccmple {dfv=of} word ptr [r8 + 4*rax + 123], dx
302# CHECK: ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
303# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x39,0x4c,0x80,0x7b]
304         ccmple {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
305# CHECK: ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], r9
306# CHECK: encoding: [0x62,0x54,0xc4,0x0e,0x39,0x4c,0x80,0x7b]
307         ccmple {dfv=of} qword ptr [r8 + 4*rax + 123], r9
308# CHECK: ccmple {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
309# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x3a,0x5c,0x80,0x7b]
310         ccmple {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
311# CHECK: ccmple {dfv=of} dx, word ptr [r8 + 4*rax + 123]
312# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0x3b,0x54,0x80,0x7b]
313         ccmple {dfv=of} dx, word ptr [r8 + 4*rax + 123]
314# CHECK: ccmple {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
315# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x3b,0x4c,0x80,0x7b]
316         ccmple {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
317# CHECK: ccmple {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
318# CHECK: encoding: [0x62,0x54,0xc4,0x0e,0x3b,0x4c,0x80,0x7b]
319         ccmple {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
320# CHECK: ccmple {dfv=of} bl, 123
321# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x80,0xfb,0x7b]
322         ccmple {dfv=of} bl, 123
323# CHECK: ccmple {dfv=of} dx, 123
324# CHECK: encoding: [0x62,0xf4,0x45,0x0e,0x83,0xfa,0x7b]
325         ccmple {dfv=of} dx, 123
326# CHECK: ccmple {dfv=of} ecx, 123
327# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x83,0xf9,0x7b]
328         ccmple {dfv=of} ecx, 123
329# CHECK: ccmple {dfv=of} r9, 123
330# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0x83,0xf9,0x7b]
331         ccmple {dfv=of} r9, 123
332# CHECK: ccmple {dfv=of} dx, 1234
333# CHECK: encoding: [0x62,0xf4,0x45,0x0e,0x81,0xfa,0xd2,0x04]
334         ccmple {dfv=of} dx, 1234
335# CHECK: ccmple {dfv=of} ecx, 123456
336# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x81,0xf9,0x40,0xe2,0x01,0x00]
337         ccmple {dfv=of} ecx, 123456
338# CHECK: ccmple {dfv=of} r9, 123456
339# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0x81,0xf9,0x40,0xe2,0x01,0x00]
340         ccmple {dfv=of} r9, 123456
341# CHECK: ccmple {dfv=of} dl, bl
342# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x38,0xda]
343         ccmple {dfv=of} dl, bl
344# CHECK: ccmple {dfv=of} ax, dx
345# CHECK: encoding: [0x62,0xf4,0x45,0x0e,0x39,0xd0]
346         ccmple {dfv=of} ax, dx
347# CHECK: ccmple {dfv=of} edx, ecx
348# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x39,0xca]
349         ccmple {dfv=of} edx, ecx
350# CHECK: ccmple {dfv=of} r15, r9
351# CHECK: encoding: [0x62,0x54,0xc4,0x0e,0x39,0xcf]
352         ccmple {dfv=of} r15, r9
353# CHECK: ccmpae {dfv=of} byte ptr [r8 + 4*rax + 123], 123
354# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x80,0x7c,0x80,0x7b,0x7b]
355         ccmpae {dfv=of} byte ptr [r8 + 4*rax + 123], 123
356# CHECK: ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], 123
357# CHECK: encoding: [0x62,0xd4,0x45,0x03,0x83,0x7c,0x80,0x7b,0x7b]
358         ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], 123
359# CHECK: ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], 1234
360# CHECK: encoding: [0x62,0xd4,0x45,0x03,0x81,0x7c,0x80,0x7b,0xd2,0x04]
361         ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], 1234
362# CHECK: ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], 123
363# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x83,0x7c,0x80,0x7b,0x7b]
364         ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], 123
365# CHECK: ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
366# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
367         ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
368# CHECK: ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], 123
369# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0x83,0x7c,0x80,0x7b,0x7b]
370         ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], 123
371# CHECK: ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
372# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
373         ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
374# CHECK: ccmpae {dfv=of} byte ptr [r8 + 4*rax + 123], bl
375# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x38,0x5c,0x80,0x7b]
376         ccmpae {dfv=of} byte ptr [r8 + 4*rax + 123], bl
377# CHECK: ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], dx
378# CHECK: encoding: [0x62,0xd4,0x45,0x03,0x39,0x54,0x80,0x7b]
379         ccmpae {dfv=of} word ptr [r8 + 4*rax + 123], dx
380# CHECK: ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
381# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x39,0x4c,0x80,0x7b]
382         ccmpae {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
383# CHECK: ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], r9
384# CHECK: encoding: [0x62,0x54,0xc4,0x03,0x39,0x4c,0x80,0x7b]
385         ccmpae {dfv=of} qword ptr [r8 + 4*rax + 123], r9
386# CHECK: ccmpae {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
387# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x3a,0x5c,0x80,0x7b]
388         ccmpae {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
389# CHECK: ccmpae {dfv=of} dx, word ptr [r8 + 4*rax + 123]
390# CHECK: encoding: [0x62,0xd4,0x45,0x03,0x3b,0x54,0x80,0x7b]
391         ccmpae {dfv=of} dx, word ptr [r8 + 4*rax + 123]
392# CHECK: ccmpae {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
393# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x3b,0x4c,0x80,0x7b]
394         ccmpae {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
395# CHECK: ccmpae {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
396# CHECK: encoding: [0x62,0x54,0xc4,0x03,0x3b,0x4c,0x80,0x7b]
397         ccmpae {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
398# CHECK: ccmpae {dfv=of} bl, 123
399# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x80,0xfb,0x7b]
400         ccmpae {dfv=of} bl, 123
401# CHECK: ccmpae {dfv=of} dx, 123
402# CHECK: encoding: [0x62,0xf4,0x45,0x03,0x83,0xfa,0x7b]
403         ccmpae {dfv=of} dx, 123
404# CHECK: ccmpae {dfv=of} ecx, 123
405# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x83,0xf9,0x7b]
406         ccmpae {dfv=of} ecx, 123
407# CHECK: ccmpae {dfv=of} r9, 123
408# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0x83,0xf9,0x7b]
409         ccmpae {dfv=of} r9, 123
410# CHECK: ccmpae {dfv=of} dx, 1234
411# CHECK: encoding: [0x62,0xf4,0x45,0x03,0x81,0xfa,0xd2,0x04]
412         ccmpae {dfv=of} dx, 1234
413# CHECK: ccmpae {dfv=of} ecx, 123456
414# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x81,0xf9,0x40,0xe2,0x01,0x00]
415         ccmpae {dfv=of} ecx, 123456
416# CHECK: ccmpae {dfv=of} r9, 123456
417# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0x81,0xf9,0x40,0xe2,0x01,0x00]
418         ccmpae {dfv=of} r9, 123456
419# CHECK: ccmpae {dfv=of} dl, bl
420# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x38,0xda]
421         ccmpae {dfv=of} dl, bl
422# CHECK: ccmpae {dfv=of} ax, dx
423# CHECK: encoding: [0x62,0xf4,0x45,0x03,0x39,0xd0]
424         ccmpae {dfv=of} ax, dx
425# CHECK: ccmpae {dfv=of} edx, ecx
426# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x39,0xca]
427         ccmpae {dfv=of} edx, ecx
428# CHECK: ccmpae {dfv=of} r15, r9
429# CHECK: encoding: [0x62,0x54,0xc4,0x03,0x39,0xcf]
430         ccmpae {dfv=of} r15, r9
431# CHECK: ccmpa {dfv=of} byte ptr [r8 + 4*rax + 123], 123
432# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x80,0x7c,0x80,0x7b,0x7b]
433         ccmpa {dfv=of} byte ptr [r8 + 4*rax + 123], 123
434# CHECK: ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], 123
435# CHECK: encoding: [0x62,0xd4,0x45,0x07,0x83,0x7c,0x80,0x7b,0x7b]
436         ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], 123
437# CHECK: ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], 1234
438# CHECK: encoding: [0x62,0xd4,0x45,0x07,0x81,0x7c,0x80,0x7b,0xd2,0x04]
439         ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], 1234
440# CHECK: ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], 123
441# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x83,0x7c,0x80,0x7b,0x7b]
442         ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], 123
443# CHECK: ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
444# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
445         ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
446# CHECK: ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], 123
447# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0x83,0x7c,0x80,0x7b,0x7b]
448         ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], 123
449# CHECK: ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
450# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
451         ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
452# CHECK: ccmpa {dfv=of} byte ptr [r8 + 4*rax + 123], bl
453# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x38,0x5c,0x80,0x7b]
454         ccmpa {dfv=of} byte ptr [r8 + 4*rax + 123], bl
455# CHECK: ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], dx
456# CHECK: encoding: [0x62,0xd4,0x45,0x07,0x39,0x54,0x80,0x7b]
457         ccmpa {dfv=of} word ptr [r8 + 4*rax + 123], dx
458# CHECK: ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
459# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x39,0x4c,0x80,0x7b]
460         ccmpa {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
461# CHECK: ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], r9
462# CHECK: encoding: [0x62,0x54,0xc4,0x07,0x39,0x4c,0x80,0x7b]
463         ccmpa {dfv=of} qword ptr [r8 + 4*rax + 123], r9
464# CHECK: ccmpa {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
465# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x3a,0x5c,0x80,0x7b]
466         ccmpa {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
467# CHECK: ccmpa {dfv=of} dx, word ptr [r8 + 4*rax + 123]
468# CHECK: encoding: [0x62,0xd4,0x45,0x07,0x3b,0x54,0x80,0x7b]
469         ccmpa {dfv=of} dx, word ptr [r8 + 4*rax + 123]
470# CHECK: ccmpa {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
471# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x3b,0x4c,0x80,0x7b]
472         ccmpa {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
473# CHECK: ccmpa {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
474# CHECK: encoding: [0x62,0x54,0xc4,0x07,0x3b,0x4c,0x80,0x7b]
475         ccmpa {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
476# CHECK: ccmpa {dfv=of} bl, 123
477# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x80,0xfb,0x7b]
478         ccmpa {dfv=of} bl, 123
479# CHECK: ccmpa {dfv=of} dx, 123
480# CHECK: encoding: [0x62,0xf4,0x45,0x07,0x83,0xfa,0x7b]
481         ccmpa {dfv=of} dx, 123
482# CHECK: ccmpa {dfv=of} ecx, 123
483# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x83,0xf9,0x7b]
484         ccmpa {dfv=of} ecx, 123
485# CHECK: ccmpa {dfv=of} r9, 123
486# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0x83,0xf9,0x7b]
487         ccmpa {dfv=of} r9, 123
488# CHECK: ccmpa {dfv=of} dx, 1234
489# CHECK: encoding: [0x62,0xf4,0x45,0x07,0x81,0xfa,0xd2,0x04]
490         ccmpa {dfv=of} dx, 1234
491# CHECK: ccmpa {dfv=of} ecx, 123456
492# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x81,0xf9,0x40,0xe2,0x01,0x00]
493         ccmpa {dfv=of} ecx, 123456
494# CHECK: ccmpa {dfv=of} r9, 123456
495# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0x81,0xf9,0x40,0xe2,0x01,0x00]
496         ccmpa {dfv=of} r9, 123456
497# CHECK: ccmpa {dfv=of} dl, bl
498# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x38,0xda]
499         ccmpa {dfv=of} dl, bl
500# CHECK: ccmpa {dfv=of} ax, dx
501# CHECK: encoding: [0x62,0xf4,0x45,0x07,0x39,0xd0]
502         ccmpa {dfv=of} ax, dx
503# CHECK: ccmpa {dfv=of} edx, ecx
504# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x39,0xca]
505         ccmpa {dfv=of} edx, ecx
506# CHECK: ccmpa {dfv=of} r15, r9
507# CHECK: encoding: [0x62,0x54,0xc4,0x07,0x39,0xcf]
508         ccmpa {dfv=of} r15, r9
509# CHECK: ccmpge {dfv=of} byte ptr [r8 + 4*rax + 123], 123
510# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x80,0x7c,0x80,0x7b,0x7b]
511         ccmpge {dfv=of} byte ptr [r8 + 4*rax + 123], 123
512# CHECK: ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], 123
513# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0x83,0x7c,0x80,0x7b,0x7b]
514         ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], 123
515# CHECK: ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], 1234
516# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0x81,0x7c,0x80,0x7b,0xd2,0x04]
517         ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], 1234
518# CHECK: ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], 123
519# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x83,0x7c,0x80,0x7b,0x7b]
520         ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], 123
521# CHECK: ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
522# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
523         ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
524# CHECK: ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], 123
525# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0x83,0x7c,0x80,0x7b,0x7b]
526         ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], 123
527# CHECK: ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
528# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
529         ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
530# CHECK: ccmpge {dfv=of} byte ptr [r8 + 4*rax + 123], bl
531# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x38,0x5c,0x80,0x7b]
532         ccmpge {dfv=of} byte ptr [r8 + 4*rax + 123], bl
533# CHECK: ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], dx
534# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0x39,0x54,0x80,0x7b]
535         ccmpge {dfv=of} word ptr [r8 + 4*rax + 123], dx
536# CHECK: ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
537# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x39,0x4c,0x80,0x7b]
538         ccmpge {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
539# CHECK: ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], r9
540# CHECK: encoding: [0x62,0x54,0xc4,0x0d,0x39,0x4c,0x80,0x7b]
541         ccmpge {dfv=of} qword ptr [r8 + 4*rax + 123], r9
542# CHECK: ccmpge {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
543# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x3a,0x5c,0x80,0x7b]
544         ccmpge {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
545# CHECK: ccmpge {dfv=of} dx, word ptr [r8 + 4*rax + 123]
546# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0x3b,0x54,0x80,0x7b]
547         ccmpge {dfv=of} dx, word ptr [r8 + 4*rax + 123]
548# CHECK: ccmpge {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
549# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x3b,0x4c,0x80,0x7b]
550         ccmpge {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
551# CHECK: ccmpge {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
552# CHECK: encoding: [0x62,0x54,0xc4,0x0d,0x3b,0x4c,0x80,0x7b]
553         ccmpge {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
554# CHECK: ccmpge {dfv=of} bl, 123
555# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x80,0xfb,0x7b]
556         ccmpge {dfv=of} bl, 123
557# CHECK: ccmpge {dfv=of} dx, 123
558# CHECK: encoding: [0x62,0xf4,0x45,0x0d,0x83,0xfa,0x7b]
559         ccmpge {dfv=of} dx, 123
560# CHECK: ccmpge {dfv=of} ecx, 123
561# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x83,0xf9,0x7b]
562         ccmpge {dfv=of} ecx, 123
563# CHECK: ccmpge {dfv=of} r9, 123
564# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0x83,0xf9,0x7b]
565         ccmpge {dfv=of} r9, 123
566# CHECK: ccmpge {dfv=of} dx, 1234
567# CHECK: encoding: [0x62,0xf4,0x45,0x0d,0x81,0xfa,0xd2,0x04]
568         ccmpge {dfv=of} dx, 1234
569# CHECK: ccmpge {dfv=of} ecx, 123456
570# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x81,0xf9,0x40,0xe2,0x01,0x00]
571         ccmpge {dfv=of} ecx, 123456
572# CHECK: ccmpge {dfv=of} r9, 123456
573# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0x81,0xf9,0x40,0xe2,0x01,0x00]
574         ccmpge {dfv=of} r9, 123456
575# CHECK: ccmpge {dfv=of} dl, bl
576# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x38,0xda]
577         ccmpge {dfv=of} dl, bl
578# CHECK: ccmpge {dfv=of} ax, dx
579# CHECK: encoding: [0x62,0xf4,0x45,0x0d,0x39,0xd0]
580         ccmpge {dfv=of} ax, dx
581# CHECK: ccmpge {dfv=of} edx, ecx
582# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x39,0xca]
583         ccmpge {dfv=of} edx, ecx
584# CHECK: ccmpge {dfv=of} r15, r9
585# CHECK: encoding: [0x62,0x54,0xc4,0x0d,0x39,0xcf]
586         ccmpge {dfv=of} r15, r9
587# CHECK: ccmpg {dfv=of} byte ptr [r8 + 4*rax + 123], 123
588# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x80,0x7c,0x80,0x7b,0x7b]
589         ccmpg {dfv=of} byte ptr [r8 + 4*rax + 123], 123
590# CHECK: ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], 123
591# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0x83,0x7c,0x80,0x7b,0x7b]
592         ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], 123
593# CHECK: ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], 1234
594# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0x81,0x7c,0x80,0x7b,0xd2,0x04]
595         ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], 1234
596# CHECK: ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], 123
597# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x83,0x7c,0x80,0x7b,0x7b]
598         ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], 123
599# CHECK: ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
600# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
601         ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
602# CHECK: ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], 123
603# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0x83,0x7c,0x80,0x7b,0x7b]
604         ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], 123
605# CHECK: ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
606# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
607         ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
608# CHECK: ccmpg {dfv=of} byte ptr [r8 + 4*rax + 123], bl
609# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x38,0x5c,0x80,0x7b]
610         ccmpg {dfv=of} byte ptr [r8 + 4*rax + 123], bl
611# CHECK: ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], dx
612# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0x39,0x54,0x80,0x7b]
613         ccmpg {dfv=of} word ptr [r8 + 4*rax + 123], dx
614# CHECK: ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
615# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x39,0x4c,0x80,0x7b]
616         ccmpg {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
617# CHECK: ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], r9
618# CHECK: encoding: [0x62,0x54,0xc4,0x0f,0x39,0x4c,0x80,0x7b]
619         ccmpg {dfv=of} qword ptr [r8 + 4*rax + 123], r9
620# CHECK: ccmpg {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
621# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x3a,0x5c,0x80,0x7b]
622         ccmpg {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
623# CHECK: ccmpg {dfv=of} dx, word ptr [r8 + 4*rax + 123]
624# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0x3b,0x54,0x80,0x7b]
625         ccmpg {dfv=of} dx, word ptr [r8 + 4*rax + 123]
626# CHECK: ccmpg {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
627# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x3b,0x4c,0x80,0x7b]
628         ccmpg {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
629# CHECK: ccmpg {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
630# CHECK: encoding: [0x62,0x54,0xc4,0x0f,0x3b,0x4c,0x80,0x7b]
631         ccmpg {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
632# CHECK: ccmpg {dfv=of} bl, 123
633# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x80,0xfb,0x7b]
634         ccmpg {dfv=of} bl, 123
635# CHECK: ccmpg {dfv=of} dx, 123
636# CHECK: encoding: [0x62,0xf4,0x45,0x0f,0x83,0xfa,0x7b]
637         ccmpg {dfv=of} dx, 123
638# CHECK: ccmpg {dfv=of} ecx, 123
639# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x83,0xf9,0x7b]
640         ccmpg {dfv=of} ecx, 123
641# CHECK: ccmpg {dfv=of} r9, 123
642# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0x83,0xf9,0x7b]
643         ccmpg {dfv=of} r9, 123
644# CHECK: ccmpg {dfv=of} dx, 1234
645# CHECK: encoding: [0x62,0xf4,0x45,0x0f,0x81,0xfa,0xd2,0x04]
646         ccmpg {dfv=of} dx, 1234
647# CHECK: ccmpg {dfv=of} ecx, 123456
648# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x81,0xf9,0x40,0xe2,0x01,0x00]
649         ccmpg {dfv=of} ecx, 123456
650# CHECK: ccmpg {dfv=of} r9, 123456
651# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0x81,0xf9,0x40,0xe2,0x01,0x00]
652         ccmpg {dfv=of} r9, 123456
653# CHECK: ccmpg {dfv=of} dl, bl
654# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x38,0xda]
655         ccmpg {dfv=of} dl, bl
656# CHECK: ccmpg {dfv=of} ax, dx
657# CHECK: encoding: [0x62,0xf4,0x45,0x0f,0x39,0xd0]
658         ccmpg {dfv=of} ax, dx
659# CHECK: ccmpg {dfv=of} edx, ecx
660# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x39,0xca]
661         ccmpg {dfv=of} edx, ecx
662# CHECK: ccmpg {dfv=of} r15, r9
663# CHECK: encoding: [0x62,0x54,0xc4,0x0f,0x39,0xcf]
664         ccmpg {dfv=of} r15, r9
665# CHECK: ccmpno {dfv=of} byte ptr [r8 + 4*rax + 123], 123
666# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x80,0x7c,0x80,0x7b,0x7b]
667         ccmpno {dfv=of} byte ptr [r8 + 4*rax + 123], 123
668# CHECK: ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], 123
669# CHECK: encoding: [0x62,0xd4,0x45,0x01,0x83,0x7c,0x80,0x7b,0x7b]
670         ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], 123
671# CHECK: ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], 1234
672# CHECK: encoding: [0x62,0xd4,0x45,0x01,0x81,0x7c,0x80,0x7b,0xd2,0x04]
673         ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], 1234
674# CHECK: ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], 123
675# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x83,0x7c,0x80,0x7b,0x7b]
676         ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], 123
677# CHECK: ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
678# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
679         ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
680# CHECK: ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], 123
681# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0x83,0x7c,0x80,0x7b,0x7b]
682         ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], 123
683# CHECK: ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
684# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
685         ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
686# CHECK: ccmpno {dfv=of} byte ptr [r8 + 4*rax + 123], bl
687# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x38,0x5c,0x80,0x7b]
688         ccmpno {dfv=of} byte ptr [r8 + 4*rax + 123], bl
689# CHECK: ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], dx
690# CHECK: encoding: [0x62,0xd4,0x45,0x01,0x39,0x54,0x80,0x7b]
691         ccmpno {dfv=of} word ptr [r8 + 4*rax + 123], dx
692# CHECK: ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
693# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x39,0x4c,0x80,0x7b]
694         ccmpno {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
695# CHECK: ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], r9
696# CHECK: encoding: [0x62,0x54,0xc4,0x01,0x39,0x4c,0x80,0x7b]
697         ccmpno {dfv=of} qword ptr [r8 + 4*rax + 123], r9
698# CHECK: ccmpno {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
699# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x3a,0x5c,0x80,0x7b]
700         ccmpno {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
701# CHECK: ccmpno {dfv=of} dx, word ptr [r8 + 4*rax + 123]
702# CHECK: encoding: [0x62,0xd4,0x45,0x01,0x3b,0x54,0x80,0x7b]
703         ccmpno {dfv=of} dx, word ptr [r8 + 4*rax + 123]
704# CHECK: ccmpno {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
705# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x3b,0x4c,0x80,0x7b]
706         ccmpno {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
707# CHECK: ccmpno {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
708# CHECK: encoding: [0x62,0x54,0xc4,0x01,0x3b,0x4c,0x80,0x7b]
709         ccmpno {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
710# CHECK: ccmpno {dfv=of} bl, 123
711# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x80,0xfb,0x7b]
712         ccmpno {dfv=of} bl, 123
713# CHECK: ccmpno {dfv=of} dx, 123
714# CHECK: encoding: [0x62,0xf4,0x45,0x01,0x83,0xfa,0x7b]
715         ccmpno {dfv=of} dx, 123
716# CHECK: ccmpno {dfv=of} ecx, 123
717# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x83,0xf9,0x7b]
718         ccmpno {dfv=of} ecx, 123
719# CHECK: ccmpno {dfv=of} r9, 123
720# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0x83,0xf9,0x7b]
721         ccmpno {dfv=of} r9, 123
722# CHECK: ccmpno {dfv=of} dx, 1234
723# CHECK: encoding: [0x62,0xf4,0x45,0x01,0x81,0xfa,0xd2,0x04]
724         ccmpno {dfv=of} dx, 1234
725# CHECK: ccmpno {dfv=of} ecx, 123456
726# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x81,0xf9,0x40,0xe2,0x01,0x00]
727         ccmpno {dfv=of} ecx, 123456
728# CHECK: ccmpno {dfv=of} r9, 123456
729# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0x81,0xf9,0x40,0xe2,0x01,0x00]
730         ccmpno {dfv=of} r9, 123456
731# CHECK: ccmpno {dfv=of} dl, bl
732# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x38,0xda]
733         ccmpno {dfv=of} dl, bl
734# CHECK: ccmpno {dfv=of} ax, dx
735# CHECK: encoding: [0x62,0xf4,0x45,0x01,0x39,0xd0]
736         ccmpno {dfv=of} ax, dx
737# CHECK: ccmpno {dfv=of} edx, ecx
738# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x39,0xca]
739         ccmpno {dfv=of} edx, ecx
740# CHECK: ccmpno {dfv=of} r15, r9
741# CHECK: encoding: [0x62,0x54,0xc4,0x01,0x39,0xcf]
742         ccmpno {dfv=of} r15, r9
743# CHECK: ccmpns {dfv=of} byte ptr [r8 + 4*rax + 123], 123
744# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x80,0x7c,0x80,0x7b,0x7b]
745         ccmpns {dfv=of} byte ptr [r8 + 4*rax + 123], 123
746# CHECK: ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], 123
747# CHECK: encoding: [0x62,0xd4,0x45,0x09,0x83,0x7c,0x80,0x7b,0x7b]
748         ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], 123
749# CHECK: ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], 1234
750# CHECK: encoding: [0x62,0xd4,0x45,0x09,0x81,0x7c,0x80,0x7b,0xd2,0x04]
751         ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], 1234
752# CHECK: ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], 123
753# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x83,0x7c,0x80,0x7b,0x7b]
754         ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], 123
755# CHECK: ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
756# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
757         ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
758# CHECK: ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], 123
759# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0x83,0x7c,0x80,0x7b,0x7b]
760         ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], 123
761# CHECK: ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
762# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
763         ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
764# CHECK: ccmpns {dfv=of} byte ptr [r8 + 4*rax + 123], bl
765# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x38,0x5c,0x80,0x7b]
766         ccmpns {dfv=of} byte ptr [r8 + 4*rax + 123], bl
767# CHECK: ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], dx
768# CHECK: encoding: [0x62,0xd4,0x45,0x09,0x39,0x54,0x80,0x7b]
769         ccmpns {dfv=of} word ptr [r8 + 4*rax + 123], dx
770# CHECK: ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
771# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x39,0x4c,0x80,0x7b]
772         ccmpns {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
773# CHECK: ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], r9
774# CHECK: encoding: [0x62,0x54,0xc4,0x09,0x39,0x4c,0x80,0x7b]
775         ccmpns {dfv=of} qword ptr [r8 + 4*rax + 123], r9
776# CHECK: ccmpns {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
777# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x3a,0x5c,0x80,0x7b]
778         ccmpns {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
779# CHECK: ccmpns {dfv=of} dx, word ptr [r8 + 4*rax + 123]
780# CHECK: encoding: [0x62,0xd4,0x45,0x09,0x3b,0x54,0x80,0x7b]
781         ccmpns {dfv=of} dx, word ptr [r8 + 4*rax + 123]
782# CHECK: ccmpns {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
783# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x3b,0x4c,0x80,0x7b]
784         ccmpns {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
785# CHECK: ccmpns {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
786# CHECK: encoding: [0x62,0x54,0xc4,0x09,0x3b,0x4c,0x80,0x7b]
787         ccmpns {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
788# CHECK: ccmpns {dfv=of} bl, 123
789# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x80,0xfb,0x7b]
790         ccmpns {dfv=of} bl, 123
791# CHECK: ccmpns {dfv=of} dx, 123
792# CHECK: encoding: [0x62,0xf4,0x45,0x09,0x83,0xfa,0x7b]
793         ccmpns {dfv=of} dx, 123
794# CHECK: ccmpns {dfv=of} ecx, 123
795# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x83,0xf9,0x7b]
796         ccmpns {dfv=of} ecx, 123
797# CHECK: ccmpns {dfv=of} r9, 123
798# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0x83,0xf9,0x7b]
799         ccmpns {dfv=of} r9, 123
800# CHECK: ccmpns {dfv=of} dx, 1234
801# CHECK: encoding: [0x62,0xf4,0x45,0x09,0x81,0xfa,0xd2,0x04]
802         ccmpns {dfv=of} dx, 1234
803# CHECK: ccmpns {dfv=of} ecx, 123456
804# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x81,0xf9,0x40,0xe2,0x01,0x00]
805         ccmpns {dfv=of} ecx, 123456
806# CHECK: ccmpns {dfv=of} r9, 123456
807# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0x81,0xf9,0x40,0xe2,0x01,0x00]
808         ccmpns {dfv=of} r9, 123456
809# CHECK: ccmpns {dfv=of} dl, bl
810# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x38,0xda]
811         ccmpns {dfv=of} dl, bl
812# CHECK: ccmpns {dfv=of} ax, dx
813# CHECK: encoding: [0x62,0xf4,0x45,0x09,0x39,0xd0]
814         ccmpns {dfv=of} ax, dx
815# CHECK: ccmpns {dfv=of} edx, ecx
816# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x39,0xca]
817         ccmpns {dfv=of} edx, ecx
818# CHECK: ccmpns {dfv=of} r15, r9
819# CHECK: encoding: [0x62,0x54,0xc4,0x09,0x39,0xcf]
820         ccmpns {dfv=of} r15, r9
821# CHECK: ccmpne {dfv=of} byte ptr [r8 + 4*rax + 123], 123
822# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x80,0x7c,0x80,0x7b,0x7b]
823         ccmpne {dfv=of} byte ptr [r8 + 4*rax + 123], 123
824# CHECK: ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], 123
825# CHECK: encoding: [0x62,0xd4,0x45,0x05,0x83,0x7c,0x80,0x7b,0x7b]
826         ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], 123
827# CHECK: ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], 1234
828# CHECK: encoding: [0x62,0xd4,0x45,0x05,0x81,0x7c,0x80,0x7b,0xd2,0x04]
829         ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], 1234
830# CHECK: ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], 123
831# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x83,0x7c,0x80,0x7b,0x7b]
832         ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], 123
833# CHECK: ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
834# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
835         ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
836# CHECK: ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], 123
837# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0x83,0x7c,0x80,0x7b,0x7b]
838         ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], 123
839# CHECK: ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
840# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
841         ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
842# CHECK: ccmpne {dfv=of} byte ptr [r8 + 4*rax + 123], bl
843# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x38,0x5c,0x80,0x7b]
844         ccmpne {dfv=of} byte ptr [r8 + 4*rax + 123], bl
845# CHECK: ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], dx
846# CHECK: encoding: [0x62,0xd4,0x45,0x05,0x39,0x54,0x80,0x7b]
847         ccmpne {dfv=of} word ptr [r8 + 4*rax + 123], dx
848# CHECK: ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
849# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x39,0x4c,0x80,0x7b]
850         ccmpne {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
851# CHECK: ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], r9
852# CHECK: encoding: [0x62,0x54,0xc4,0x05,0x39,0x4c,0x80,0x7b]
853         ccmpne {dfv=of} qword ptr [r8 + 4*rax + 123], r9
854# CHECK: ccmpne {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
855# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x3a,0x5c,0x80,0x7b]
856         ccmpne {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
857# CHECK: ccmpne {dfv=of} dx, word ptr [r8 + 4*rax + 123]
858# CHECK: encoding: [0x62,0xd4,0x45,0x05,0x3b,0x54,0x80,0x7b]
859         ccmpne {dfv=of} dx, word ptr [r8 + 4*rax + 123]
860# CHECK: ccmpne {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
861# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x3b,0x4c,0x80,0x7b]
862         ccmpne {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
863# CHECK: ccmpne {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
864# CHECK: encoding: [0x62,0x54,0xc4,0x05,0x3b,0x4c,0x80,0x7b]
865         ccmpne {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
866# CHECK: ccmpne {dfv=of} bl, 123
867# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x80,0xfb,0x7b]
868         ccmpne {dfv=of} bl, 123
869# CHECK: ccmpne {dfv=of} dx, 123
870# CHECK: encoding: [0x62,0xf4,0x45,0x05,0x83,0xfa,0x7b]
871         ccmpne {dfv=of} dx, 123
872# CHECK: ccmpne {dfv=of} ecx, 123
873# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x83,0xf9,0x7b]
874         ccmpne {dfv=of} ecx, 123
875# CHECK: ccmpne {dfv=of} r9, 123
876# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0x83,0xf9,0x7b]
877         ccmpne {dfv=of} r9, 123
878# CHECK: ccmpne {dfv=of} dx, 1234
879# CHECK: encoding: [0x62,0xf4,0x45,0x05,0x81,0xfa,0xd2,0x04]
880         ccmpne {dfv=of} dx, 1234
881# CHECK: ccmpne {dfv=of} ecx, 123456
882# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x81,0xf9,0x40,0xe2,0x01,0x00]
883         ccmpne {dfv=of} ecx, 123456
884# CHECK: ccmpne {dfv=of} r9, 123456
885# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0x81,0xf9,0x40,0xe2,0x01,0x00]
886         ccmpne {dfv=of} r9, 123456
887# CHECK: ccmpne {dfv=of} dl, bl
888# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x38,0xda]
889         ccmpne {dfv=of} dl, bl
890# CHECK: ccmpne {dfv=of} ax, dx
891# CHECK: encoding: [0x62,0xf4,0x45,0x05,0x39,0xd0]
892         ccmpne {dfv=of} ax, dx
893# CHECK: ccmpne {dfv=of} edx, ecx
894# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x39,0xca]
895         ccmpne {dfv=of} edx, ecx
896# CHECK: ccmpne {dfv=of} r15, r9
897# CHECK: encoding: [0x62,0x54,0xc4,0x05,0x39,0xcf]
898         ccmpne {dfv=of} r15, r9
899# CHECK: ccmpbe {dfv=of} byte ptr [r8 + 4*rax + 123], 123
900# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x80,0x7c,0x80,0x7b,0x7b]
901         ccmpbe {dfv=of} byte ptr [r8 + 4*rax + 123], 123
902# CHECK: ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], 123
903# CHECK: encoding: [0x62,0xd4,0x45,0x06,0x83,0x7c,0x80,0x7b,0x7b]
904         ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], 123
905# CHECK: ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], 1234
906# CHECK: encoding: [0x62,0xd4,0x45,0x06,0x81,0x7c,0x80,0x7b,0xd2,0x04]
907         ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], 1234
908# CHECK: ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], 123
909# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x83,0x7c,0x80,0x7b,0x7b]
910         ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], 123
911# CHECK: ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
912# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
913         ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
914# CHECK: ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], 123
915# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0x83,0x7c,0x80,0x7b,0x7b]
916         ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], 123
917# CHECK: ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
918# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
919         ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
920# CHECK: ccmpbe {dfv=of} byte ptr [r8 + 4*rax + 123], bl
921# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x38,0x5c,0x80,0x7b]
922         ccmpbe {dfv=of} byte ptr [r8 + 4*rax + 123], bl
923# CHECK: ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], dx
924# CHECK: encoding: [0x62,0xd4,0x45,0x06,0x39,0x54,0x80,0x7b]
925         ccmpbe {dfv=of} word ptr [r8 + 4*rax + 123], dx
926# CHECK: ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
927# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x39,0x4c,0x80,0x7b]
928         ccmpbe {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
929# CHECK: ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], r9
930# CHECK: encoding: [0x62,0x54,0xc4,0x06,0x39,0x4c,0x80,0x7b]
931         ccmpbe {dfv=of} qword ptr [r8 + 4*rax + 123], r9
932# CHECK: ccmpbe {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
933# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x3a,0x5c,0x80,0x7b]
934         ccmpbe {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
935# CHECK: ccmpbe {dfv=of} dx, word ptr [r8 + 4*rax + 123]
936# CHECK: encoding: [0x62,0xd4,0x45,0x06,0x3b,0x54,0x80,0x7b]
937         ccmpbe {dfv=of} dx, word ptr [r8 + 4*rax + 123]
938# CHECK: ccmpbe {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
939# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x3b,0x4c,0x80,0x7b]
940         ccmpbe {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
941# CHECK: ccmpbe {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
942# CHECK: encoding: [0x62,0x54,0xc4,0x06,0x3b,0x4c,0x80,0x7b]
943         ccmpbe {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
944# CHECK: ccmpbe {dfv=of} bl, 123
945# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x80,0xfb,0x7b]
946         ccmpbe {dfv=of} bl, 123
947# CHECK: ccmpbe {dfv=of} dx, 123
948# CHECK: encoding: [0x62,0xf4,0x45,0x06,0x83,0xfa,0x7b]
949         ccmpbe {dfv=of} dx, 123
950# CHECK: ccmpbe {dfv=of} ecx, 123
951# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x83,0xf9,0x7b]
952         ccmpbe {dfv=of} ecx, 123
953# CHECK: ccmpbe {dfv=of} r9, 123
954# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0x83,0xf9,0x7b]
955         ccmpbe {dfv=of} r9, 123
956# CHECK: ccmpbe {dfv=of} dx, 1234
957# CHECK: encoding: [0x62,0xf4,0x45,0x06,0x81,0xfa,0xd2,0x04]
958         ccmpbe {dfv=of} dx, 1234
959# CHECK: ccmpbe {dfv=of} ecx, 123456
960# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x81,0xf9,0x40,0xe2,0x01,0x00]
961         ccmpbe {dfv=of} ecx, 123456
962# CHECK: ccmpbe {dfv=of} r9, 123456
963# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0x81,0xf9,0x40,0xe2,0x01,0x00]
964         ccmpbe {dfv=of} r9, 123456
965# CHECK: ccmpbe {dfv=of} dl, bl
966# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x38,0xda]
967         ccmpbe {dfv=of} dl, bl
968# CHECK: ccmpbe {dfv=of} ax, dx
969# CHECK: encoding: [0x62,0xf4,0x45,0x06,0x39,0xd0]
970         ccmpbe {dfv=of} ax, dx
971# CHECK: ccmpbe {dfv=of} edx, ecx
972# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x39,0xca]
973         ccmpbe {dfv=of} edx, ecx
974# CHECK: ccmpbe {dfv=of} r15, r9
975# CHECK: encoding: [0x62,0x54,0xc4,0x06,0x39,0xcf]
976         ccmpbe {dfv=of} r15, r9
977# CHECK: ccmpo {dfv=of} byte ptr [r8 + 4*rax + 123], 123
978# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x80,0x7c,0x80,0x7b,0x7b]
979         ccmpo {dfv=of} byte ptr [r8 + 4*rax + 123], 123
980# CHECK: ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], 123
981# CHECK: encoding: [0x62,0xd4,0x45,0x00,0x83,0x7c,0x80,0x7b,0x7b]
982         ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], 123
983# CHECK: ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], 1234
984# CHECK: encoding: [0x62,0xd4,0x45,0x00,0x81,0x7c,0x80,0x7b,0xd2,0x04]
985         ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], 1234
986# CHECK: ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], 123
987# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x83,0x7c,0x80,0x7b,0x7b]
988         ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], 123
989# CHECK: ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
990# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
991         ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
992# CHECK: ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], 123
993# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0x83,0x7c,0x80,0x7b,0x7b]
994         ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], 123
995# CHECK: ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
996# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
997         ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
998# CHECK: ccmpo {dfv=of} byte ptr [r8 + 4*rax + 123], bl
999# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x38,0x5c,0x80,0x7b]
1000         ccmpo {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1001# CHECK: ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], dx
1002# CHECK: encoding: [0x62,0xd4,0x45,0x00,0x39,0x54,0x80,0x7b]
1003         ccmpo {dfv=of} word ptr [r8 + 4*rax + 123], dx
1004# CHECK: ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1005# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x39,0x4c,0x80,0x7b]
1006         ccmpo {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1007# CHECK: ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1008# CHECK: encoding: [0x62,0x54,0xc4,0x00,0x39,0x4c,0x80,0x7b]
1009         ccmpo {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1010# CHECK: ccmpo {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1011# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x3a,0x5c,0x80,0x7b]
1012         ccmpo {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1013# CHECK: ccmpo {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1014# CHECK: encoding: [0x62,0xd4,0x45,0x00,0x3b,0x54,0x80,0x7b]
1015         ccmpo {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1016# CHECK: ccmpo {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1017# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x3b,0x4c,0x80,0x7b]
1018         ccmpo {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1019# CHECK: ccmpo {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1020# CHECK: encoding: [0x62,0x54,0xc4,0x00,0x3b,0x4c,0x80,0x7b]
1021         ccmpo {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1022# CHECK: ccmpo {dfv=of} bl, 123
1023# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x80,0xfb,0x7b]
1024         ccmpo {dfv=of} bl, 123
1025# CHECK: ccmpo {dfv=of} dx, 123
1026# CHECK: encoding: [0x62,0xf4,0x45,0x00,0x83,0xfa,0x7b]
1027         ccmpo {dfv=of} dx, 123
1028# CHECK: ccmpo {dfv=of} ecx, 123
1029# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x83,0xf9,0x7b]
1030         ccmpo {dfv=of} ecx, 123
1031# CHECK: ccmpo {dfv=of} r9, 123
1032# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0x83,0xf9,0x7b]
1033         ccmpo {dfv=of} r9, 123
1034# CHECK: ccmpo {dfv=of} dx, 1234
1035# CHECK: encoding: [0x62,0xf4,0x45,0x00,0x81,0xfa,0xd2,0x04]
1036         ccmpo {dfv=of} dx, 1234
1037# CHECK: ccmpo {dfv=of} ecx, 123456
1038# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x81,0xf9,0x40,0xe2,0x01,0x00]
1039         ccmpo {dfv=of} ecx, 123456
1040# CHECK: ccmpo {dfv=of} r9, 123456
1041# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0x81,0xf9,0x40,0xe2,0x01,0x00]
1042         ccmpo {dfv=of} r9, 123456
1043# CHECK: ccmpo {dfv=of} dl, bl
1044# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x38,0xda]
1045         ccmpo {dfv=of} dl, bl
1046# CHECK: ccmpo {dfv=of} ax, dx
1047# CHECK: encoding: [0x62,0xf4,0x45,0x00,0x39,0xd0]
1048         ccmpo {dfv=of} ax, dx
1049# CHECK: ccmpo {dfv=of} edx, ecx
1050# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x39,0xca]
1051         ccmpo {dfv=of} edx, ecx
1052# CHECK: ccmpo {dfv=of} r15, r9
1053# CHECK: encoding: [0x62,0x54,0xc4,0x00,0x39,0xcf]
1054         ccmpo {dfv=of} r15, r9
1055# CHECK: ccmps {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1056# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x80,0x7c,0x80,0x7b,0x7b]
1057         ccmps {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1058# CHECK: ccmps {dfv=of} word ptr [r8 + 4*rax + 123], 123
1059# CHECK: encoding: [0x62,0xd4,0x45,0x08,0x83,0x7c,0x80,0x7b,0x7b]
1060         ccmps {dfv=of} word ptr [r8 + 4*rax + 123], 123
1061# CHECK: ccmps {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1062# CHECK: encoding: [0x62,0xd4,0x45,0x08,0x81,0x7c,0x80,0x7b,0xd2,0x04]
1063         ccmps {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1064# CHECK: ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1065# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x83,0x7c,0x80,0x7b,0x7b]
1066         ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1067# CHECK: ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1068# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1069         ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1070# CHECK: ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1071# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0x83,0x7c,0x80,0x7b,0x7b]
1072         ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1073# CHECK: ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1074# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1075         ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1076# CHECK: ccmps {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1077# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x38,0x5c,0x80,0x7b]
1078         ccmps {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1079# CHECK: ccmps {dfv=of} word ptr [r8 + 4*rax + 123], dx
1080# CHECK: encoding: [0x62,0xd4,0x45,0x08,0x39,0x54,0x80,0x7b]
1081         ccmps {dfv=of} word ptr [r8 + 4*rax + 123], dx
1082# CHECK: ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1083# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x39,0x4c,0x80,0x7b]
1084         ccmps {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1085# CHECK: ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1086# CHECK: encoding: [0x62,0x54,0xc4,0x08,0x39,0x4c,0x80,0x7b]
1087         ccmps {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1088# CHECK: ccmps {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1089# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x3a,0x5c,0x80,0x7b]
1090         ccmps {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1091# CHECK: ccmps {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1092# CHECK: encoding: [0x62,0xd4,0x45,0x08,0x3b,0x54,0x80,0x7b]
1093         ccmps {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1094# CHECK: ccmps {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1095# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x3b,0x4c,0x80,0x7b]
1096         ccmps {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1097# CHECK: ccmps {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1098# CHECK: encoding: [0x62,0x54,0xc4,0x08,0x3b,0x4c,0x80,0x7b]
1099         ccmps {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1100# CHECK: ccmps {dfv=of} bl, 123
1101# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x80,0xfb,0x7b]
1102         ccmps {dfv=of} bl, 123
1103# CHECK: ccmps {dfv=of} dx, 123
1104# CHECK: encoding: [0x62,0xf4,0x45,0x08,0x83,0xfa,0x7b]
1105         ccmps {dfv=of} dx, 123
1106# CHECK: ccmps {dfv=of} ecx, 123
1107# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x83,0xf9,0x7b]
1108         ccmps {dfv=of} ecx, 123
1109# CHECK: ccmps {dfv=of} r9, 123
1110# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0x83,0xf9,0x7b]
1111         ccmps {dfv=of} r9, 123
1112# CHECK: ccmps {dfv=of} dx, 1234
1113# CHECK: encoding: [0x62,0xf4,0x45,0x08,0x81,0xfa,0xd2,0x04]
1114         ccmps {dfv=of} dx, 1234
1115# CHECK: ccmps {dfv=of} ecx, 123456
1116# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x81,0xf9,0x40,0xe2,0x01,0x00]
1117         ccmps {dfv=of} ecx, 123456
1118# CHECK: ccmps {dfv=of} r9, 123456
1119# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0x81,0xf9,0x40,0xe2,0x01,0x00]
1120         ccmps {dfv=of} r9, 123456
1121# CHECK: ccmps {dfv=of} dl, bl
1122# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x38,0xda]
1123         ccmps {dfv=of} dl, bl
1124# CHECK: ccmps {dfv=of} ax, dx
1125# CHECK: encoding: [0x62,0xf4,0x45,0x08,0x39,0xd0]
1126         ccmps {dfv=of} ax, dx
1127# CHECK: ccmps {dfv=of} edx, ecx
1128# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x39,0xca]
1129         ccmps {dfv=of} edx, ecx
1130# CHECK: ccmps {dfv=of} r15, r9
1131# CHECK: encoding: [0x62,0x54,0xc4,0x08,0x39,0xcf]
1132         ccmps {dfv=of} r15, r9
1133# CHECK: ccmpt {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1134# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x80,0x7c,0x80,0x7b,0x7b]
1135         ccmpt {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1136# CHECK: ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], 123
1137# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1138         ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], 123
1139# CHECK: ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1140# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0x81,0x7c,0x80,0x7b,0xd2,0x04]
1141         ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1142# CHECK: ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1143# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1144         ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1145# CHECK: ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1146# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1147         ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1148# CHECK: ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1149# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1150         ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1151# CHECK: ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1152# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1153         ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1154# CHECK: ccmpt {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1155# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x38,0x5c,0x80,0x7b]
1156         ccmpt {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1157# CHECK: ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], dx
1158# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0x39,0x54,0x80,0x7b]
1159         ccmpt {dfv=of} word ptr [r8 + 4*rax + 123], dx
1160# CHECK: ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1161# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x39,0x4c,0x80,0x7b]
1162         ccmpt {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1163# CHECK: ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1164# CHECK: encoding: [0x62,0x54,0xc4,0x0a,0x39,0x4c,0x80,0x7b]
1165         ccmpt {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1166# CHECK: ccmpt {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1167# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x3a,0x5c,0x80,0x7b]
1168         ccmpt {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1169# CHECK: ccmpt {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1170# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0x3b,0x54,0x80,0x7b]
1171         ccmpt {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1172# CHECK: ccmpt {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1173# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x3b,0x4c,0x80,0x7b]
1174         ccmpt {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1175# CHECK: ccmpt {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1176# CHECK: encoding: [0x62,0x54,0xc4,0x0a,0x3b,0x4c,0x80,0x7b]
1177         ccmpt {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1178# CHECK: ccmpt {dfv=of} bl, 123
1179# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x80,0xfb,0x7b]
1180         ccmpt {dfv=of} bl, 123
1181# CHECK: ccmpt {dfv=of} dx, 123
1182# CHECK: encoding: [0x62,0xf4,0x45,0x0a,0x83,0xfa,0x7b]
1183         ccmpt {dfv=of} dx, 123
1184# CHECK: ccmpt {dfv=of} ecx, 123
1185# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x83,0xf9,0x7b]
1186         ccmpt {dfv=of} ecx, 123
1187# CHECK: ccmpt {dfv=of} r9, 123
1188# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0x83,0xf9,0x7b]
1189         ccmpt {dfv=of} r9, 123
1190# CHECK: ccmpt {dfv=of} dx, 1234
1191# CHECK: encoding: [0x62,0xf4,0x45,0x0a,0x81,0xfa,0xd2,0x04]
1192         ccmpt {dfv=of} dx, 1234
1193# CHECK: ccmpt {dfv=of} ecx, 123456
1194# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x81,0xf9,0x40,0xe2,0x01,0x00]
1195         ccmpt {dfv=of} ecx, 123456
1196# CHECK: ccmpt {dfv=of} r9, 123456
1197# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0x81,0xf9,0x40,0xe2,0x01,0x00]
1198         ccmpt {dfv=of} r9, 123456
1199# CHECK: ccmpt {dfv=of} dl, bl
1200# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x38,0xda]
1201         ccmpt {dfv=of} dl, bl
1202# CHECK: ccmpt {dfv=of} ax, dx
1203# CHECK: encoding: [0x62,0xf4,0x45,0x0a,0x39,0xd0]
1204         ccmpt {dfv=of} ax, dx
1205# CHECK: ccmpt {dfv=of} edx, ecx
1206# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x39,0xca]
1207         ccmpt {dfv=of} edx, ecx
1208# CHECK: ccmpt {dfv=of} r15, r9
1209# CHECK: encoding: [0x62,0x54,0xc4,0x0a,0x39,0xcf]
1210         ccmpt {dfv=of} r15, r9
1211# CHECK: ccmpe {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1212# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x80,0x7c,0x80,0x7b,0x7b]
1213         ccmpe {dfv=of} byte ptr [r8 + 4*rax + 123], 123
1214# CHECK: ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], 123
1215# CHECK: encoding: [0x62,0xd4,0x45,0x04,0x83,0x7c,0x80,0x7b,0x7b]
1216         ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], 123
1217# CHECK: ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1218# CHECK: encoding: [0x62,0xd4,0x45,0x04,0x81,0x7c,0x80,0x7b,0xd2,0x04]
1219         ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], 1234
1220# CHECK: ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1221# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x83,0x7c,0x80,0x7b,0x7b]
1222         ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], 123
1223# CHECK: ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1224# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1225         ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], 123456
1226# CHECK: ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1227# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0x83,0x7c,0x80,0x7b,0x7b]
1228         ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], 123
1229# CHECK: ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1230# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1231         ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], 123456
1232# CHECK: ccmpe {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1233# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x38,0x5c,0x80,0x7b]
1234         ccmpe {dfv=of} byte ptr [r8 + 4*rax + 123], bl
1235# CHECK: ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], dx
1236# CHECK: encoding: [0x62,0xd4,0x45,0x04,0x39,0x54,0x80,0x7b]
1237         ccmpe {dfv=of} word ptr [r8 + 4*rax + 123], dx
1238# CHECK: ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1239# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x39,0x4c,0x80,0x7b]
1240         ccmpe {dfv=of} dword ptr [r8 + 4*rax + 123], ecx
1241# CHECK: ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1242# CHECK: encoding: [0x62,0x54,0xc4,0x04,0x39,0x4c,0x80,0x7b]
1243         ccmpe {dfv=of} qword ptr [r8 + 4*rax + 123], r9
1244# CHECK: ccmpe {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1245# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x3a,0x5c,0x80,0x7b]
1246         ccmpe {dfv=of} bl, byte ptr [r8 + 4*rax + 123]
1247# CHECK: ccmpe {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1248# CHECK: encoding: [0x62,0xd4,0x45,0x04,0x3b,0x54,0x80,0x7b]
1249         ccmpe {dfv=of} dx, word ptr [r8 + 4*rax + 123]
1250# CHECK: ccmpe {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1251# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x3b,0x4c,0x80,0x7b]
1252         ccmpe {dfv=of} ecx, dword ptr [r8 + 4*rax + 123]
1253# CHECK: ccmpe {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1254# CHECK: encoding: [0x62,0x54,0xc4,0x04,0x3b,0x4c,0x80,0x7b]
1255         ccmpe {dfv=of} r9, qword ptr [r8 + 4*rax + 123]
1256# CHECK: ccmpe {dfv=of} bl, 123
1257# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x80,0xfb,0x7b]
1258         ccmpe {dfv=of} bl, 123
1259# CHECK: ccmpe {dfv=of} dx, 123
1260# CHECK: encoding: [0x62,0xf4,0x45,0x04,0x83,0xfa,0x7b]
1261         ccmpe {dfv=of} dx, 123
1262# CHECK: ccmpe {dfv=of} ecx, 123
1263# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x83,0xf9,0x7b]
1264         ccmpe {dfv=of} ecx, 123
1265# CHECK: ccmpe {dfv=of} r9, 123
1266# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0x83,0xf9,0x7b]
1267         ccmpe {dfv=of} r9, 123
1268# CHECK: ccmpe {dfv=of} dx, 1234
1269# CHECK: encoding: [0x62,0xf4,0x45,0x04,0x81,0xfa,0xd2,0x04]
1270         ccmpe {dfv=of} dx, 1234
1271# CHECK: ccmpe {dfv=of} ecx, 123456
1272# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x81,0xf9,0x40,0xe2,0x01,0x00]
1273         ccmpe {dfv=of} ecx, 123456
1274# CHECK: ccmpe {dfv=of} r9, 123456
1275# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0x81,0xf9,0x40,0xe2,0x01,0x00]
1276         ccmpe {dfv=of} r9, 123456
1277# CHECK: ccmpe {dfv=of} dl, bl
1278# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x38,0xda]
1279         ccmpe {dfv=of} dl, bl
1280# CHECK: ccmpe {dfv=of} ax, dx
1281# CHECK: encoding: [0x62,0xf4,0x45,0x04,0x39,0xd0]
1282         ccmpe {dfv=of} ax, dx
1283# CHECK: ccmpe {dfv=of} edx, ecx
1284# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x39,0xca]
1285         ccmpe {dfv=of} edx, ecx
1286# CHECK: ccmpe {dfv=of} r15, r9
1287# CHECK: encoding: [0x62,0x54,0xc4,0x04,0x39,0xcf]
1288         ccmpe {dfv=of} r15, r9
1289
1290## Case sensitive
1291
1292# CHECK: ccmpo {dfv=of,sf,zf,cf} rbx, rax
1293# CHECK: encoding: [0x62,0xf4,0xfc,0x00,0x39,0xc3]
1294         ccmpo {DFv=Cf,zF,SF,of} rbx, rax
1295
1296## "{evex} cmp*" are alias for "ccmpt* {dfv=}"
1297
1298# CHECK: ccmpt	{dfv=}	byte ptr [r8 + 4*rax + 123], 123
1299# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x80,0x7c,0x80,0x7b,0x7b]
1300         {evex} cmp	byte ptr [r8 + 4*rax + 123], 123
1301# CHECK: ccmpt	{dfv=}	word ptr [r8 + 4*rax + 123], 123
1302# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1303         {evex} cmp	word ptr [r8 + 4*rax + 123], 123
1304# CHECK: ccmpt	{dfv=}	word ptr [r8 + 4*rax + 123], 1234
1305# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0x81,0x7c,0x80,0x7b,0xd2,0x04]
1306         {evex} cmp	word ptr [r8 + 4*rax + 123], 1234
1307# CHECK: ccmpt	{dfv=}	dword ptr [r8 + 4*rax + 123], 123
1308# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1309         {evex} cmp	dword ptr [r8 + 4*rax + 123], 123
1310# CHECK: ccmpt	{dfv=}	dword ptr [r8 + 4*rax + 123], 123456
1311# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1312         {evex} cmp	dword ptr [r8 + 4*rax + 123], 123456
1313# CHECK: ccmpt	{dfv=}	qword ptr [r8 + 4*rax + 123], 123
1314# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0x83,0x7c,0x80,0x7b,0x7b]
1315         {evex} cmp	qword ptr [r8 + 4*rax + 123], 123
1316# CHECK: ccmpt	{dfv=}	qword ptr [r8 + 4*rax + 123], 123456
1317# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0x81,0x7c,0x80,0x7b,0x40,0xe2,0x01,0x00]
1318         {evex} cmp	qword ptr [r8 + 4*rax + 123], 123456
1319# CHECK: ccmpt	{dfv=}	byte ptr [r8 + 4*rax + 123], bl
1320# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x38,0x5c,0x80,0x7b]
1321         {evex} cmp	byte ptr [r8 + 4*rax + 123], bl
1322# CHECK: ccmpt	{dfv=}	word ptr [r8 + 4*rax + 123], dx
1323# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0x39,0x54,0x80,0x7b]
1324         {evex} cmp	word ptr [r8 + 4*rax + 123], dx
1325# CHECK: ccmpt	{dfv=}	dword ptr [r8 + 4*rax + 123], ecx
1326# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x39,0x4c,0x80,0x7b]
1327         {evex} cmp	dword ptr [r8 + 4*rax + 123], ecx
1328# CHECK: ccmpt	{dfv=}	qword ptr [r8 + 4*rax + 123], r9
1329# CHECK: encoding: [0x62,0x54,0x84,0x0a,0x39,0x4c,0x80,0x7b]
1330         {evex} cmp	qword ptr [r8 + 4*rax + 123], r9
1331# CHECK: ccmpt	{dfv=}	bl, byte ptr [r8 + 4*rax + 123]
1332# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x3a,0x5c,0x80,0x7b]
1333         {evex} cmp	bl, byte ptr [r8 + 4*rax + 123]
1334# CHECK: ccmpt	{dfv=}	dx, word ptr [r8 + 4*rax + 123]
1335# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0x3b,0x54,0x80,0x7b]
1336         {evex} cmp	dx, word ptr [r8 + 4*rax + 123]
1337# CHECK: ccmpt	{dfv=}	ecx, dword ptr [r8 + 4*rax + 123]
1338# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x3b,0x4c,0x80,0x7b]
1339         {evex} cmp	ecx, dword ptr [r8 + 4*rax + 123]
1340# CHECK: ccmpt	{dfv=}	r9, qword ptr [r8 + 4*rax + 123]
1341# CHECK: encoding: [0x62,0x54,0x84,0x0a,0x3b,0x4c,0x80,0x7b]
1342         {evex} cmp	r9, qword ptr [r8 + 4*rax + 123]
1343# CHECK: ccmpt	{dfv=}	bl, 123
1344# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x80,0xfb,0x7b]
1345         {evex} cmp	bl, 123
1346# CHECK: ccmpt	{dfv=}	dx, 123
1347# CHECK: encoding: [0x62,0xf4,0x05,0x0a,0x83,0xfa,0x7b]
1348         {evex} cmp	dx, 123
1349# CHECK: ccmpt	{dfv=}	ecx, 123
1350# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x83,0xf9,0x7b]
1351         {evex} cmp	ecx, 123
1352# CHECK: ccmpt	{dfv=}	r9, 123
1353# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0x83,0xf9,0x7b]
1354         {evex} cmp	r9, 123
1355# CHECK: ccmpt	{dfv=}	dx, 1234
1356# CHECK: encoding: [0x62,0xf4,0x05,0x0a,0x81,0xfa,0xd2,0x04]
1357         {evex} cmp	dx, 1234
1358# CHECK: ccmpt	{dfv=}	ecx, 123456
1359# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x81,0xf9,0x40,0xe2,0x01,0x00]
1360         {evex} cmp	ecx, 123456
1361# CHECK: ccmpt	{dfv=}	r9, 123456
1362# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0x81,0xf9,0x40,0xe2,0x01,0x00]
1363         {evex} cmp	r9, 123456
1364# CHECK: ccmpt	{dfv=}	dl, bl
1365# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x38,0xda]
1366         {evex} cmp	dl, bl
1367# CHECK: ccmpt	{dfv=}	ax, dx
1368# CHECK: encoding: [0x62,0xf4,0x05,0x0a,0x39,0xd0]
1369         {evex} cmp	ax, dx
1370# CHECK: ccmpt	{dfv=}	edx, ecx
1371# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x39,0xca]
1372         {evex} cmp	edx, ecx
1373# CHECK: ccmpt	{dfv=}	r15, r9
1374# CHECK: encoding: [0x62,0x54,0x84,0x0a,0x39,0xcf]
1375         {evex} cmp	r15, r9
1376
1377## Condition Code Aliases
1378
1379# CHECK: ccmpb {dfv=of} edx, ecx
1380# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x39,0xca]
1381         ccmpc {dfv=of} edx, ecx
1382# CHECK: ccmpb {dfv=of} edx, ecx
1383# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x39,0xca]
1384         ccmpnae {dfv=of} edx, ecx
1385# CHECK: ccmpae {dfv=of} edx, ecx
1386# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x39,0xca]
1387         ccmpnb {dfv=of} edx, ecx
1388# CHECK: ccmpae {dfv=of} edx, ecx
1389# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x39,0xca]
1390         ccmpnc {dfv=of} edx, ecx
1391# CHECK: ccmpe {dfv=of} edx, ecx
1392# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x39,0xca]
1393         ccmpz {dfv=of} edx, ecx
1394# CHECK: ccmpne {dfv=of} edx, ecx
1395# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x39,0xca]
1396         ccmpnz {dfv=of} edx, ecx
1397# CHECK: ccmpa {dfv=of} edx, ecx
1398# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x39,0xca]
1399         ccmpnbe {dfv=of} edx, ecx
1400# CHECK: ccmpl {dfv=of} edx, ecx
1401# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x39,0xca]
1402         ccmpnge {dfv=of} edx, ecx
1403# CHECK: ccmpge {dfv=of} edx, ecx
1404# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x39,0xca]
1405         ccmpnl {dfv=of} edx, ecx
1406# CHECK: ccmple {dfv=of} edx, ecx
1407# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x39,0xca]
1408         ccmpng {dfv=of} edx, ecx
1409# CHECK: ccmpg {dfv=of} edx, ecx
1410# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x39,0xca]
1411         ccmpnle {dfv=of} edx, ecx
1412# CHECK: ccmpbe {dfv=of} edx, ecx
1413# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x39,0xca]
1414         ccmpna {dfv=of} edx, ecx
1415