xref: /llvm-project/llvm/test/MC/X86/apx/ctest-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-288: error:
5# ERROR-NOT: error:
6# CHECK: ctestbb {dfv=of} $123, 123(%r8,%rax,4)
7# CHECK: encoding: [0x62,0xd4,0x44,0x02,0xf6,0x44,0x80,0x7b,0x7b]
8         ctestbb {dfv=of} $123, 123(%r8,%rax,4)
9# CHECK: ctestbw {dfv=of} $1234, 123(%r8,%rax,4)
10# CHECK: encoding: [0x62,0xd4,0x45,0x02,0xf7,0x44,0x80,0x7b,0xd2,0x04]
11         ctestbw {dfv=of} $1234, 123(%r8,%rax,4)
12# CHECK: ctestbl {dfv=of} $123456, 123(%r8,%rax,4)
13# CHECK: encoding: [0x62,0xd4,0x44,0x02,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
14         ctestbl {dfv=of} $123456, 123(%r8,%rax,4)
15# CHECK: ctestbq {dfv=of} $123456, 123(%r8,%rax,4)
16# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
17         ctestbq {dfv=of} $123456, 123(%r8,%rax,4)
18# CHECK: ctestbb {dfv=of} %bl, 123(%r8,%rax,4)
19# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x84,0x5c,0x80,0x7b]
20         ctestbb {dfv=of} %bl, 123(%r8,%rax,4)
21# CHECK: ctestbw {dfv=of} %dx, 123(%r8,%rax,4)
22# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x85,0x54,0x80,0x7b]
23         ctestbw {dfv=of} %dx, 123(%r8,%rax,4)
24# CHECK: ctestbl {dfv=of} %ecx, 123(%r8,%rax,4)
25# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x85,0x4c,0x80,0x7b]
26         ctestbl {dfv=of} %ecx, 123(%r8,%rax,4)
27# CHECK: ctestbq {dfv=of} %r9, 123(%r8,%rax,4)
28# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x85,0x4c,0x80,0x7b]
29         ctestbq {dfv=of} %r9, 123(%r8,%rax,4)
30# Swap mr form
31# CHECK: ctestbb {dfv=of} %bl, 123(%r8,%rax,4)
32# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x84,0x5c,0x80,0x7b]
33         ctestbb {dfv=of} 123(%r8,%rax,4), %bl
34# CHECK: ctestbw {dfv=of} %dx, 123(%r8,%rax,4)
35# CHECK: encoding: [0x62,0xd4,0x45,0x02,0x85,0x54,0x80,0x7b]
36         ctestbw {dfv=of} 123(%r8,%rax,4), %dx
37# CHECK: ctestbl {dfv=of} %ecx, 123(%r8,%rax,4)
38# CHECK: encoding: [0x62,0xd4,0x44,0x02,0x85,0x4c,0x80,0x7b]
39         ctestbl {dfv=of} 123(%r8,%rax,4), %ecx
40# CHECK: ctestbq {dfv=of} %r9, 123(%r8,%rax,4)
41# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x85,0x4c,0x80,0x7b]
42         ctestbq {dfv=of} 123(%r8,%rax,4), %r9
43# CHECK: ctestbb {dfv=of} $123, %bl
44# CHECK: encoding: [0x62,0xf4,0x44,0x02,0xf6,0xc3,0x7b]
45         ctestbb {dfv=of} $123, %bl
46# CHECK: ctestbw {dfv=of} $1234, %dx
47# CHECK: encoding: [0x62,0xf4,0x45,0x02,0xf7,0xc2,0xd2,0x04]
48         ctestbw {dfv=of} $1234, %dx
49# CHECK: ctestbl {dfv=of} $123456, %ecx
50# CHECK: encoding: [0x62,0xf4,0x44,0x02,0xf7,0xc1,0x40,0xe2,0x01,0x00]
51         ctestbl {dfv=of} $123456, %ecx
52# CHECK: ctestbq {dfv=of} $123456, %r9
53# CHECK: encoding: [0x62,0xd4,0xc4,0x02,0xf7,0xc1,0x40,0xe2,0x01,0x00]
54         ctestbq {dfv=of} $123456, %r9
55# CHECK: ctestbb {dfv=of} %bl, %dl
56# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x84,0xda]
57         ctestbb {dfv=of} %bl, %dl
58# CHECK: ctestbw {dfv=of} %dx, %ax
59# CHECK: encoding: [0x62,0xf4,0x45,0x02,0x85,0xd0]
60         ctestbw {dfv=of} %dx, %ax
61# CHECK: ctestbl {dfv=of} %ecx, %edx
62# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x85,0xca]
63         ctestbl {dfv=of} %ecx, %edx
64# CHECK: ctestbq {dfv=of} %r9, %r15
65# CHECK: encoding: [0x62,0x54,0xc4,0x02,0x85,0xcf]
66         ctestbq {dfv=of} %r9, %r15
67# CHECK: ctestbeb {dfv=of} $123, 123(%r8,%rax,4)
68# CHECK: encoding: [0x62,0xd4,0x44,0x06,0xf6,0x44,0x80,0x7b,0x7b]
69         ctestbeb {dfv=of} $123, 123(%r8,%rax,4)
70# CHECK: ctestbew {dfv=of} $1234, 123(%r8,%rax,4)
71# CHECK: encoding: [0x62,0xd4,0x45,0x06,0xf7,0x44,0x80,0x7b,0xd2,0x04]
72         ctestbew {dfv=of} $1234, 123(%r8,%rax,4)
73# CHECK: ctestbel {dfv=of} $123456, 123(%r8,%rax,4)
74# CHECK: encoding: [0x62,0xd4,0x44,0x06,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
75         ctestbel {dfv=of} $123456, 123(%r8,%rax,4)
76# CHECK: ctestbeq {dfv=of} $123456, 123(%r8,%rax,4)
77# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
78         ctestbeq {dfv=of} $123456, 123(%r8,%rax,4)
79# CHECK: ctestbeb {dfv=of} %bl, 123(%r8,%rax,4)
80# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x84,0x5c,0x80,0x7b]
81         ctestbeb {dfv=of} %bl, 123(%r8,%rax,4)
82# CHECK: ctestbew {dfv=of} %dx, 123(%r8,%rax,4)
83# CHECK: encoding: [0x62,0xd4,0x45,0x06,0x85,0x54,0x80,0x7b]
84         ctestbew {dfv=of} %dx, 123(%r8,%rax,4)
85# CHECK: ctestbel {dfv=of} %ecx, 123(%r8,%rax,4)
86# CHECK: encoding: [0x62,0xd4,0x44,0x06,0x85,0x4c,0x80,0x7b]
87         ctestbel {dfv=of} %ecx, 123(%r8,%rax,4)
88# CHECK: ctestbeq {dfv=of} %r9, 123(%r8,%rax,4)
89# CHECK: encoding: [0x62,0x54,0xc4,0x06,0x85,0x4c,0x80,0x7b]
90         ctestbeq {dfv=of} %r9, 123(%r8,%rax,4)
91# CHECK: ctestbeb {dfv=of} $123, %bl
92# CHECK: encoding: [0x62,0xf4,0x44,0x06,0xf6,0xc3,0x7b]
93         ctestbeb {dfv=of} $123, %bl
94# CHECK: ctestbew {dfv=of} $1234, %dx
95# CHECK: encoding: [0x62,0xf4,0x45,0x06,0xf7,0xc2,0xd2,0x04]
96         ctestbew {dfv=of} $1234, %dx
97# CHECK: ctestbel {dfv=of} $123456, %ecx
98# CHECK: encoding: [0x62,0xf4,0x44,0x06,0xf7,0xc1,0x40,0xe2,0x01,0x00]
99         ctestbel {dfv=of} $123456, %ecx
100# CHECK: ctestbeq {dfv=of} $123456, %r9
101# CHECK: encoding: [0x62,0xd4,0xc4,0x06,0xf7,0xc1,0x40,0xe2,0x01,0x00]
102         ctestbeq {dfv=of} $123456, %r9
103# CHECK: ctestbeb {dfv=of} %bl, %dl
104# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x84,0xda]
105         ctestbeb {dfv=of} %bl, %dl
106# CHECK: ctestbew {dfv=of} %dx, %ax
107# CHECK: encoding: [0x62,0xf4,0x45,0x06,0x85,0xd0]
108         ctestbew {dfv=of} %dx, %ax
109# CHECK: ctestbel {dfv=of} %ecx, %edx
110# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x85,0xca]
111         ctestbel {dfv=of} %ecx, %edx
112# CHECK: ctestbeq {dfv=of} %r9, %r15
113# CHECK: encoding: [0x62,0x54,0xc4,0x06,0x85,0xcf]
114         ctestbeq {dfv=of} %r9, %r15
115# CHECK: ctestfb {dfv=of} $123, 123(%r8,%rax,4)
116# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0xf6,0x44,0x80,0x7b,0x7b]
117         ctestfb {dfv=of} $123, 123(%r8,%rax,4)
118# CHECK: ctestfw {dfv=of} $1234, 123(%r8,%rax,4)
119# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0xf7,0x44,0x80,0x7b,0xd2,0x04]
120         ctestfw {dfv=of} $1234, 123(%r8,%rax,4)
121# CHECK: ctestfl {dfv=of} $123456, 123(%r8,%rax,4)
122# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
123         ctestfl {dfv=of} $123456, 123(%r8,%rax,4)
124# CHECK: ctestfq {dfv=of} $123456, 123(%r8,%rax,4)
125# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
126         ctestfq {dfv=of} $123456, 123(%r8,%rax,4)
127# CHECK: ctestfb {dfv=of} %bl, 123(%r8,%rax,4)
128# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x84,0x5c,0x80,0x7b]
129         ctestfb {dfv=of} %bl, 123(%r8,%rax,4)
130# CHECK: ctestfw {dfv=of} %dx, 123(%r8,%rax,4)
131# CHECK: encoding: [0x62,0xd4,0x45,0x0b,0x85,0x54,0x80,0x7b]
132         ctestfw {dfv=of} %dx, 123(%r8,%rax,4)
133# CHECK: ctestfl {dfv=of} %ecx, 123(%r8,%rax,4)
134# CHECK: encoding: [0x62,0xd4,0x44,0x0b,0x85,0x4c,0x80,0x7b]
135         ctestfl {dfv=of} %ecx, 123(%r8,%rax,4)
136# CHECK: ctestfq {dfv=of} %r9, 123(%r8,%rax,4)
137# CHECK: encoding: [0x62,0x54,0xc4,0x0b,0x85,0x4c,0x80,0x7b]
138         ctestfq {dfv=of} %r9, 123(%r8,%rax,4)
139# CHECK: ctestfb {dfv=of} $123, %bl
140# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0xf6,0xc3,0x7b]
141         ctestfb {dfv=of} $123, %bl
142# CHECK: ctestfw {dfv=of} $1234, %dx
143# CHECK: encoding: [0x62,0xf4,0x45,0x0b,0xf7,0xc2,0xd2,0x04]
144         ctestfw {dfv=of} $1234, %dx
145# CHECK: ctestfl {dfv=of} $123456, %ecx
146# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0xf7,0xc1,0x40,0xe2,0x01,0x00]
147         ctestfl {dfv=of} $123456, %ecx
148# CHECK: ctestfq {dfv=of} $123456, %r9
149# CHECK: encoding: [0x62,0xd4,0xc4,0x0b,0xf7,0xc1,0x40,0xe2,0x01,0x00]
150         ctestfq {dfv=of} $123456, %r9
151# CHECK: ctestfb {dfv=of} %bl, %dl
152# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x84,0xda]
153         ctestfb {dfv=of} %bl, %dl
154# CHECK: ctestfw {dfv=of} %dx, %ax
155# CHECK: encoding: [0x62,0xf4,0x45,0x0b,0x85,0xd0]
156         ctestfw {dfv=of} %dx, %ax
157# CHECK: ctestfl {dfv=of} %ecx, %edx
158# CHECK: encoding: [0x62,0xf4,0x44,0x0b,0x85,0xca]
159         ctestfl {dfv=of} %ecx, %edx
160# CHECK: ctestfq {dfv=of} %r9, %r15
161# CHECK: encoding: [0x62,0x54,0xc4,0x0b,0x85,0xcf]
162         ctestfq {dfv=of} %r9, %r15
163# CHECK: ctestlb {dfv=of} $123, 123(%r8,%rax,4)
164# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0xf6,0x44,0x80,0x7b,0x7b]
165         ctestlb {dfv=of} $123, 123(%r8,%rax,4)
166# CHECK: ctestlw {dfv=of} $1234, 123(%r8,%rax,4)
167# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0xf7,0x44,0x80,0x7b,0xd2,0x04]
168         ctestlw {dfv=of} $1234, 123(%r8,%rax,4)
169# CHECK: ctestll {dfv=of} $123456, 123(%r8,%rax,4)
170# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
171         ctestll {dfv=of} $123456, 123(%r8,%rax,4)
172# CHECK: ctestlq {dfv=of} $123456, 123(%r8,%rax,4)
173# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
174         ctestlq {dfv=of} $123456, 123(%r8,%rax,4)
175# CHECK: ctestlb {dfv=of} %bl, 123(%r8,%rax,4)
176# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x84,0x5c,0x80,0x7b]
177         ctestlb {dfv=of} %bl, 123(%r8,%rax,4)
178# CHECK: ctestlw {dfv=of} %dx, 123(%r8,%rax,4)
179# CHECK: encoding: [0x62,0xd4,0x45,0x0c,0x85,0x54,0x80,0x7b]
180         ctestlw {dfv=of} %dx, 123(%r8,%rax,4)
181# CHECK: ctestll {dfv=of} %ecx, 123(%r8,%rax,4)
182# CHECK: encoding: [0x62,0xd4,0x44,0x0c,0x85,0x4c,0x80,0x7b]
183         ctestll {dfv=of} %ecx, 123(%r8,%rax,4)
184# CHECK: ctestlq {dfv=of} %r9, 123(%r8,%rax,4)
185# CHECK: encoding: [0x62,0x54,0xc4,0x0c,0x85,0x4c,0x80,0x7b]
186         ctestlq {dfv=of} %r9, 123(%r8,%rax,4)
187# CHECK: ctestlb {dfv=of} $123, %bl
188# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0xf6,0xc3,0x7b]
189         ctestlb {dfv=of} $123, %bl
190# CHECK: ctestlw {dfv=of} $1234, %dx
191# CHECK: encoding: [0x62,0xf4,0x45,0x0c,0xf7,0xc2,0xd2,0x04]
192         ctestlw {dfv=of} $1234, %dx
193# CHECK: ctestll {dfv=of} $123456, %ecx
194# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0xf7,0xc1,0x40,0xe2,0x01,0x00]
195         ctestll {dfv=of} $123456, %ecx
196# CHECK: ctestlq {dfv=of} $123456, %r9
197# CHECK: encoding: [0x62,0xd4,0xc4,0x0c,0xf7,0xc1,0x40,0xe2,0x01,0x00]
198         ctestlq {dfv=of} $123456, %r9
199# CHECK: ctestlb {dfv=of} %bl, %dl
200# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x84,0xda]
201         ctestlb {dfv=of} %bl, %dl
202# CHECK: ctestlw {dfv=of} %dx, %ax
203# CHECK: encoding: [0x62,0xf4,0x45,0x0c,0x85,0xd0]
204         ctestlw {dfv=of} %dx, %ax
205# CHECK: ctestll {dfv=of} %ecx, %edx
206# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x85,0xca]
207         ctestll {dfv=of} %ecx, %edx
208# CHECK: ctestlq {dfv=of} %r9, %r15
209# CHECK: encoding: [0x62,0x54,0xc4,0x0c,0x85,0xcf]
210         ctestlq {dfv=of} %r9, %r15
211# CHECK: ctestleb {dfv=of} $123, 123(%r8,%rax,4)
212# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0xf6,0x44,0x80,0x7b,0x7b]
213         ctestleb {dfv=of} $123, 123(%r8,%rax,4)
214# CHECK: ctestlew {dfv=of} $1234, 123(%r8,%rax,4)
215# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0xf7,0x44,0x80,0x7b,0xd2,0x04]
216         ctestlew {dfv=of} $1234, 123(%r8,%rax,4)
217# CHECK: ctestlel {dfv=of} $123456, 123(%r8,%rax,4)
218# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
219         ctestlel {dfv=of} $123456, 123(%r8,%rax,4)
220# CHECK: ctestleq {dfv=of} $123456, 123(%r8,%rax,4)
221# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
222         ctestleq {dfv=of} $123456, 123(%r8,%rax,4)
223# CHECK: ctestleb {dfv=of} %bl, 123(%r8,%rax,4)
224# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x84,0x5c,0x80,0x7b]
225         ctestleb {dfv=of} %bl, 123(%r8,%rax,4)
226# CHECK: ctestlew {dfv=of} %dx, 123(%r8,%rax,4)
227# CHECK: encoding: [0x62,0xd4,0x45,0x0e,0x85,0x54,0x80,0x7b]
228         ctestlew {dfv=of} %dx, 123(%r8,%rax,4)
229# CHECK: ctestlel {dfv=of} %ecx, 123(%r8,%rax,4)
230# CHECK: encoding: [0x62,0xd4,0x44,0x0e,0x85,0x4c,0x80,0x7b]
231         ctestlel {dfv=of} %ecx, 123(%r8,%rax,4)
232# CHECK: ctestleq {dfv=of} %r9, 123(%r8,%rax,4)
233# CHECK: encoding: [0x62,0x54,0xc4,0x0e,0x85,0x4c,0x80,0x7b]
234         ctestleq {dfv=of} %r9, 123(%r8,%rax,4)
235# CHECK: ctestleb {dfv=of} $123, %bl
236# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0xf6,0xc3,0x7b]
237         ctestleb {dfv=of} $123, %bl
238# CHECK: ctestlew {dfv=of} $1234, %dx
239# CHECK: encoding: [0x62,0xf4,0x45,0x0e,0xf7,0xc2,0xd2,0x04]
240         ctestlew {dfv=of} $1234, %dx
241# CHECK: ctestlel {dfv=of} $123456, %ecx
242# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0xf7,0xc1,0x40,0xe2,0x01,0x00]
243         ctestlel {dfv=of} $123456, %ecx
244# CHECK: ctestleq {dfv=of} $123456, %r9
245# CHECK: encoding: [0x62,0xd4,0xc4,0x0e,0xf7,0xc1,0x40,0xe2,0x01,0x00]
246         ctestleq {dfv=of} $123456, %r9
247# CHECK: ctestleb {dfv=of} %bl, %dl
248# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x84,0xda]
249         ctestleb {dfv=of} %bl, %dl
250# CHECK: ctestlew {dfv=of} %dx, %ax
251# CHECK: encoding: [0x62,0xf4,0x45,0x0e,0x85,0xd0]
252         ctestlew {dfv=of} %dx, %ax
253# CHECK: ctestlel {dfv=of} %ecx, %edx
254# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x85,0xca]
255         ctestlel {dfv=of} %ecx, %edx
256# CHECK: ctestleq {dfv=of} %r9, %r15
257# CHECK: encoding: [0x62,0x54,0xc4,0x0e,0x85,0xcf]
258         ctestleq {dfv=of} %r9, %r15
259# CHECK: ctestaeb {dfv=of} $123, 123(%r8,%rax,4)
260# CHECK: encoding: [0x62,0xd4,0x44,0x03,0xf6,0x44,0x80,0x7b,0x7b]
261         ctestaeb {dfv=of} $123, 123(%r8,%rax,4)
262# CHECK: ctestaew {dfv=of} $1234, 123(%r8,%rax,4)
263# CHECK: encoding: [0x62,0xd4,0x45,0x03,0xf7,0x44,0x80,0x7b,0xd2,0x04]
264         ctestaew {dfv=of} $1234, 123(%r8,%rax,4)
265# CHECK: ctestael {dfv=of} $123456, 123(%r8,%rax,4)
266# CHECK: encoding: [0x62,0xd4,0x44,0x03,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
267         ctestael {dfv=of} $123456, 123(%r8,%rax,4)
268# CHECK: ctestaeq {dfv=of} $123456, 123(%r8,%rax,4)
269# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
270         ctestaeq {dfv=of} $123456, 123(%r8,%rax,4)
271# CHECK: ctestaeb {dfv=of} %bl, 123(%r8,%rax,4)
272# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x84,0x5c,0x80,0x7b]
273         ctestaeb {dfv=of} %bl, 123(%r8,%rax,4)
274# CHECK: ctestaew {dfv=of} %dx, 123(%r8,%rax,4)
275# CHECK: encoding: [0x62,0xd4,0x45,0x03,0x85,0x54,0x80,0x7b]
276         ctestaew {dfv=of} %dx, 123(%r8,%rax,4)
277# CHECK: ctestael {dfv=of} %ecx, 123(%r8,%rax,4)
278# CHECK: encoding: [0x62,0xd4,0x44,0x03,0x85,0x4c,0x80,0x7b]
279         ctestael {dfv=of} %ecx, 123(%r8,%rax,4)
280# CHECK: ctestaeq {dfv=of} %r9, 123(%r8,%rax,4)
281# CHECK: encoding: [0x62,0x54,0xc4,0x03,0x85,0x4c,0x80,0x7b]
282         ctestaeq {dfv=of} %r9, 123(%r8,%rax,4)
283# CHECK: ctestaeb {dfv=of} $123, %bl
284# CHECK: encoding: [0x62,0xf4,0x44,0x03,0xf6,0xc3,0x7b]
285         ctestaeb {dfv=of} $123, %bl
286# CHECK: ctestaew {dfv=of} $1234, %dx
287# CHECK: encoding: [0x62,0xf4,0x45,0x03,0xf7,0xc2,0xd2,0x04]
288         ctestaew {dfv=of} $1234, %dx
289# CHECK: ctestael {dfv=of} $123456, %ecx
290# CHECK: encoding: [0x62,0xf4,0x44,0x03,0xf7,0xc1,0x40,0xe2,0x01,0x00]
291         ctestael {dfv=of} $123456, %ecx
292# CHECK: ctestaeq {dfv=of} $123456, %r9
293# CHECK: encoding: [0x62,0xd4,0xc4,0x03,0xf7,0xc1,0x40,0xe2,0x01,0x00]
294         ctestaeq {dfv=of} $123456, %r9
295# CHECK: ctestaeb {dfv=of} %bl, %dl
296# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x84,0xda]
297         ctestaeb {dfv=of} %bl, %dl
298# CHECK: ctestaew {dfv=of} %dx, %ax
299# CHECK: encoding: [0x62,0xf4,0x45,0x03,0x85,0xd0]
300         ctestaew {dfv=of} %dx, %ax
301# CHECK: ctestael {dfv=of} %ecx, %edx
302# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x85,0xca]
303         ctestael {dfv=of} %ecx, %edx
304# CHECK: ctestaeq {dfv=of} %r9, %r15
305# CHECK: encoding: [0x62,0x54,0xc4,0x03,0x85,0xcf]
306         ctestaeq {dfv=of} %r9, %r15
307# CHECK: ctestab {dfv=of} $123, 123(%r8,%rax,4)
308# CHECK: encoding: [0x62,0xd4,0x44,0x07,0xf6,0x44,0x80,0x7b,0x7b]
309         ctestab {dfv=of} $123, 123(%r8,%rax,4)
310# CHECK: ctestaw {dfv=of} $1234, 123(%r8,%rax,4)
311# CHECK: encoding: [0x62,0xd4,0x45,0x07,0xf7,0x44,0x80,0x7b,0xd2,0x04]
312         ctestaw {dfv=of} $1234, 123(%r8,%rax,4)
313# CHECK: ctestal {dfv=of} $123456, 123(%r8,%rax,4)
314# CHECK: encoding: [0x62,0xd4,0x44,0x07,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
315         ctestal {dfv=of} $123456, 123(%r8,%rax,4)
316# CHECK: ctestaq {dfv=of} $123456, 123(%r8,%rax,4)
317# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
318         ctestaq {dfv=of} $123456, 123(%r8,%rax,4)
319# CHECK: ctestab {dfv=of} %bl, 123(%r8,%rax,4)
320# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x84,0x5c,0x80,0x7b]
321         ctestab {dfv=of} %bl, 123(%r8,%rax,4)
322# CHECK: ctestaw {dfv=of} %dx, 123(%r8,%rax,4)
323# CHECK: encoding: [0x62,0xd4,0x45,0x07,0x85,0x54,0x80,0x7b]
324         ctestaw {dfv=of} %dx, 123(%r8,%rax,4)
325# CHECK: ctestal {dfv=of} %ecx, 123(%r8,%rax,4)
326# CHECK: encoding: [0x62,0xd4,0x44,0x07,0x85,0x4c,0x80,0x7b]
327         ctestal {dfv=of} %ecx, 123(%r8,%rax,4)
328# CHECK: ctestaq {dfv=of} %r9, 123(%r8,%rax,4)
329# CHECK: encoding: [0x62,0x54,0xc4,0x07,0x85,0x4c,0x80,0x7b]
330         ctestaq {dfv=of} %r9, 123(%r8,%rax,4)
331# CHECK: ctestab {dfv=of} $123, %bl
332# CHECK: encoding: [0x62,0xf4,0x44,0x07,0xf6,0xc3,0x7b]
333         ctestab {dfv=of} $123, %bl
334# CHECK: ctestaw {dfv=of} $1234, %dx
335# CHECK: encoding: [0x62,0xf4,0x45,0x07,0xf7,0xc2,0xd2,0x04]
336         ctestaw {dfv=of} $1234, %dx
337# CHECK: ctestal {dfv=of} $123456, %ecx
338# CHECK: encoding: [0x62,0xf4,0x44,0x07,0xf7,0xc1,0x40,0xe2,0x01,0x00]
339         ctestal {dfv=of} $123456, %ecx
340# CHECK: ctestaq {dfv=of} $123456, %r9
341# CHECK: encoding: [0x62,0xd4,0xc4,0x07,0xf7,0xc1,0x40,0xe2,0x01,0x00]
342         ctestaq {dfv=of} $123456, %r9
343# CHECK: ctestab {dfv=of} %bl, %dl
344# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x84,0xda]
345         ctestab {dfv=of} %bl, %dl
346# CHECK: ctestaw {dfv=of} %dx, %ax
347# CHECK: encoding: [0x62,0xf4,0x45,0x07,0x85,0xd0]
348         ctestaw {dfv=of} %dx, %ax
349# CHECK: ctestal {dfv=of} %ecx, %edx
350# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x85,0xca]
351         ctestal {dfv=of} %ecx, %edx
352# CHECK: ctestaq {dfv=of} %r9, %r15
353# CHECK: encoding: [0x62,0x54,0xc4,0x07,0x85,0xcf]
354         ctestaq {dfv=of} %r9, %r15
355# CHECK: ctestgeb {dfv=of} $123, 123(%r8,%rax,4)
356# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0xf6,0x44,0x80,0x7b,0x7b]
357         ctestgeb {dfv=of} $123, 123(%r8,%rax,4)
358# CHECK: ctestgew {dfv=of} $1234, 123(%r8,%rax,4)
359# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0xf7,0x44,0x80,0x7b,0xd2,0x04]
360         ctestgew {dfv=of} $1234, 123(%r8,%rax,4)
361# CHECK: ctestgel {dfv=of} $123456, 123(%r8,%rax,4)
362# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
363         ctestgel {dfv=of} $123456, 123(%r8,%rax,4)
364# CHECK: ctestgeq {dfv=of} $123456, 123(%r8,%rax,4)
365# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
366         ctestgeq {dfv=of} $123456, 123(%r8,%rax,4)
367# CHECK: ctestgeb {dfv=of} %bl, 123(%r8,%rax,4)
368# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x84,0x5c,0x80,0x7b]
369         ctestgeb {dfv=of} %bl, 123(%r8,%rax,4)
370# CHECK: ctestgew {dfv=of} %dx, 123(%r8,%rax,4)
371# CHECK: encoding: [0x62,0xd4,0x45,0x0d,0x85,0x54,0x80,0x7b]
372         ctestgew {dfv=of} %dx, 123(%r8,%rax,4)
373# CHECK: ctestgel {dfv=of} %ecx, 123(%r8,%rax,4)
374# CHECK: encoding: [0x62,0xd4,0x44,0x0d,0x85,0x4c,0x80,0x7b]
375         ctestgel {dfv=of} %ecx, 123(%r8,%rax,4)
376# CHECK: ctestgeq {dfv=of} %r9, 123(%r8,%rax,4)
377# CHECK: encoding: [0x62,0x54,0xc4,0x0d,0x85,0x4c,0x80,0x7b]
378         ctestgeq {dfv=of} %r9, 123(%r8,%rax,4)
379# CHECK: ctestgeb {dfv=of} $123, %bl
380# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0xf6,0xc3,0x7b]
381         ctestgeb {dfv=of} $123, %bl
382# CHECK: ctestgew {dfv=of} $1234, %dx
383# CHECK: encoding: [0x62,0xf4,0x45,0x0d,0xf7,0xc2,0xd2,0x04]
384         ctestgew {dfv=of} $1234, %dx
385# CHECK: ctestgel {dfv=of} $123456, %ecx
386# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0xf7,0xc1,0x40,0xe2,0x01,0x00]
387         ctestgel {dfv=of} $123456, %ecx
388# CHECK: ctestgeq {dfv=of} $123456, %r9
389# CHECK: encoding: [0x62,0xd4,0xc4,0x0d,0xf7,0xc1,0x40,0xe2,0x01,0x00]
390         ctestgeq {dfv=of} $123456, %r9
391# CHECK: ctestgeb {dfv=of} %bl, %dl
392# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x84,0xda]
393         ctestgeb {dfv=of} %bl, %dl
394# CHECK: ctestgew {dfv=of} %dx, %ax
395# CHECK: encoding: [0x62,0xf4,0x45,0x0d,0x85,0xd0]
396         ctestgew {dfv=of} %dx, %ax
397# CHECK: ctestgel {dfv=of} %ecx, %edx
398# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x85,0xca]
399         ctestgel {dfv=of} %ecx, %edx
400# CHECK: ctestgeq {dfv=of} %r9, %r15
401# CHECK: encoding: [0x62,0x54,0xc4,0x0d,0x85,0xcf]
402         ctestgeq {dfv=of} %r9, %r15
403# CHECK: ctestgb {dfv=of} $123, 123(%r8,%rax,4)
404# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0xf6,0x44,0x80,0x7b,0x7b]
405         ctestgb {dfv=of} $123, 123(%r8,%rax,4)
406# CHECK: ctestgw {dfv=of} $1234, 123(%r8,%rax,4)
407# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0xf7,0x44,0x80,0x7b,0xd2,0x04]
408         ctestgw {dfv=of} $1234, 123(%r8,%rax,4)
409# CHECK: ctestgl {dfv=of} $123456, 123(%r8,%rax,4)
410# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
411         ctestgl {dfv=of} $123456, 123(%r8,%rax,4)
412# CHECK: ctestgq {dfv=of} $123456, 123(%r8,%rax,4)
413# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
414         ctestgq {dfv=of} $123456, 123(%r8,%rax,4)
415# CHECK: ctestgb {dfv=of} %bl, 123(%r8,%rax,4)
416# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x84,0x5c,0x80,0x7b]
417         ctestgb {dfv=of} %bl, 123(%r8,%rax,4)
418# CHECK: ctestgw {dfv=of} %dx, 123(%r8,%rax,4)
419# CHECK: encoding: [0x62,0xd4,0x45,0x0f,0x85,0x54,0x80,0x7b]
420         ctestgw {dfv=of} %dx, 123(%r8,%rax,4)
421# CHECK: ctestgl {dfv=of} %ecx, 123(%r8,%rax,4)
422# CHECK: encoding: [0x62,0xd4,0x44,0x0f,0x85,0x4c,0x80,0x7b]
423         ctestgl {dfv=of} %ecx, 123(%r8,%rax,4)
424# CHECK: ctestgq {dfv=of} %r9, 123(%r8,%rax,4)
425# CHECK: encoding: [0x62,0x54,0xc4,0x0f,0x85,0x4c,0x80,0x7b]
426         ctestgq {dfv=of} %r9, 123(%r8,%rax,4)
427# CHECK: ctestgb {dfv=of} $123, %bl
428# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0xf6,0xc3,0x7b]
429         ctestgb {dfv=of} $123, %bl
430# CHECK: ctestgw {dfv=of} $1234, %dx
431# CHECK: encoding: [0x62,0xf4,0x45,0x0f,0xf7,0xc2,0xd2,0x04]
432         ctestgw {dfv=of} $1234, %dx
433# CHECK: ctestgl {dfv=of} $123456, %ecx
434# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0xf7,0xc1,0x40,0xe2,0x01,0x00]
435         ctestgl {dfv=of} $123456, %ecx
436# CHECK: ctestgq {dfv=of} $123456, %r9
437# CHECK: encoding: [0x62,0xd4,0xc4,0x0f,0xf7,0xc1,0x40,0xe2,0x01,0x00]
438         ctestgq {dfv=of} $123456, %r9
439# CHECK: ctestgb {dfv=of} %bl, %dl
440# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x84,0xda]
441         ctestgb {dfv=of} %bl, %dl
442# CHECK: ctestgw {dfv=of} %dx, %ax
443# CHECK: encoding: [0x62,0xf4,0x45,0x0f,0x85,0xd0]
444         ctestgw {dfv=of} %dx, %ax
445# CHECK: ctestgl {dfv=of} %ecx, %edx
446# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x85,0xca]
447         ctestgl {dfv=of} %ecx, %edx
448# CHECK: ctestgq {dfv=of} %r9, %r15
449# CHECK: encoding: [0x62,0x54,0xc4,0x0f,0x85,0xcf]
450         ctestgq {dfv=of} %r9, %r15
451# CHECK: ctestnob {dfv=of} $123, 123(%r8,%rax,4)
452# CHECK: encoding: [0x62,0xd4,0x44,0x01,0xf6,0x44,0x80,0x7b,0x7b]
453         ctestnob {dfv=of} $123, 123(%r8,%rax,4)
454# CHECK: ctestnow {dfv=of} $1234, 123(%r8,%rax,4)
455# CHECK: encoding: [0x62,0xd4,0x45,0x01,0xf7,0x44,0x80,0x7b,0xd2,0x04]
456         ctestnow {dfv=of} $1234, 123(%r8,%rax,4)
457# CHECK: ctestnol {dfv=of} $123456, 123(%r8,%rax,4)
458# CHECK: encoding: [0x62,0xd4,0x44,0x01,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
459         ctestnol {dfv=of} $123456, 123(%r8,%rax,4)
460# CHECK: ctestnoq {dfv=of} $123456, 123(%r8,%rax,4)
461# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
462         ctestnoq {dfv=of} $123456, 123(%r8,%rax,4)
463# CHECK: ctestnob {dfv=of} %bl, 123(%r8,%rax,4)
464# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x84,0x5c,0x80,0x7b]
465         ctestnob {dfv=of} %bl, 123(%r8,%rax,4)
466# CHECK: ctestnow {dfv=of} %dx, 123(%r8,%rax,4)
467# CHECK: encoding: [0x62,0xd4,0x45,0x01,0x85,0x54,0x80,0x7b]
468         ctestnow {dfv=of} %dx, 123(%r8,%rax,4)
469# CHECK: ctestnol {dfv=of} %ecx, 123(%r8,%rax,4)
470# CHECK: encoding: [0x62,0xd4,0x44,0x01,0x85,0x4c,0x80,0x7b]
471         ctestnol {dfv=of} %ecx, 123(%r8,%rax,4)
472# CHECK: ctestnoq {dfv=of} %r9, 123(%r8,%rax,4)
473# CHECK: encoding: [0x62,0x54,0xc4,0x01,0x85,0x4c,0x80,0x7b]
474         ctestnoq {dfv=of} %r9, 123(%r8,%rax,4)
475# CHECK: ctestnob {dfv=of} $123, %bl
476# CHECK: encoding: [0x62,0xf4,0x44,0x01,0xf6,0xc3,0x7b]
477         ctestnob {dfv=of} $123, %bl
478# CHECK: ctestnow {dfv=of} $1234, %dx
479# CHECK: encoding: [0x62,0xf4,0x45,0x01,0xf7,0xc2,0xd2,0x04]
480         ctestnow {dfv=of} $1234, %dx
481# CHECK: ctestnol {dfv=of} $123456, %ecx
482# CHECK: encoding: [0x62,0xf4,0x44,0x01,0xf7,0xc1,0x40,0xe2,0x01,0x00]
483         ctestnol {dfv=of} $123456, %ecx
484# CHECK: ctestnoq {dfv=of} $123456, %r9
485# CHECK: encoding: [0x62,0xd4,0xc4,0x01,0xf7,0xc1,0x40,0xe2,0x01,0x00]
486         ctestnoq {dfv=of} $123456, %r9
487# CHECK: ctestnob {dfv=of} %bl, %dl
488# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x84,0xda]
489         ctestnob {dfv=of} %bl, %dl
490# CHECK: ctestnow {dfv=of} %dx, %ax
491# CHECK: encoding: [0x62,0xf4,0x45,0x01,0x85,0xd0]
492         ctestnow {dfv=of} %dx, %ax
493# CHECK: ctestnol {dfv=of} %ecx, %edx
494# CHECK: encoding: [0x62,0xf4,0x44,0x01,0x85,0xca]
495         ctestnol {dfv=of} %ecx, %edx
496# CHECK: ctestnoq {dfv=of} %r9, %r15
497# CHECK: encoding: [0x62,0x54,0xc4,0x01,0x85,0xcf]
498         ctestnoq {dfv=of} %r9, %r15
499# CHECK: ctestnsb {dfv=of} $123, 123(%r8,%rax,4)
500# CHECK: encoding: [0x62,0xd4,0x44,0x09,0xf6,0x44,0x80,0x7b,0x7b]
501         ctestnsb {dfv=of} $123, 123(%r8,%rax,4)
502# CHECK: ctestnsw {dfv=of} $1234, 123(%r8,%rax,4)
503# CHECK: encoding: [0x62,0xd4,0x45,0x09,0xf7,0x44,0x80,0x7b,0xd2,0x04]
504         ctestnsw {dfv=of} $1234, 123(%r8,%rax,4)
505# CHECK: ctestnsl {dfv=of} $123456, 123(%r8,%rax,4)
506# CHECK: encoding: [0x62,0xd4,0x44,0x09,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
507         ctestnsl {dfv=of} $123456, 123(%r8,%rax,4)
508# CHECK: ctestnsq {dfv=of} $123456, 123(%r8,%rax,4)
509# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
510         ctestnsq {dfv=of} $123456, 123(%r8,%rax,4)
511# CHECK: ctestnsb {dfv=of} %bl, 123(%r8,%rax,4)
512# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x84,0x5c,0x80,0x7b]
513         ctestnsb {dfv=of} %bl, 123(%r8,%rax,4)
514# CHECK: ctestnsw {dfv=of} %dx, 123(%r8,%rax,4)
515# CHECK: encoding: [0x62,0xd4,0x45,0x09,0x85,0x54,0x80,0x7b]
516         ctestnsw {dfv=of} %dx, 123(%r8,%rax,4)
517# CHECK: ctestnsl {dfv=of} %ecx, 123(%r8,%rax,4)
518# CHECK: encoding: [0x62,0xd4,0x44,0x09,0x85,0x4c,0x80,0x7b]
519         ctestnsl {dfv=of} %ecx, 123(%r8,%rax,4)
520# CHECK: ctestnsq {dfv=of} %r9, 123(%r8,%rax,4)
521# CHECK: encoding: [0x62,0x54,0xc4,0x09,0x85,0x4c,0x80,0x7b]
522         ctestnsq {dfv=of} %r9, 123(%r8,%rax,4)
523# CHECK: ctestnsb {dfv=of} $123, %bl
524# CHECK: encoding: [0x62,0xf4,0x44,0x09,0xf6,0xc3,0x7b]
525         ctestnsb {dfv=of} $123, %bl
526# CHECK: ctestnsw {dfv=of} $1234, %dx
527# CHECK: encoding: [0x62,0xf4,0x45,0x09,0xf7,0xc2,0xd2,0x04]
528         ctestnsw {dfv=of} $1234, %dx
529# CHECK: ctestnsl {dfv=of} $123456, %ecx
530# CHECK: encoding: [0x62,0xf4,0x44,0x09,0xf7,0xc1,0x40,0xe2,0x01,0x00]
531         ctestnsl {dfv=of} $123456, %ecx
532# CHECK: ctestnsq {dfv=of} $123456, %r9
533# CHECK: encoding: [0x62,0xd4,0xc4,0x09,0xf7,0xc1,0x40,0xe2,0x01,0x00]
534         ctestnsq {dfv=of} $123456, %r9
535# CHECK: ctestnsb {dfv=of} %bl, %dl
536# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x84,0xda]
537         ctestnsb {dfv=of} %bl, %dl
538# CHECK: ctestnsw {dfv=of} %dx, %ax
539# CHECK: encoding: [0x62,0xf4,0x45,0x09,0x85,0xd0]
540         ctestnsw {dfv=of} %dx, %ax
541# CHECK: ctestnsl {dfv=of} %ecx, %edx
542# CHECK: encoding: [0x62,0xf4,0x44,0x09,0x85,0xca]
543         ctestnsl {dfv=of} %ecx, %edx
544# CHECK: ctestnsq {dfv=of} %r9, %r15
545# CHECK: encoding: [0x62,0x54,0xc4,0x09,0x85,0xcf]
546         ctestnsq {dfv=of} %r9, %r15
547# CHECK: ctestneb {dfv=of} $123, 123(%r8,%rax,4)
548# CHECK: encoding: [0x62,0xd4,0x44,0x05,0xf6,0x44,0x80,0x7b,0x7b]
549         ctestneb {dfv=of} $123, 123(%r8,%rax,4)
550# CHECK: ctestnew {dfv=of} $1234, 123(%r8,%rax,4)
551# CHECK: encoding: [0x62,0xd4,0x45,0x05,0xf7,0x44,0x80,0x7b,0xd2,0x04]
552         ctestnew {dfv=of} $1234, 123(%r8,%rax,4)
553# CHECK: ctestnel {dfv=of} $123456, 123(%r8,%rax,4)
554# CHECK: encoding: [0x62,0xd4,0x44,0x05,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
555         ctestnel {dfv=of} $123456, 123(%r8,%rax,4)
556# CHECK: ctestneq {dfv=of} $123456, 123(%r8,%rax,4)
557# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
558         ctestneq {dfv=of} $123456, 123(%r8,%rax,4)
559# CHECK: ctestneb {dfv=of} %bl, 123(%r8,%rax,4)
560# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x84,0x5c,0x80,0x7b]
561         ctestneb {dfv=of} %bl, 123(%r8,%rax,4)
562# CHECK: ctestnew {dfv=of} %dx, 123(%r8,%rax,4)
563# CHECK: encoding: [0x62,0xd4,0x45,0x05,0x85,0x54,0x80,0x7b]
564         ctestnew {dfv=of} %dx, 123(%r8,%rax,4)
565# CHECK: ctestnel {dfv=of} %ecx, 123(%r8,%rax,4)
566# CHECK: encoding: [0x62,0xd4,0x44,0x05,0x85,0x4c,0x80,0x7b]
567         ctestnel {dfv=of} %ecx, 123(%r8,%rax,4)
568# CHECK: ctestneq {dfv=of} %r9, 123(%r8,%rax,4)
569# CHECK: encoding: [0x62,0x54,0xc4,0x05,0x85,0x4c,0x80,0x7b]
570         ctestneq {dfv=of} %r9, 123(%r8,%rax,4)
571# CHECK: ctestneb {dfv=of} $123, %bl
572# CHECK: encoding: [0x62,0xf4,0x44,0x05,0xf6,0xc3,0x7b]
573         ctestneb {dfv=of} $123, %bl
574# CHECK: ctestnew {dfv=of} $1234, %dx
575# CHECK: encoding: [0x62,0xf4,0x45,0x05,0xf7,0xc2,0xd2,0x04]
576         ctestnew {dfv=of} $1234, %dx
577# CHECK: ctestnel {dfv=of} $123456, %ecx
578# CHECK: encoding: [0x62,0xf4,0x44,0x05,0xf7,0xc1,0x40,0xe2,0x01,0x00]
579         ctestnel {dfv=of} $123456, %ecx
580# CHECK: ctestneq {dfv=of} $123456, %r9
581# CHECK: encoding: [0x62,0xd4,0xc4,0x05,0xf7,0xc1,0x40,0xe2,0x01,0x00]
582         ctestneq {dfv=of} $123456, %r9
583# CHECK: ctestneb {dfv=of} %bl, %dl
584# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x84,0xda]
585         ctestneb {dfv=of} %bl, %dl
586# CHECK: ctestnew {dfv=of} %dx, %ax
587# CHECK: encoding: [0x62,0xf4,0x45,0x05,0x85,0xd0]
588         ctestnew {dfv=of} %dx, %ax
589# CHECK: ctestnel {dfv=of} %ecx, %edx
590# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x85,0xca]
591         ctestnel {dfv=of} %ecx, %edx
592# CHECK: ctestneq {dfv=of} %r9, %r15
593# CHECK: encoding: [0x62,0x54,0xc4,0x05,0x85,0xcf]
594         ctestneq {dfv=of} %r9, %r15
595# CHECK: ctestob {dfv=of} $123, 123(%r8,%rax,4)
596# CHECK: encoding: [0x62,0xd4,0x44,0x00,0xf6,0x44,0x80,0x7b,0x7b]
597         ctestob {dfv=of} $123, 123(%r8,%rax,4)
598# CHECK: ctestow {dfv=of} $1234, 123(%r8,%rax,4)
599# CHECK: encoding: [0x62,0xd4,0x45,0x00,0xf7,0x44,0x80,0x7b,0xd2,0x04]
600         ctestow {dfv=of} $1234, 123(%r8,%rax,4)
601# CHECK: ctestol {dfv=of} $123456, 123(%r8,%rax,4)
602# CHECK: encoding: [0x62,0xd4,0x44,0x00,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
603         ctestol {dfv=of} $123456, 123(%r8,%rax,4)
604# CHECK: ctestoq {dfv=of} $123456, 123(%r8,%rax,4)
605# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
606         ctestoq {dfv=of} $123456, 123(%r8,%rax,4)
607# CHECK: ctestob {dfv=of} %bl, 123(%r8,%rax,4)
608# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x84,0x5c,0x80,0x7b]
609         ctestob {dfv=of} %bl, 123(%r8,%rax,4)
610# CHECK: ctestow {dfv=of} %dx, 123(%r8,%rax,4)
611# CHECK: encoding: [0x62,0xd4,0x45,0x00,0x85,0x54,0x80,0x7b]
612         ctestow {dfv=of} %dx, 123(%r8,%rax,4)
613# CHECK: ctestol {dfv=of} %ecx, 123(%r8,%rax,4)
614# CHECK: encoding: [0x62,0xd4,0x44,0x00,0x85,0x4c,0x80,0x7b]
615         ctestol {dfv=of} %ecx, 123(%r8,%rax,4)
616# CHECK: ctestoq {dfv=of} %r9, 123(%r8,%rax,4)
617# CHECK: encoding: [0x62,0x54,0xc4,0x00,0x85,0x4c,0x80,0x7b]
618         ctestoq {dfv=of} %r9, 123(%r8,%rax,4)
619# CHECK: ctestob {dfv=of} $123, %bl
620# CHECK: encoding: [0x62,0xf4,0x44,0x00,0xf6,0xc3,0x7b]
621         ctestob {dfv=of} $123, %bl
622# CHECK: ctestow {dfv=of} $1234, %dx
623# CHECK: encoding: [0x62,0xf4,0x45,0x00,0xf7,0xc2,0xd2,0x04]
624         ctestow {dfv=of} $1234, %dx
625# CHECK: ctestol {dfv=of} $123456, %ecx
626# CHECK: encoding: [0x62,0xf4,0x44,0x00,0xf7,0xc1,0x40,0xe2,0x01,0x00]
627         ctestol {dfv=of} $123456, %ecx
628# CHECK: ctestoq {dfv=of} $123456, %r9
629# CHECK: encoding: [0x62,0xd4,0xc4,0x00,0xf7,0xc1,0x40,0xe2,0x01,0x00]
630         ctestoq {dfv=of} $123456, %r9
631# CHECK: ctestob {dfv=of} %bl, %dl
632# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x84,0xda]
633         ctestob {dfv=of} %bl, %dl
634# CHECK: ctestow {dfv=of} %dx, %ax
635# CHECK: encoding: [0x62,0xf4,0x45,0x00,0x85,0xd0]
636         ctestow {dfv=of} %dx, %ax
637# CHECK: ctestol {dfv=of} %ecx, %edx
638# CHECK: encoding: [0x62,0xf4,0x44,0x00,0x85,0xca]
639         ctestol {dfv=of} %ecx, %edx
640# CHECK: ctestoq {dfv=of} %r9, %r15
641# CHECK: encoding: [0x62,0x54,0xc4,0x00,0x85,0xcf]
642         ctestoq {dfv=of} %r9, %r15
643# CHECK: ctestsb {dfv=of} $123, 123(%r8,%rax,4)
644# CHECK: encoding: [0x62,0xd4,0x44,0x08,0xf6,0x44,0x80,0x7b,0x7b]
645         ctestsb {dfv=of} $123, 123(%r8,%rax,4)
646# CHECK: ctestsw {dfv=of} $1234, 123(%r8,%rax,4)
647# CHECK: encoding: [0x62,0xd4,0x45,0x08,0xf7,0x44,0x80,0x7b,0xd2,0x04]
648         ctestsw {dfv=of} $1234, 123(%r8,%rax,4)
649# CHECK: ctestsl {dfv=of} $123456, 123(%r8,%rax,4)
650# CHECK: encoding: [0x62,0xd4,0x44,0x08,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
651         ctestsl {dfv=of} $123456, 123(%r8,%rax,4)
652# CHECK: ctestsq {dfv=of} $123456, 123(%r8,%rax,4)
653# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
654         ctestsq {dfv=of} $123456, 123(%r8,%rax,4)
655# CHECK: ctestsb {dfv=of} %bl, 123(%r8,%rax,4)
656# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x84,0x5c,0x80,0x7b]
657         ctestsb {dfv=of} %bl, 123(%r8,%rax,4)
658# CHECK: ctestsw {dfv=of} %dx, 123(%r8,%rax,4)
659# CHECK: encoding: [0x62,0xd4,0x45,0x08,0x85,0x54,0x80,0x7b]
660         ctestsw {dfv=of} %dx, 123(%r8,%rax,4)
661# CHECK: ctestsl {dfv=of} %ecx, 123(%r8,%rax,4)
662# CHECK: encoding: [0x62,0xd4,0x44,0x08,0x85,0x4c,0x80,0x7b]
663         ctestsl {dfv=of} %ecx, 123(%r8,%rax,4)
664# CHECK: ctestsq {dfv=of} %r9, 123(%r8,%rax,4)
665# CHECK: encoding: [0x62,0x54,0xc4,0x08,0x85,0x4c,0x80,0x7b]
666         ctestsq {dfv=of} %r9, 123(%r8,%rax,4)
667# CHECK: ctestsb {dfv=of} $123, %bl
668# CHECK: encoding: [0x62,0xf4,0x44,0x08,0xf6,0xc3,0x7b]
669         ctestsb {dfv=of} $123, %bl
670# CHECK: ctestsw {dfv=of} $1234, %dx
671# CHECK: encoding: [0x62,0xf4,0x45,0x08,0xf7,0xc2,0xd2,0x04]
672         ctestsw {dfv=of} $1234, %dx
673# CHECK: ctestsl {dfv=of} $123456, %ecx
674# CHECK: encoding: [0x62,0xf4,0x44,0x08,0xf7,0xc1,0x40,0xe2,0x01,0x00]
675         ctestsl {dfv=of} $123456, %ecx
676# CHECK: ctestsq {dfv=of} $123456, %r9
677# CHECK: encoding: [0x62,0xd4,0xc4,0x08,0xf7,0xc1,0x40,0xe2,0x01,0x00]
678         ctestsq {dfv=of} $123456, %r9
679# CHECK: ctestsb {dfv=of} %bl, %dl
680# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x84,0xda]
681         ctestsb {dfv=of} %bl, %dl
682# CHECK: ctestsw {dfv=of} %dx, %ax
683# CHECK: encoding: [0x62,0xf4,0x45,0x08,0x85,0xd0]
684         ctestsw {dfv=of} %dx, %ax
685# CHECK: ctestsl {dfv=of} %ecx, %edx
686# CHECK: encoding: [0x62,0xf4,0x44,0x08,0x85,0xca]
687         ctestsl {dfv=of} %ecx, %edx
688# CHECK: ctestsq {dfv=of} %r9, %r15
689# CHECK: encoding: [0x62,0x54,0xc4,0x08,0x85,0xcf]
690         ctestsq {dfv=of} %r9, %r15
691# CHECK: ctesttb {dfv=of} $123, 123(%r8,%rax,4)
692# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0xf6,0x44,0x80,0x7b,0x7b]
693         ctesttb {dfv=of} $123, 123(%r8,%rax,4)
694# CHECK: ctesttw {dfv=of} $1234, 123(%r8,%rax,4)
695# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0xf7,0x44,0x80,0x7b,0xd2,0x04]
696         ctesttw {dfv=of} $1234, 123(%r8,%rax,4)
697# CHECK: ctesttl {dfv=of} $123456, 123(%r8,%rax,4)
698# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
699         ctesttl {dfv=of} $123456, 123(%r8,%rax,4)
700# CHECK: ctesttq {dfv=of} $123456, 123(%r8,%rax,4)
701# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
702         ctesttq {dfv=of} $123456, 123(%r8,%rax,4)
703# CHECK: ctesttb {dfv=of} %bl, 123(%r8,%rax,4)
704# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x84,0x5c,0x80,0x7b]
705         ctesttb {dfv=of} %bl, 123(%r8,%rax,4)
706# CHECK: ctesttw {dfv=of} %dx, 123(%r8,%rax,4)
707# CHECK: encoding: [0x62,0xd4,0x45,0x0a,0x85,0x54,0x80,0x7b]
708         ctesttw {dfv=of} %dx, 123(%r8,%rax,4)
709# CHECK: ctesttl {dfv=of} %ecx, 123(%r8,%rax,4)
710# CHECK: encoding: [0x62,0xd4,0x44,0x0a,0x85,0x4c,0x80,0x7b]
711         ctesttl {dfv=of} %ecx, 123(%r8,%rax,4)
712# CHECK: ctesttq {dfv=of} %r9, 123(%r8,%rax,4)
713# CHECK: encoding: [0x62,0x54,0xc4,0x0a,0x85,0x4c,0x80,0x7b]
714         ctesttq {dfv=of} %r9, 123(%r8,%rax,4)
715# CHECK: ctesttb {dfv=of} $123, %bl
716# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0xf6,0xc3,0x7b]
717         ctesttb {dfv=of} $123, %bl
718# CHECK: ctesttw {dfv=of} $1234, %dx
719# CHECK: encoding: [0x62,0xf4,0x45,0x0a,0xf7,0xc2,0xd2,0x04]
720         ctesttw {dfv=of} $1234, %dx
721# CHECK: ctesttl {dfv=of} $123456, %ecx
722# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0xf7,0xc1,0x40,0xe2,0x01,0x00]
723         ctesttl {dfv=of} $123456, %ecx
724# CHECK: ctesttq {dfv=of} $123456, %r9
725# CHECK: encoding: [0x62,0xd4,0xc4,0x0a,0xf7,0xc1,0x40,0xe2,0x01,0x00]
726         ctesttq {dfv=of} $123456, %r9
727# CHECK: ctesttb {dfv=of} %bl, %dl
728# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x84,0xda]
729         ctesttb {dfv=of} %bl, %dl
730# CHECK: ctesttw {dfv=of} %dx, %ax
731# CHECK: encoding: [0x62,0xf4,0x45,0x0a,0x85,0xd0]
732         ctesttw {dfv=of} %dx, %ax
733# CHECK: ctesttl {dfv=of} %ecx, %edx
734# CHECK: encoding: [0x62,0xf4,0x44,0x0a,0x85,0xca]
735         ctesttl {dfv=of} %ecx, %edx
736# CHECK: ctesttq {dfv=of} %r9, %r15
737# CHECK: encoding: [0x62,0x54,0xc4,0x0a,0x85,0xcf]
738         ctesttq {dfv=of} %r9, %r15
739# CHECK: ctesteb {dfv=of} $123, 123(%r8,%rax,4)
740# CHECK: encoding: [0x62,0xd4,0x44,0x04,0xf6,0x44,0x80,0x7b,0x7b]
741         ctesteb {dfv=of} $123, 123(%r8,%rax,4)
742# CHECK: ctestew {dfv=of} $1234, 123(%r8,%rax,4)
743# CHECK: encoding: [0x62,0xd4,0x45,0x04,0xf7,0x44,0x80,0x7b,0xd2,0x04]
744         ctestew {dfv=of} $1234, 123(%r8,%rax,4)
745# CHECK: ctestel {dfv=of} $123456, 123(%r8,%rax,4)
746# CHECK: encoding: [0x62,0xd4,0x44,0x04,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
747         ctestel {dfv=of} $123456, 123(%r8,%rax,4)
748# CHECK: ctesteq {dfv=of} $123456, 123(%r8,%rax,4)
749# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
750         ctesteq {dfv=of} $123456, 123(%r8,%rax,4)
751# CHECK: ctesteb {dfv=of} %bl, 123(%r8,%rax,4)
752# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x84,0x5c,0x80,0x7b]
753         ctesteb {dfv=of} %bl, 123(%r8,%rax,4)
754# CHECK: ctestew {dfv=of} %dx, 123(%r8,%rax,4)
755# CHECK: encoding: [0x62,0xd4,0x45,0x04,0x85,0x54,0x80,0x7b]
756         ctestew {dfv=of} %dx, 123(%r8,%rax,4)
757# CHECK: ctestel {dfv=of} %ecx, 123(%r8,%rax,4)
758# CHECK: encoding: [0x62,0xd4,0x44,0x04,0x85,0x4c,0x80,0x7b]
759         ctestel {dfv=of} %ecx, 123(%r8,%rax,4)
760# CHECK: ctesteq {dfv=of} %r9, 123(%r8,%rax,4)
761# CHECK: encoding: [0x62,0x54,0xc4,0x04,0x85,0x4c,0x80,0x7b]
762         ctesteq {dfv=of} %r9, 123(%r8,%rax,4)
763# CHECK: ctesteb {dfv=of} $123, %bl
764# CHECK: encoding: [0x62,0xf4,0x44,0x04,0xf6,0xc3,0x7b]
765         ctesteb {dfv=of} $123, %bl
766# CHECK: ctestew {dfv=of} $1234, %dx
767# CHECK: encoding: [0x62,0xf4,0x45,0x04,0xf7,0xc2,0xd2,0x04]
768         ctestew {dfv=of} $1234, %dx
769# CHECK: ctestel {dfv=of} $123456, %ecx
770# CHECK: encoding: [0x62,0xf4,0x44,0x04,0xf7,0xc1,0x40,0xe2,0x01,0x00]
771         ctestel {dfv=of} $123456, %ecx
772# CHECK: ctesteq {dfv=of} $123456, %r9
773# CHECK: encoding: [0x62,0xd4,0xc4,0x04,0xf7,0xc1,0x40,0xe2,0x01,0x00]
774         ctesteq {dfv=of} $123456, %r9
775# CHECK: ctesteb {dfv=of} %bl, %dl
776# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x84,0xda]
777         ctesteb {dfv=of} %bl, %dl
778# CHECK: ctestew {dfv=of} %dx, %ax
779# CHECK: encoding: [0x62,0xf4,0x45,0x04,0x85,0xd0]
780         ctestew {dfv=of} %dx, %ax
781# CHECK: ctestel {dfv=of} %ecx, %edx
782# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x85,0xca]
783         ctestel {dfv=of} %ecx, %edx
784# CHECK: ctesteq {dfv=of} %r9, %r15
785# CHECK: encoding: [0x62,0x54,0xc4,0x04,0x85,0xcf]
786         ctesteq {dfv=of} %r9, %r15
787
788## "{evex} test*" are alias for "ctestt* {dfv=}"
789
790# CHECK: ctesttb	{dfv=}	$123, 123(%r8,%rax,4)
791# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0xf6,0x44,0x80,0x7b,0x7b]
792         {evex} testb	$123, 123(%r8,%rax,4)
793# CHECK: ctesttw	{dfv=}	$1234, 123(%r8,%rax,4)
794# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0xf7,0x44,0x80,0x7b,0xd2,0x04]
795         {evex} testw	$1234, 123(%r8,%rax,4)
796# CHECK: ctesttl	{dfv=}	$123456, 123(%r8,%rax,4)
797# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
798         {evex} testl	$123456, 123(%r8,%rax,4)
799# CHECK: ctesttq	{dfv=}	$123456, 123(%r8,%rax,4)
800# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0xf7,0x44,0x80,0x7b,0x40,0xe2,0x01,0x00]
801         {evex} testq	$123456, 123(%r8,%rax,4)
802# CHECK: ctesttb	{dfv=}	%bl, 123(%r8,%rax,4)
803# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x84,0x5c,0x80,0x7b]
804         {evex} testb	%bl, 123(%r8,%rax,4)
805# CHECK: ctesttw	{dfv=}	%dx, 123(%r8,%rax,4)
806# CHECK: encoding: [0x62,0xd4,0x05,0x0a,0x85,0x54,0x80,0x7b]
807         {evex} testw	%dx, 123(%r8,%rax,4)
808# CHECK: ctesttl	{dfv=}	%ecx, 123(%r8,%rax,4)
809# CHECK: encoding: [0x62,0xd4,0x04,0x0a,0x85,0x4c,0x80,0x7b]
810         {evex} testl	%ecx, 123(%r8,%rax,4)
811# CHECK: ctesttq	{dfv=}	%r9, 123(%r8,%rax,4)
812# CHECK: encoding: [0x62,0x54,0x84,0x0a,0x85,0x4c,0x80,0x7b]
813         {evex} testq	%r9, 123(%r8,%rax,4)
814# CHECK: ctesttb	{dfv=}	$123, %bl
815# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0xf6,0xc3,0x7b]
816         {evex} testb	$123, %bl
817# CHECK: ctesttw	{dfv=}	$1234, %dx
818# CHECK: encoding: [0x62,0xf4,0x05,0x0a,0xf7,0xc2,0xd2,0x04]
819         {evex} testw	$1234, %dx
820# CHECK: ctesttl	{dfv=}	$123456, %ecx
821# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0xf7,0xc1,0x40,0xe2,0x01,0x00]
822         {evex} testl	$123456, %ecx
823# CHECK: ctesttq	{dfv=}	$123456, %r9
824# CHECK: encoding: [0x62,0xd4,0x84,0x0a,0xf7,0xc1,0x40,0xe2,0x01,0x00]
825         {evex} testq	$123456, %r9
826# CHECK: ctesttb	{dfv=}	%bl, %dl
827# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x84,0xda]
828         {evex} testb	%bl, %dl
829# CHECK: ctesttw	{dfv=}	%dx, %ax
830# CHECK: encoding: [0x62,0xf4,0x05,0x0a,0x85,0xd0]
831         {evex} testw	%dx, %ax
832# CHECK: ctesttl	{dfv=}	%ecx, %edx
833# CHECK: encoding: [0x62,0xf4,0x04,0x0a,0x85,0xca]
834         {evex} testl	%ecx, %edx
835# CHECK: ctesttq	{dfv=}	%r9, %r15
836# CHECK: encoding: [0x62,0x54,0x84,0x0a,0x85,0xcf]
837         {evex} testq	%r9, %r15
838
839## Condition Code Aliases
840
841# CHECK: ctestbl {dfv=of} %ecx, %edx
842# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x85,0xca]
843         ctestcl {dfv=of} %ecx, %edx
844# CHECK: ctestbl {dfv=of} %ecx, %edx
845# CHECK: encoding: [0x62,0xf4,0x44,0x02,0x85,0xca]
846         ctestnael {dfv=of} %ecx, %edx
847# CHECK: ctestael {dfv=of} %ecx, %edx
848# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x85,0xca]
849         ctestnbl {dfv=of} %ecx, %edx
850# CHECK: ctestael {dfv=of} %ecx, %edx
851# CHECK: encoding: [0x62,0xf4,0x44,0x03,0x85,0xca]
852         ctestncl {dfv=of} %ecx, %edx
853# CHECK: ctestel {dfv=of} %ecx, %edx
854# CHECK: encoding: [0x62,0xf4,0x44,0x04,0x85,0xca]
855         ctestzl {dfv=of} %ecx, %edx
856# CHECK: ctestnel {dfv=of} %ecx, %edx
857# CHECK: encoding: [0x62,0xf4,0x44,0x05,0x85,0xca]
858         ctestnzl {dfv=of} %ecx, %edx
859# CHECK: ctestal {dfv=of} %ecx, %edx
860# CHECK: encoding: [0x62,0xf4,0x44,0x07,0x85,0xca]
861         ctestnbel {dfv=of} %ecx, %edx
862# CHECK: ctestll {dfv=of} %ecx, %edx
863# CHECK: encoding: [0x62,0xf4,0x44,0x0c,0x85,0xca]
864         ctestngel {dfv=of} %ecx, %edx
865# CHECK: ctestgel {dfv=of} %ecx, %edx
866# CHECK: encoding: [0x62,0xf4,0x44,0x0d,0x85,0xca]
867         ctestnll {dfv=of} %ecx, %edx
868# CHECK: ctestlel {dfv=of} %ecx, %edx
869# CHECK: encoding: [0x62,0xf4,0x44,0x0e,0x85,0xca]
870         ctestngl {dfv=of} %ecx, %edx
871# CHECK: ctestgl {dfv=of} %ecx, %edx
872# CHECK: encoding: [0x62,0xf4,0x44,0x0f,0x85,0xca]
873         ctestnlel {dfv=of} %ecx, %edx
874# CHECK: ctestbel {dfv=of} %ecx, %edx
875# CHECK: encoding: [0x62,0xf4,0x44,0x06,0x85,0xca]
876         ctestnal {dfv=of} %ecx, %edx
877