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