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