xref: /llvm-project/llvm/test/MC/X86/apx/cfcmov-att.s (revision 7b766a6f505577bbb7d2cd2c553b6207306c0df9)
1# RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s
2
3# CHECK: cfcmovbw	%r17w, %r21w, %r25w
4# CHECK: encoding: [0x62,0xec,0x35,0x14,0x42,0xe9]
5         cfcmovbw	%r17w, %r21w, %r25w
6
7# CHECK: cfcmovbw	%r17w, %r21w
8# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x42,0xcd]
9         cfcmovbw	%r17w, %r21w
10
11# CHECK: cfcmovbw	%r17w, 291(%r28,%r29,4)
12# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x42,0x8c,0xac,0x23,0x01,0x00,0x00]
13         cfcmovbw	%r17w, 291(%r28,%r29,4)
14
15# CHECK: cfcmovbl	%r18d, %r22d, %r26d
16# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x42,0xf2]
17         cfcmovbl	%r18d, %r22d, %r26d
18
19# CHECK: cfcmovbl	%r18d, %r22d
20# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x42,0xd6]
21         cfcmovbl	%r18d, %r22d
22
23# CHECK: cfcmovbl	%r18d, 291(%r28,%r29,4)
24# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x42,0x94,0xac,0x23,0x01,0x00,0x00]
25         cfcmovbl	%r18d, 291(%r28,%r29,4)
26
27# CHECK: cfcmovbq	%r19, %r23, %r27
28# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x42,0xfb]
29         cfcmovbq	%r19, %r23, %r27
30
31# CHECK: cfcmovbq	%r19, %r23
32# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x42,0xdf]
33         cfcmovbq	%r19, %r23
34
35# CHECK: cfcmovbq	%r19, 291(%r28,%r29,4)
36# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x42,0x9c,0xac,0x23,0x01,0x00,0x00]
37         cfcmovbq	%r19, 291(%r28,%r29,4)
38
39# CHECK: cfcmovbw	291(%r28,%r29,4), %r17w, %r21w
40# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x42,0x8c,0xac,0x23,0x01,0x00,0x00]
41         cfcmovbw	291(%r28,%r29,4), %r17w, %r21w
42
43# CHECK: cfcmovbw	291(%r28,%r29,4), %r17w
44# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x42,0x8c,0xac,0x23,0x01,0x00,0x00]
45         cfcmovbw	291(%r28,%r29,4), %r17w
46
47# CHECK: cfcmovbl	291(%r28,%r29,4), %r18d, %r22d
48# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x42,0x94,0xac,0x23,0x01,0x00,0x00]
49         cfcmovbl	291(%r28,%r29,4), %r18d, %r22d
50
51# CHECK: cfcmovbl	291(%r28,%r29,4), %r18d
52# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x42,0x94,0xac,0x23,0x01,0x00,0x00]
53         cfcmovbl	291(%r28,%r29,4), %r18d
54
55# CHECK: cfcmovbq	291(%r28,%r29,4), %r19, %r23
56# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x42,0x9c,0xac,0x23,0x01,0x00,0x00]
57         cfcmovbq	291(%r28,%r29,4), %r19, %r23
58
59# CHECK: cfcmovbq	291(%r28,%r29,4), %r19
60# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x42,0x9c,0xac,0x23,0x01,0x00,0x00]
61         cfcmovbq	291(%r28,%r29,4), %r19
62
63# CHECK: cfcmovbew	%r17w, %r21w, %r25w
64# CHECK: encoding: [0x62,0xec,0x35,0x14,0x46,0xe9]
65         cfcmovbew	%r17w, %r21w, %r25w
66
67# CHECK: cfcmovbew	%r17w, %r21w
68# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x46,0xcd]
69         cfcmovbew	%r17w, %r21w
70
71# CHECK: cfcmovbew	%r17w, 291(%r28,%r29,4)
72# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x46,0x8c,0xac,0x23,0x01,0x00,0x00]
73         cfcmovbew	%r17w, 291(%r28,%r29,4)
74
75# CHECK: cfcmovbel	%r18d, %r22d, %r26d
76# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x46,0xf2]
77         cfcmovbel	%r18d, %r22d, %r26d
78
79# CHECK: cfcmovbel	%r18d, %r22d
80# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x46,0xd6]
81         cfcmovbel	%r18d, %r22d
82
83# CHECK: cfcmovbel	%r18d, 291(%r28,%r29,4)
84# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x46,0x94,0xac,0x23,0x01,0x00,0x00]
85         cfcmovbel	%r18d, 291(%r28,%r29,4)
86
87# CHECK: cfcmovbeq	%r19, %r23, %r27
88# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x46,0xfb]
89         cfcmovbeq	%r19, %r23, %r27
90
91# CHECK: cfcmovbeq	%r19, %r23
92# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x46,0xdf]
93         cfcmovbeq	%r19, %r23
94
95# CHECK: cfcmovbeq	%r19, 291(%r28,%r29,4)
96# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x46,0x9c,0xac,0x23,0x01,0x00,0x00]
97         cfcmovbeq	%r19, 291(%r28,%r29,4)
98
99# CHECK: cfcmovbew	291(%r28,%r29,4), %r17w, %r21w
100# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x46,0x8c,0xac,0x23,0x01,0x00,0x00]
101         cfcmovbew	291(%r28,%r29,4), %r17w, %r21w
102
103# CHECK: cfcmovbew	291(%r28,%r29,4), %r17w
104# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x46,0x8c,0xac,0x23,0x01,0x00,0x00]
105         cfcmovbew	291(%r28,%r29,4), %r17w
106
107# CHECK: cfcmovbel	291(%r28,%r29,4), %r18d, %r22d
108# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x46,0x94,0xac,0x23,0x01,0x00,0x00]
109         cfcmovbel	291(%r28,%r29,4), %r18d, %r22d
110
111# CHECK: cfcmovbel	291(%r28,%r29,4), %r18d
112# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x46,0x94,0xac,0x23,0x01,0x00,0x00]
113         cfcmovbel	291(%r28,%r29,4), %r18d
114
115# CHECK: cfcmovbeq	291(%r28,%r29,4), %r19, %r23
116# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x46,0x9c,0xac,0x23,0x01,0x00,0x00]
117         cfcmovbeq	291(%r28,%r29,4), %r19, %r23
118
119# CHECK: cfcmovbeq	291(%r28,%r29,4), %r19
120# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x46,0x9c,0xac,0x23,0x01,0x00,0x00]
121         cfcmovbeq	291(%r28,%r29,4), %r19
122
123# CHECK: cfcmovlw	%r17w, %r21w, %r25w
124# CHECK: encoding: [0x62,0xec,0x35,0x14,0x4c,0xe9]
125         cfcmovlw	%r17w, %r21w, %r25w
126
127# CHECK: cfcmovlw	%r17w, %r21w
128# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x4c,0xcd]
129         cfcmovlw	%r17w, %r21w
130
131# CHECK: cfcmovlw	%r17w, 291(%r28,%r29,4)
132# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x4c,0x8c,0xac,0x23,0x01,0x00,0x00]
133         cfcmovlw	%r17w, 291(%r28,%r29,4)
134
135# CHECK: cfcmovll	%r18d, %r22d, %r26d
136# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x4c,0xf2]
137         cfcmovll	%r18d, %r22d, %r26d
138
139# CHECK: cfcmovll	%r18d, %r22d
140# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x4c,0xd6]
141         cfcmovll	%r18d, %r22d
142
143# CHECK: cfcmovll	%r18d, 291(%r28,%r29,4)
144# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x4c,0x94,0xac,0x23,0x01,0x00,0x00]
145         cfcmovll	%r18d, 291(%r28,%r29,4)
146
147# CHECK: cfcmovlq	%r19, %r23, %r27
148# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x4c,0xfb]
149         cfcmovlq	%r19, %r23, %r27
150
151# CHECK: cfcmovlq	%r19, %r23
152# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x4c,0xdf]
153         cfcmovlq	%r19, %r23
154
155# CHECK: cfcmovlq	%r19, 291(%r28,%r29,4)
156# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x4c,0x9c,0xac,0x23,0x01,0x00,0x00]
157         cfcmovlq	%r19, 291(%r28,%r29,4)
158
159# CHECK: cfcmovlw	291(%r28,%r29,4), %r17w, %r21w
160# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x4c,0x8c,0xac,0x23,0x01,0x00,0x00]
161         cfcmovlw	291(%r28,%r29,4), %r17w, %r21w
162
163# CHECK: cfcmovlw	291(%r28,%r29,4), %r17w
164# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x4c,0x8c,0xac,0x23,0x01,0x00,0x00]
165         cfcmovlw	291(%r28,%r29,4), %r17w
166
167# CHECK: cfcmovll	291(%r28,%r29,4), %r18d, %r22d
168# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x4c,0x94,0xac,0x23,0x01,0x00,0x00]
169         cfcmovll	291(%r28,%r29,4), %r18d, %r22d
170
171# CHECK: cfcmovll	291(%r28,%r29,4), %r18d
172# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x4c,0x94,0xac,0x23,0x01,0x00,0x00]
173         cfcmovll	291(%r28,%r29,4), %r18d
174
175# CHECK: cfcmovlq	291(%r28,%r29,4), %r19, %r23
176# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x4c,0x9c,0xac,0x23,0x01,0x00,0x00]
177         cfcmovlq	291(%r28,%r29,4), %r19, %r23
178
179# CHECK: cfcmovlq	291(%r28,%r29,4), %r19
180# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x4c,0x9c,0xac,0x23,0x01,0x00,0x00]
181         cfcmovlq	291(%r28,%r29,4), %r19
182
183# CHECK: cfcmovlew	%r17w, %r21w, %r25w
184# CHECK: encoding: [0x62,0xec,0x35,0x14,0x4e,0xe9]
185         cfcmovlew	%r17w, %r21w, %r25w
186
187# CHECK: cfcmovlew	%r17w, %r21w
188# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x4e,0xcd]
189         cfcmovlew	%r17w, %r21w
190
191# CHECK: cfcmovlew	%r17w, 291(%r28,%r29,4)
192# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x4e,0x8c,0xac,0x23,0x01,0x00,0x00]
193         cfcmovlew	%r17w, 291(%r28,%r29,4)
194
195# CHECK: cfcmovlel	%r18d, %r22d, %r26d
196# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x4e,0xf2]
197         cfcmovlel	%r18d, %r22d, %r26d
198
199# CHECK: cfcmovlel	%r18d, %r22d
200# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x4e,0xd6]
201         cfcmovlel	%r18d, %r22d
202
203# CHECK: cfcmovlel	%r18d, 291(%r28,%r29,4)
204# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x4e,0x94,0xac,0x23,0x01,0x00,0x00]
205         cfcmovlel	%r18d, 291(%r28,%r29,4)
206
207# CHECK: cfcmovleq	%r19, %r23, %r27
208# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x4e,0xfb]
209         cfcmovleq	%r19, %r23, %r27
210
211# CHECK: cfcmovleq	%r19, %r23
212# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x4e,0xdf]
213         cfcmovleq	%r19, %r23
214
215# CHECK: cfcmovleq	%r19, 291(%r28,%r29,4)
216# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x4e,0x9c,0xac,0x23,0x01,0x00,0x00]
217         cfcmovleq	%r19, 291(%r28,%r29,4)
218
219# CHECK: cfcmovlew	291(%r28,%r29,4), %r17w, %r21w
220# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x4e,0x8c,0xac,0x23,0x01,0x00,0x00]
221         cfcmovlew	291(%r28,%r29,4), %r17w, %r21w
222
223# CHECK: cfcmovlew	291(%r28,%r29,4), %r17w
224# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x4e,0x8c,0xac,0x23,0x01,0x00,0x00]
225         cfcmovlew	291(%r28,%r29,4), %r17w
226
227# CHECK: cfcmovlel	291(%r28,%r29,4), %r18d, %r22d
228# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x4e,0x94,0xac,0x23,0x01,0x00,0x00]
229         cfcmovlel	291(%r28,%r29,4), %r18d, %r22d
230
231# CHECK: cfcmovlel	291(%r28,%r29,4), %r18d
232# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x4e,0x94,0xac,0x23,0x01,0x00,0x00]
233         cfcmovlel	291(%r28,%r29,4), %r18d
234
235# CHECK: cfcmovleq	291(%r28,%r29,4), %r19, %r23
236# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x4e,0x9c,0xac,0x23,0x01,0x00,0x00]
237         cfcmovleq	291(%r28,%r29,4), %r19, %r23
238
239# CHECK: cfcmovleq	291(%r28,%r29,4), %r19
240# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x4e,0x9c,0xac,0x23,0x01,0x00,0x00]
241         cfcmovleq	291(%r28,%r29,4), %r19
242
243# CHECK: cfcmovaew	%r17w, %r21w, %r25w
244# CHECK: encoding: [0x62,0xec,0x35,0x14,0x43,0xe9]
245         cfcmovaew	%r17w, %r21w, %r25w
246
247# CHECK: cfcmovaew	%r17w, %r21w
248# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x43,0xcd]
249         cfcmovaew	%r17w, %r21w
250
251# CHECK: cfcmovaew	%r17w, 291(%r28,%r29,4)
252# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x43,0x8c,0xac,0x23,0x01,0x00,0x00]
253         cfcmovaew	%r17w, 291(%r28,%r29,4)
254
255# CHECK: cfcmovael	%r18d, %r22d, %r26d
256# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x43,0xf2]
257         cfcmovael	%r18d, %r22d, %r26d
258
259# CHECK: cfcmovael	%r18d, %r22d
260# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x43,0xd6]
261         cfcmovael	%r18d, %r22d
262
263# CHECK: cfcmovael	%r18d, 291(%r28,%r29,4)
264# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x43,0x94,0xac,0x23,0x01,0x00,0x00]
265         cfcmovael	%r18d, 291(%r28,%r29,4)
266
267# CHECK: cfcmovaeq	%r19, %r23, %r27
268# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x43,0xfb]
269         cfcmovaeq	%r19, %r23, %r27
270
271# CHECK: cfcmovaeq	%r19, %r23
272# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x43,0xdf]
273         cfcmovaeq	%r19, %r23
274
275# CHECK: cfcmovaeq	%r19, 291(%r28,%r29,4)
276# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x43,0x9c,0xac,0x23,0x01,0x00,0x00]
277         cfcmovaeq	%r19, 291(%r28,%r29,4)
278
279# CHECK: cfcmovaew	291(%r28,%r29,4), %r17w, %r21w
280# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x43,0x8c,0xac,0x23,0x01,0x00,0x00]
281         cfcmovaew	291(%r28,%r29,4), %r17w, %r21w
282
283# CHECK: cfcmovaew	291(%r28,%r29,4), %r17w
284# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x43,0x8c,0xac,0x23,0x01,0x00,0x00]
285         cfcmovaew	291(%r28,%r29,4), %r17w
286
287# CHECK: cfcmovael	291(%r28,%r29,4), %r18d, %r22d
288# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x43,0x94,0xac,0x23,0x01,0x00,0x00]
289         cfcmovael	291(%r28,%r29,4), %r18d, %r22d
290
291# CHECK: cfcmovael	291(%r28,%r29,4), %r18d
292# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x43,0x94,0xac,0x23,0x01,0x00,0x00]
293         cfcmovael	291(%r28,%r29,4), %r18d
294
295# CHECK: cfcmovaeq	291(%r28,%r29,4), %r19, %r23
296# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x43,0x9c,0xac,0x23,0x01,0x00,0x00]
297         cfcmovaeq	291(%r28,%r29,4), %r19, %r23
298
299# CHECK: cfcmovaeq	291(%r28,%r29,4), %r19
300# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x43,0x9c,0xac,0x23,0x01,0x00,0x00]
301         cfcmovaeq	291(%r28,%r29,4), %r19
302
303# CHECK: cfcmovaw	%r17w, %r21w, %r25w
304# CHECK: encoding: [0x62,0xec,0x35,0x14,0x47,0xe9]
305         cfcmovaw	%r17w, %r21w, %r25w
306
307# CHECK: cfcmovaw	%r17w, %r21w
308# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x47,0xcd]
309         cfcmovaw	%r17w, %r21w
310
311# CHECK: cfcmovaw	%r17w, 291(%r28,%r29,4)
312# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x47,0x8c,0xac,0x23,0x01,0x00,0x00]
313         cfcmovaw	%r17w, 291(%r28,%r29,4)
314
315# CHECK: cfcmoval	%r18d, %r22d, %r26d
316# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x47,0xf2]
317         cfcmoval	%r18d, %r22d, %r26d
318
319# CHECK: cfcmoval	%r18d, %r22d
320# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x47,0xd6]
321         cfcmoval	%r18d, %r22d
322
323# CHECK: cfcmoval	%r18d, 291(%r28,%r29,4)
324# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x47,0x94,0xac,0x23,0x01,0x00,0x00]
325         cfcmoval	%r18d, 291(%r28,%r29,4)
326
327# CHECK: cfcmovaq	%r19, %r23, %r27
328# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x47,0xfb]
329         cfcmovaq	%r19, %r23, %r27
330
331# CHECK: cfcmovaq	%r19, %r23
332# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x47,0xdf]
333         cfcmovaq	%r19, %r23
334
335# CHECK: cfcmovaq	%r19, 291(%r28,%r29,4)
336# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x47,0x9c,0xac,0x23,0x01,0x00,0x00]
337         cfcmovaq	%r19, 291(%r28,%r29,4)
338
339# CHECK: cfcmovaw	291(%r28,%r29,4), %r17w, %r21w
340# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x47,0x8c,0xac,0x23,0x01,0x00,0x00]
341         cfcmovaw	291(%r28,%r29,4), %r17w, %r21w
342
343# CHECK: cfcmovaw	291(%r28,%r29,4), %r17w
344# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x47,0x8c,0xac,0x23,0x01,0x00,0x00]
345         cfcmovaw	291(%r28,%r29,4), %r17w
346
347# CHECK: cfcmoval	291(%r28,%r29,4), %r18d, %r22d
348# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x47,0x94,0xac,0x23,0x01,0x00,0x00]
349         cfcmoval	291(%r28,%r29,4), %r18d, %r22d
350
351# CHECK: cfcmoval	291(%r28,%r29,4), %r18d
352# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x47,0x94,0xac,0x23,0x01,0x00,0x00]
353         cfcmoval	291(%r28,%r29,4), %r18d
354
355# CHECK: cfcmovaq	291(%r28,%r29,4), %r19, %r23
356# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x47,0x9c,0xac,0x23,0x01,0x00,0x00]
357         cfcmovaq	291(%r28,%r29,4), %r19, %r23
358
359# CHECK: cfcmovaq	291(%r28,%r29,4), %r19
360# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x47,0x9c,0xac,0x23,0x01,0x00,0x00]
361         cfcmovaq	291(%r28,%r29,4), %r19
362
363# CHECK: cfcmovgew	%r17w, %r21w, %r25w
364# CHECK: encoding: [0x62,0xec,0x35,0x14,0x4d,0xe9]
365         cfcmovgew	%r17w, %r21w, %r25w
366
367# CHECK: cfcmovgew	%r17w, %r21w
368# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x4d,0xcd]
369         cfcmovgew	%r17w, %r21w
370
371# CHECK: cfcmovgew	%r17w, 291(%r28,%r29,4)
372# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x4d,0x8c,0xac,0x23,0x01,0x00,0x00]
373         cfcmovgew	%r17w, 291(%r28,%r29,4)
374
375# CHECK: cfcmovgel	%r18d, %r22d, %r26d
376# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x4d,0xf2]
377         cfcmovgel	%r18d, %r22d, %r26d
378
379# CHECK: cfcmovgel	%r18d, %r22d
380# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x4d,0xd6]
381         cfcmovgel	%r18d, %r22d
382
383# CHECK: cfcmovgel	%r18d, 291(%r28,%r29,4)
384# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x4d,0x94,0xac,0x23,0x01,0x00,0x00]
385         cfcmovgel	%r18d, 291(%r28,%r29,4)
386
387# CHECK: cfcmovgeq	%r19, %r23, %r27
388# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x4d,0xfb]
389         cfcmovgeq	%r19, %r23, %r27
390
391# CHECK: cfcmovgeq	%r19, %r23
392# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x4d,0xdf]
393         cfcmovgeq	%r19, %r23
394
395# CHECK: cfcmovgeq	%r19, 291(%r28,%r29,4)
396# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x4d,0x9c,0xac,0x23,0x01,0x00,0x00]
397         cfcmovgeq	%r19, 291(%r28,%r29,4)
398
399# CHECK: cfcmovgew	291(%r28,%r29,4), %r17w, %r21w
400# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x4d,0x8c,0xac,0x23,0x01,0x00,0x00]
401         cfcmovgew	291(%r28,%r29,4), %r17w, %r21w
402
403# CHECK: cfcmovgew	291(%r28,%r29,4), %r17w
404# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x4d,0x8c,0xac,0x23,0x01,0x00,0x00]
405         cfcmovgew	291(%r28,%r29,4), %r17w
406
407# CHECK: cfcmovgel	291(%r28,%r29,4), %r18d, %r22d
408# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x4d,0x94,0xac,0x23,0x01,0x00,0x00]
409         cfcmovgel	291(%r28,%r29,4), %r18d, %r22d
410
411# CHECK: cfcmovgel	291(%r28,%r29,4), %r18d
412# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x4d,0x94,0xac,0x23,0x01,0x00,0x00]
413         cfcmovgel	291(%r28,%r29,4), %r18d
414
415# CHECK: cfcmovgeq	291(%r28,%r29,4), %r19, %r23
416# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x4d,0x9c,0xac,0x23,0x01,0x00,0x00]
417         cfcmovgeq	291(%r28,%r29,4), %r19, %r23
418
419# CHECK: cfcmovgeq	291(%r28,%r29,4), %r19
420# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x4d,0x9c,0xac,0x23,0x01,0x00,0x00]
421         cfcmovgeq	291(%r28,%r29,4), %r19
422
423# CHECK: cfcmovnow	%r17w, %r21w, %r25w
424# CHECK: encoding: [0x62,0xec,0x35,0x14,0x41,0xe9]
425         cfcmovnow	%r17w, %r21w, %r25w
426
427# CHECK: cfcmovnow	%r17w, %r21w
428# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x41,0xcd]
429         cfcmovnow	%r17w, %r21w
430
431# CHECK: cfcmovnow	%r17w, 291(%r28,%r29,4)
432# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x41,0x8c,0xac,0x23,0x01,0x00,0x00]
433         cfcmovnow	%r17w, 291(%r28,%r29,4)
434
435# CHECK: cfcmovnol	%r18d, %r22d, %r26d
436# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x41,0xf2]
437         cfcmovnol	%r18d, %r22d, %r26d
438
439# CHECK: cfcmovnol	%r18d, %r22d
440# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x41,0xd6]
441         cfcmovnol	%r18d, %r22d
442
443# CHECK: cfcmovnol	%r18d, 291(%r28,%r29,4)
444# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x41,0x94,0xac,0x23,0x01,0x00,0x00]
445         cfcmovnol	%r18d, 291(%r28,%r29,4)
446
447# CHECK: cfcmovnoq	%r19, %r23, %r27
448# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x41,0xfb]
449         cfcmovnoq	%r19, %r23, %r27
450
451# CHECK: cfcmovnoq	%r19, %r23
452# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x41,0xdf]
453         cfcmovnoq	%r19, %r23
454
455# CHECK: cfcmovnoq	%r19, 291(%r28,%r29,4)
456# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x41,0x9c,0xac,0x23,0x01,0x00,0x00]
457         cfcmovnoq	%r19, 291(%r28,%r29,4)
458
459# CHECK: cfcmovnow	291(%r28,%r29,4), %r17w, %r21w
460# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x41,0x8c,0xac,0x23,0x01,0x00,0x00]
461         cfcmovnow	291(%r28,%r29,4), %r17w, %r21w
462
463# CHECK: cfcmovnow	291(%r28,%r29,4), %r17w
464# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x41,0x8c,0xac,0x23,0x01,0x00,0x00]
465         cfcmovnow	291(%r28,%r29,4), %r17w
466
467# CHECK: cfcmovnol	291(%r28,%r29,4), %r18d, %r22d
468# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x41,0x94,0xac,0x23,0x01,0x00,0x00]
469         cfcmovnol	291(%r28,%r29,4), %r18d, %r22d
470
471# CHECK: cfcmovnol	291(%r28,%r29,4), %r18d
472# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x41,0x94,0xac,0x23,0x01,0x00,0x00]
473         cfcmovnol	291(%r28,%r29,4), %r18d
474
475# CHECK: cfcmovnoq	291(%r28,%r29,4), %r19, %r23
476# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x41,0x9c,0xac,0x23,0x01,0x00,0x00]
477         cfcmovnoq	291(%r28,%r29,4), %r19, %r23
478
479# CHECK: cfcmovnoq	291(%r28,%r29,4), %r19
480# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x41,0x9c,0xac,0x23,0x01,0x00,0x00]
481         cfcmovnoq	291(%r28,%r29,4), %r19
482
483# CHECK: cfcmovnpw	%r17w, %r21w, %r25w
484# CHECK: encoding: [0x62,0xec,0x35,0x14,0x4b,0xe9]
485         cfcmovnpw	%r17w, %r21w, %r25w
486
487# CHECK: cfcmovnpw	%r17w, %r21w
488# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x4b,0xcd]
489         cfcmovnpw	%r17w, %r21w
490
491# CHECK: cfcmovnpw	%r17w, 291(%r28,%r29,4)
492# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x4b,0x8c,0xac,0x23,0x01,0x00,0x00]
493         cfcmovnpw	%r17w, 291(%r28,%r29,4)
494
495# CHECK: cfcmovnpl	%r18d, %r22d, %r26d
496# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x4b,0xf2]
497         cfcmovnpl	%r18d, %r22d, %r26d
498
499# CHECK: cfcmovnpl	%r18d, %r22d
500# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x4b,0xd6]
501         cfcmovnpl	%r18d, %r22d
502
503# CHECK: cfcmovnpl	%r18d, 291(%r28,%r29,4)
504# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x4b,0x94,0xac,0x23,0x01,0x00,0x00]
505         cfcmovnpl	%r18d, 291(%r28,%r29,4)
506
507# CHECK: cfcmovnpq	%r19, %r23, %r27
508# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x4b,0xfb]
509         cfcmovnpq	%r19, %r23, %r27
510
511# CHECK: cfcmovnpq	%r19, %r23
512# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x4b,0xdf]
513         cfcmovnpq	%r19, %r23
514
515# CHECK: cfcmovnpq	%r19, 291(%r28,%r29,4)
516# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x4b,0x9c,0xac,0x23,0x01,0x00,0x00]
517         cfcmovnpq	%r19, 291(%r28,%r29,4)
518
519# CHECK: cfcmovnpw	291(%r28,%r29,4), %r17w, %r21w
520# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x4b,0x8c,0xac,0x23,0x01,0x00,0x00]
521         cfcmovnpw	291(%r28,%r29,4), %r17w, %r21w
522
523# CHECK: cfcmovnpw	291(%r28,%r29,4), %r17w
524# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x4b,0x8c,0xac,0x23,0x01,0x00,0x00]
525         cfcmovnpw	291(%r28,%r29,4), %r17w
526
527# CHECK: cfcmovnpl	291(%r28,%r29,4), %r18d, %r22d
528# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x4b,0x94,0xac,0x23,0x01,0x00,0x00]
529         cfcmovnpl	291(%r28,%r29,4), %r18d, %r22d
530
531# CHECK: cfcmovnpl	291(%r28,%r29,4), %r18d
532# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x4b,0x94,0xac,0x23,0x01,0x00,0x00]
533         cfcmovnpl	291(%r28,%r29,4), %r18d
534
535# CHECK: cfcmovnpq	291(%r28,%r29,4), %r19, %r23
536# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x4b,0x9c,0xac,0x23,0x01,0x00,0x00]
537         cfcmovnpq	291(%r28,%r29,4), %r19, %r23
538
539# CHECK: cfcmovnpq	291(%r28,%r29,4), %r19
540# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x4b,0x9c,0xac,0x23,0x01,0x00,0x00]
541         cfcmovnpq	291(%r28,%r29,4), %r19
542
543# CHECK: cfcmovnsw	%r17w, %r21w, %r25w
544# CHECK: encoding: [0x62,0xec,0x35,0x14,0x49,0xe9]
545         cfcmovnsw	%r17w, %r21w, %r25w
546
547# CHECK: cfcmovnsw	%r17w, %r21w
548# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x49,0xcd]
549         cfcmovnsw	%r17w, %r21w
550
551# CHECK: cfcmovnsw	%r17w, 291(%r28,%r29,4)
552# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x49,0x8c,0xac,0x23,0x01,0x00,0x00]
553         cfcmovnsw	%r17w, 291(%r28,%r29,4)
554
555# CHECK: cfcmovnsl	%r18d, %r22d, %r26d
556# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x49,0xf2]
557         cfcmovnsl	%r18d, %r22d, %r26d
558
559# CHECK: cfcmovnsl	%r18d, %r22d
560# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x49,0xd6]
561         cfcmovnsl	%r18d, %r22d
562
563# CHECK: cfcmovnsl	%r18d, 291(%r28,%r29,4)
564# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x49,0x94,0xac,0x23,0x01,0x00,0x00]
565         cfcmovnsl	%r18d, 291(%r28,%r29,4)
566
567# CHECK: cfcmovnsq	%r19, %r23, %r27
568# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x49,0xfb]
569         cfcmovnsq	%r19, %r23, %r27
570
571# CHECK: cfcmovnsq	%r19, %r23
572# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x49,0xdf]
573         cfcmovnsq	%r19, %r23
574
575# CHECK: cfcmovnsq	%r19, 291(%r28,%r29,4)
576# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x49,0x9c,0xac,0x23,0x01,0x00,0x00]
577         cfcmovnsq	%r19, 291(%r28,%r29,4)
578
579# CHECK: cfcmovnsw	291(%r28,%r29,4), %r17w, %r21w
580# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x49,0x8c,0xac,0x23,0x01,0x00,0x00]
581         cfcmovnsw	291(%r28,%r29,4), %r17w, %r21w
582
583# CHECK: cfcmovnsw	291(%r28,%r29,4), %r17w
584# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x49,0x8c,0xac,0x23,0x01,0x00,0x00]
585         cfcmovnsw	291(%r28,%r29,4), %r17w
586
587# CHECK: cfcmovnsl	291(%r28,%r29,4), %r18d, %r22d
588# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x49,0x94,0xac,0x23,0x01,0x00,0x00]
589         cfcmovnsl	291(%r28,%r29,4), %r18d, %r22d
590
591# CHECK: cfcmovnsl	291(%r28,%r29,4), %r18d
592# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x49,0x94,0xac,0x23,0x01,0x00,0x00]
593         cfcmovnsl	291(%r28,%r29,4), %r18d
594
595# CHECK: cfcmovnsq	291(%r28,%r29,4), %r19, %r23
596# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x49,0x9c,0xac,0x23,0x01,0x00,0x00]
597         cfcmovnsq	291(%r28,%r29,4), %r19, %r23
598
599# CHECK: cfcmovnsq	291(%r28,%r29,4), %r19
600# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x49,0x9c,0xac,0x23,0x01,0x00,0x00]
601         cfcmovnsq	291(%r28,%r29,4), %r19
602
603# CHECK: cfcmovnew	%r17w, %r21w, %r25w
604# CHECK: encoding: [0x62,0xec,0x35,0x14,0x45,0xe9]
605         cfcmovnew	%r17w, %r21w, %r25w
606
607# CHECK: cfcmovnew	%r17w, %r21w
608# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x45,0xcd]
609         cfcmovnew	%r17w, %r21w
610
611# CHECK: cfcmovnew	%r17w, 291(%r28,%r29,4)
612# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x45,0x8c,0xac,0x23,0x01,0x00,0x00]
613         cfcmovnew	%r17w, 291(%r28,%r29,4)
614
615# CHECK: cfcmovnel	%r18d, %r22d, %r26d
616# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x45,0xf2]
617         cfcmovnel	%r18d, %r22d, %r26d
618
619# CHECK: cfcmovnel	%r18d, %r22d
620# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x45,0xd6]
621         cfcmovnel	%r18d, %r22d
622
623# CHECK: cfcmovnel	%r18d, 291(%r28,%r29,4)
624# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x45,0x94,0xac,0x23,0x01,0x00,0x00]
625         cfcmovnel	%r18d, 291(%r28,%r29,4)
626
627# CHECK: cfcmovneq	%r19, %r23, %r27
628# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x45,0xfb]
629         cfcmovneq	%r19, %r23, %r27
630
631# CHECK: cfcmovneq	%r19, %r23
632# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x45,0xdf]
633         cfcmovneq	%r19, %r23
634
635# CHECK: cfcmovneq	%r19, 291(%r28,%r29,4)
636# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x45,0x9c,0xac,0x23,0x01,0x00,0x00]
637         cfcmovneq	%r19, 291(%r28,%r29,4)
638
639# CHECK: cfcmovnew	291(%r28,%r29,4), %r17w, %r21w
640# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x45,0x8c,0xac,0x23,0x01,0x00,0x00]
641         cfcmovnew	291(%r28,%r29,4), %r17w, %r21w
642
643# CHECK: cfcmovnew	291(%r28,%r29,4), %r17w
644# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x45,0x8c,0xac,0x23,0x01,0x00,0x00]
645         cfcmovnew	291(%r28,%r29,4), %r17w
646
647# CHECK: cfcmovnel	291(%r28,%r29,4), %r18d, %r22d
648# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x45,0x94,0xac,0x23,0x01,0x00,0x00]
649         cfcmovnel	291(%r28,%r29,4), %r18d, %r22d
650
651# CHECK: cfcmovnel	291(%r28,%r29,4), %r18d
652# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x45,0x94,0xac,0x23,0x01,0x00,0x00]
653         cfcmovnel	291(%r28,%r29,4), %r18d
654
655# CHECK: cfcmovneq	291(%r28,%r29,4), %r19, %r23
656# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x45,0x9c,0xac,0x23,0x01,0x00,0x00]
657         cfcmovneq	291(%r28,%r29,4), %r19, %r23
658
659# CHECK: cfcmovneq	291(%r28,%r29,4), %r19
660# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x45,0x9c,0xac,0x23,0x01,0x00,0x00]
661         cfcmovneq	291(%r28,%r29,4), %r19
662
663# CHECK: cfcmovpw	%r17w, %r21w, %r25w
664# CHECK: encoding: [0x62,0xec,0x35,0x14,0x4a,0xe9]
665         cfcmovpw	%r17w, %r21w, %r25w
666
667# CHECK: cfcmovpw	%r17w, %r21w
668# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x4a,0xcd]
669         cfcmovpw	%r17w, %r21w
670
671# CHECK: cfcmovpw	%r17w, 291(%r28,%r29,4)
672# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x4a,0x8c,0xac,0x23,0x01,0x00,0x00]
673         cfcmovpw	%r17w, 291(%r28,%r29,4)
674
675# CHECK: cfcmovpl	%r18d, %r22d, %r26d
676# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x4a,0xf2]
677         cfcmovpl	%r18d, %r22d, %r26d
678
679# CHECK: cfcmovpl	%r18d, %r22d
680# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x4a,0xd6]
681         cfcmovpl	%r18d, %r22d
682
683# CHECK: cfcmovpl	%r18d, 291(%r28,%r29,4)
684# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x4a,0x94,0xac,0x23,0x01,0x00,0x00]
685         cfcmovpl	%r18d, 291(%r28,%r29,4)
686
687# CHECK: cfcmovpq	%r19, %r23, %r27
688# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x4a,0xfb]
689         cfcmovpq	%r19, %r23, %r27
690
691# CHECK: cfcmovpq	%r19, %r23
692# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x4a,0xdf]
693         cfcmovpq	%r19, %r23
694
695# CHECK: cfcmovpq	%r19, 291(%r28,%r29,4)
696# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x4a,0x9c,0xac,0x23,0x01,0x00,0x00]
697         cfcmovpq	%r19, 291(%r28,%r29,4)
698
699# CHECK: cfcmovpw	291(%r28,%r29,4), %r17w, %r21w
700# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x4a,0x8c,0xac,0x23,0x01,0x00,0x00]
701         cfcmovpw	291(%r28,%r29,4), %r17w, %r21w
702
703# CHECK: cfcmovpw	291(%r28,%r29,4), %r17w
704# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x4a,0x8c,0xac,0x23,0x01,0x00,0x00]
705         cfcmovpw	291(%r28,%r29,4), %r17w
706
707# CHECK: cfcmovpl	291(%r28,%r29,4), %r18d, %r22d
708# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x4a,0x94,0xac,0x23,0x01,0x00,0x00]
709         cfcmovpl	291(%r28,%r29,4), %r18d, %r22d
710
711# CHECK: cfcmovpl	291(%r28,%r29,4), %r18d
712# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x4a,0x94,0xac,0x23,0x01,0x00,0x00]
713         cfcmovpl	291(%r28,%r29,4), %r18d
714
715# CHECK: cfcmovpq	291(%r28,%r29,4), %r19, %r23
716# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x4a,0x9c,0xac,0x23,0x01,0x00,0x00]
717         cfcmovpq	291(%r28,%r29,4), %r19, %r23
718
719# CHECK: cfcmovpq	291(%r28,%r29,4), %r19
720# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x4a,0x9c,0xac,0x23,0x01,0x00,0x00]
721         cfcmovpq	291(%r28,%r29,4), %r19
722
723# CHECK: cfcmovsw	%r17w, %r21w, %r25w
724# CHECK: encoding: [0x62,0xec,0x35,0x14,0x48,0xe9]
725         cfcmovsw	%r17w, %r21w, %r25w
726
727# CHECK: cfcmovsw	%r17w, %r21w
728# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x48,0xcd]
729         cfcmovsw	%r17w, %r21w
730
731# CHECK: cfcmovsw	%r17w, 291(%r28,%r29,4)
732# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x48,0x8c,0xac,0x23,0x01,0x00,0x00]
733         cfcmovsw	%r17w, 291(%r28,%r29,4)
734
735# CHECK: cfcmovsl	%r18d, %r22d, %r26d
736# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x48,0xf2]
737         cfcmovsl	%r18d, %r22d, %r26d
738
739# CHECK: cfcmovsl	%r18d, %r22d
740# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x48,0xd6]
741         cfcmovsl	%r18d, %r22d
742
743# CHECK: cfcmovsl	%r18d, 291(%r28,%r29,4)
744# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x48,0x94,0xac,0x23,0x01,0x00,0x00]
745         cfcmovsl	%r18d, 291(%r28,%r29,4)
746
747# CHECK: cfcmovsq	%r19, %r23, %r27
748# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x48,0xfb]
749         cfcmovsq	%r19, %r23, %r27
750
751# CHECK: cfcmovsq	%r19, %r23
752# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x48,0xdf]
753         cfcmovsq	%r19, %r23
754
755# CHECK: cfcmovsq	%r19, 291(%r28,%r29,4)
756# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x48,0x9c,0xac,0x23,0x01,0x00,0x00]
757         cfcmovsq	%r19, 291(%r28,%r29,4)
758
759# CHECK: cfcmovsw	291(%r28,%r29,4), %r17w, %r21w
760# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x48,0x8c,0xac,0x23,0x01,0x00,0x00]
761         cfcmovsw	291(%r28,%r29,4), %r17w, %r21w
762
763# CHECK: cfcmovsw	291(%r28,%r29,4), %r17w
764# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x48,0x8c,0xac,0x23,0x01,0x00,0x00]
765         cfcmovsw	291(%r28,%r29,4), %r17w
766
767# CHECK: cfcmovsl	291(%r28,%r29,4), %r18d, %r22d
768# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x48,0x94,0xac,0x23,0x01,0x00,0x00]
769         cfcmovsl	291(%r28,%r29,4), %r18d, %r22d
770
771# CHECK: cfcmovsl	291(%r28,%r29,4), %r18d
772# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x48,0x94,0xac,0x23,0x01,0x00,0x00]
773         cfcmovsl	291(%r28,%r29,4), %r18d
774
775# CHECK: cfcmovsq	291(%r28,%r29,4), %r19, %r23
776# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x48,0x9c,0xac,0x23,0x01,0x00,0x00]
777         cfcmovsq	291(%r28,%r29,4), %r19, %r23
778
779# CHECK: cfcmovsq	291(%r28,%r29,4), %r19
780# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x48,0x9c,0xac,0x23,0x01,0x00,0x00]
781         cfcmovsq	291(%r28,%r29,4), %r19
782
783# CHECK: cfcmovew	%r17w, %r21w, %r25w
784# CHECK: encoding: [0x62,0xec,0x35,0x14,0x44,0xe9]
785         cfcmovew	%r17w, %r21w, %r25w
786
787# CHECK: cfcmovew	%r17w, %r21w
788# CHECK: encoding: [0x62,0xec,0x7d,0x0c,0x44,0xcd]
789         cfcmovew	%r17w, %r21w
790
791# CHECK: cfcmovew	%r17w, 291(%r28,%r29,4)
792# CHECK: encoding: [0x62,0x8c,0x79,0x0c,0x44,0x8c,0xac,0x23,0x01,0x00,0x00]
793         cfcmovew	%r17w, 291(%r28,%r29,4)
794
795# CHECK: cfcmovel	%r18d, %r22d, %r26d
796# CHECK: encoding: [0x62,0xec,0x2c,0x14,0x44,0xf2]
797         cfcmovel	%r18d, %r22d, %r26d
798
799# CHECK: cfcmovel	%r18d, %r22d
800# CHECK: encoding: [0x62,0xec,0x7c,0x0c,0x44,0xd6]
801         cfcmovel	%r18d, %r22d
802
803# CHECK: cfcmovel	%r18d, 291(%r28,%r29,4)
804# CHECK: encoding: [0x62,0x8c,0x78,0x0c,0x44,0x94,0xac,0x23,0x01,0x00,0x00]
805         cfcmovel	%r18d, 291(%r28,%r29,4)
806
807# CHECK: cfcmoveq	%r19, %r23, %r27
808# CHECK: encoding: [0x62,0xec,0xa4,0x14,0x44,0xfb]
809         cfcmoveq	%r19, %r23, %r27
810
811# CHECK: cfcmoveq	%r19, %r23
812# CHECK: encoding: [0x62,0xec,0xfc,0x0c,0x44,0xdf]
813         cfcmoveq	%r19, %r23
814
815# CHECK: cfcmoveq	%r19, 291(%r28,%r29,4)
816# CHECK: encoding: [0x62,0x8c,0xf8,0x0c,0x44,0x9c,0xac,0x23,0x01,0x00,0x00]
817         cfcmoveq	%r19, 291(%r28,%r29,4)
818
819# CHECK: cfcmovew	291(%r28,%r29,4), %r17w, %r21w
820# CHECK: encoding: [0x62,0x8c,0x51,0x14,0x44,0x8c,0xac,0x23,0x01,0x00,0x00]
821         cfcmovew	291(%r28,%r29,4), %r17w, %r21w
822
823# CHECK: cfcmovew	291(%r28,%r29,4), %r17w
824# CHECK: encoding: [0x62,0x8c,0x79,0x08,0x44,0x8c,0xac,0x23,0x01,0x00,0x00]
825         cfcmovew	291(%r28,%r29,4), %r17w
826
827# CHECK: cfcmovel	291(%r28,%r29,4), %r18d, %r22d
828# CHECK: encoding: [0x62,0x8c,0x48,0x14,0x44,0x94,0xac,0x23,0x01,0x00,0x00]
829         cfcmovel	291(%r28,%r29,4), %r18d, %r22d
830
831# CHECK: cfcmovel	291(%r28,%r29,4), %r18d
832# CHECK: encoding: [0x62,0x8c,0x78,0x08,0x44,0x94,0xac,0x23,0x01,0x00,0x00]
833         cfcmovel	291(%r28,%r29,4), %r18d
834
835# CHECK: cfcmoveq	291(%r28,%r29,4), %r19, %r23
836# CHECK: encoding: [0x62,0x8c,0xc0,0x14,0x44,0x9c,0xac,0x23,0x01,0x00,0x00]
837         cfcmoveq	291(%r28,%r29,4), %r19, %r23
838
839# CHECK: cfcmoveq	291(%r28,%r29,4), %r19
840# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0x44,0x9c,0xac,0x23,0x01,0x00,0x00]
841         cfcmoveq	291(%r28,%r29,4), %r19
842