[clangd] Re-land "support outgoing calls in call hierarchy" (#117673)
[llvm-project.git] / llvm / test / MC / SystemZ / insn-good-z14.s
blobaf2663bc50c2d70687703ef93038c23cdb350386
1 # For z14 and above.
2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z14 -show-encoding %s \
3 # RUN: | FileCheck %s
4 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch12 -show-encoding %s \
5 # RUN: | FileCheck %s
7 #CHECK: agh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x38]
8 #CHECK: agh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x38]
9 #CHECK: agh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x38]
10 #CHECK: agh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x38]
11 #CHECK: agh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x38]
12 #CHECK: agh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x38]
13 #CHECK: agh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x38]
14 #CHECK: agh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x38]
15 #CHECK: agh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x38]
16 #CHECK: agh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x38]
17 #CHECK: agh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x38]
18 #CHECK: agh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x38]
19 #CHECK: agh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x38]
20 #CHECK: agh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x38]
21 #CHECK: agh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x38]
22 #CHECK: agh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x38]
23 #CHECK: agh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x38]
24 #CHECK: agh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x38]
25 #CHECK: agh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x38]
26 #CHECK: agh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x38]
28 agh %r0, -524288
29 agh %r0, -1
30 agh %r0, 0
31 agh %r0, 1
32 agh %r0, 524287
33 agh %r0, 0(%r1)
34 agh %r0, 0(%r15)
35 agh %r0, 524287(%r1,%r15)
36 agh %r0, 524287(%r15,%r1)
37 agh %r15, 0
38 agh 0, -524288
39 agh 0, -1
40 agh 0, 0
41 agh 0, 1
42 agh 0, 524287
43 agh 0, 0(1)
44 agh 0, 0(15)
45 agh 0, 524287(1,15)
46 agh 0, 524287(15,1)
47 agh 15, 0
49 #CHECK: bi -524288 # encoding: [0xe3,0xf0,0x00,0x00,0x80,0x47]
50 #CHECK: bi -1 # encoding: [0xe3,0xf0,0x0f,0xff,0xff,0x47]
51 #CHECK: bi 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47]
52 #CHECK: bi 1 # encoding: [0xe3,0xf0,0x00,0x01,0x00,0x47]
53 #CHECK: bi 524287 # encoding: [0xe3,0xf0,0x0f,0xff,0x7f,0x47]
54 #CHECK: bi 0(%r1) # encoding: [0xe3,0xf0,0x10,0x00,0x00,0x47]
55 #CHECK: bi 0(%r15) # encoding: [0xe3,0xf0,0xf0,0x00,0x00,0x47]
56 #CHECK: bi 524287(%r1,%r15) # encoding: [0xe3,0xf1,0xff,0xff,0x7f,0x47]
57 #CHECK: bi 524287(%r15,%r1) # encoding: [0xe3,0xff,0x1f,0xff,0x7f,0x47]
59 bi -524288
60 bi -1
61 bi 0
62 bi 1
63 bi 524287
64 bi 0(%r1)
65 bi 0(%r15)
66 bi 524287(%r1,%r15)
67 bi 524287(%r15,%r1)
69 #CHECK: bic 0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x47]
70 #CHECK: bic 0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x47]
71 #CHECK: bic 0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x47]
72 #CHECK: bic 0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x47]
73 #CHECK: bic 0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x47]
74 #CHECK: bic 0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x47]
75 #CHECK: bic 0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x47]
76 #CHECK: bic 0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x47]
77 #CHECK: bic 0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x47]
78 #CHECK: bic 15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47]
80 bic 0, -524288
81 bic 0, -1
82 bic 0, 0
83 bic 0, 1
84 bic 0, 524287
85 bic 0, 0(%r1)
86 bic 0, 0(%r15)
87 bic 0, 524287(%r1,%r15)
88 bic 0, 524287(%r15,%r1)
89 bic 15, 0
91 #CHECK: bic 1, 0(%r7) # encoding: [0xe3,0x10,0x70,0x00,0x00,0x47]
92 #CHECK: bio 0(%r15) # encoding: [0xe3,0x10,0xf0,0x00,0x00,0x47]
94 bic 1, 0(%r7)
95 bio 0(%r15)
97 #CHECK: bic 2, 0(%r7) # encoding: [0xe3,0x20,0x70,0x00,0x00,0x47]
98 #CHECK: bih 0(%r15) # encoding: [0xe3,0x20,0xf0,0x00,0x00,0x47]
99 #CHECK: bip 0(%r14) # encoding: [0xe3,0x20,0xe0,0x00,0x00,0x47]
101 bic 2, 0(%r7)
102 bih 0(%r15)
103 bip 0(%r14)
105 #CHECK: bic 3, 0(%r7) # encoding: [0xe3,0x30,0x70,0x00,0x00,0x47]
106 #CHECK: binle 0(%r15) # encoding: [0xe3,0x30,0xf0,0x00,0x00,0x47]
108 bic 3, 0(%r7)
109 binle 0(%r15)
111 #CHECK: bic 4, 0(%r7) # encoding: [0xe3,0x40,0x70,0x00,0x00,0x47]
112 #CHECK: bil 0(%r15) # encoding: [0xe3,0x40,0xf0,0x00,0x00,0x47]
113 #CHECK: bim 0(%r13) # encoding: [0xe3,0x40,0xd0,0x00,0x00,0x47]
115 bic 4, 0(%r7)
116 bil 0(%r15)
117 bim 0(%r13)
119 #CHECK: bic 5, 0(%r7) # encoding: [0xe3,0x50,0x70,0x00,0x00,0x47]
120 #CHECK: binhe 0(%r15) # encoding: [0xe3,0x50,0xf0,0x00,0x00,0x47]
122 bic 5, 0(%r7)
123 binhe 0(%r15)
125 #CHECK: bic 6, 0(%r7) # encoding: [0xe3,0x60,0x70,0x00,0x00,0x47]
126 #CHECK: bilh 0(%r15) # encoding: [0xe3,0x60,0xf0,0x00,0x00,0x47]
128 bic 6, 0(%r7)
129 bilh 0(%r15)
131 #CHECK: bic 7, 0(%r7) # encoding: [0xe3,0x70,0x70,0x00,0x00,0x47]
132 #CHECK: bine 0(%r15) # encoding: [0xe3,0x70,0xf0,0x00,0x00,0x47]
133 #CHECK: binz 0(%r12) # encoding: [0xe3,0x70,0xc0,0x00,0x00,0x47]
135 bic 7, 0(%r7)
136 bine 0(%r15)
137 binz 0(%r12)
139 #CHECK: bic 8, 0(%r7) # encoding: [0xe3,0x80,0x70,0x00,0x00,0x47]
140 #CHECK: bie 0(%r15) # encoding: [0xe3,0x80,0xf0,0x00,0x00,0x47]
141 #CHECK: biz 0(%r11) # encoding: [0xe3,0x80,0xb0,0x00,0x00,0x47]
143 bic 8, 0(%r7)
144 bie 0(%r15)
145 biz 0(%r11)
147 #CHECK: bic 9, 0(%r7) # encoding: [0xe3,0x90,0x70,0x00,0x00,0x47]
148 #CHECK: binlh 0(%r15) # encoding: [0xe3,0x90,0xf0,0x00,0x00,0x47]
150 bic 9, 0(%r7)
151 binlh 0(%r15)
153 #CHECK: bic 10, 0(%r7) # encoding: [0xe3,0xa0,0x70,0x00,0x00,0x47]
154 #CHECK: bihe 0(%r15) # encoding: [0xe3,0xa0,0xf0,0x00,0x00,0x47]
156 bic 10, 0(%r7)
157 bihe 0(%r15)
159 #CHECK: bic 11, 0(%r7) # encoding: [0xe3,0xb0,0x70,0x00,0x00,0x47]
160 #CHECK: binl 0(%r15) # encoding: [0xe3,0xb0,0xf0,0x00,0x00,0x47]
161 #CHECK: binm 0(%r10) # encoding: [0xe3,0xb0,0xa0,0x00,0x00,0x47]
163 bic 11, 0(%r7)
164 binl 0(%r15)
165 binm 0(%r10)
167 #CHECK: bic 12, 0(%r7) # encoding: [0xe3,0xc0,0x70,0x00,0x00,0x47]
168 #CHECK: bile 0(%r15) # encoding: [0xe3,0xc0,0xf0,0x00,0x00,0x47]
170 bic 12, 0(%r7)
171 bile 0(%r15)
173 #CHECK: bic 13, 0(%r7) # encoding: [0xe3,0xd0,0x70,0x00,0x00,0x47]
174 #CHECK: binh 0(%r15) # encoding: [0xe3,0xd0,0xf0,0x00,0x00,0x47]
175 #CHECK: binp 0(%r9) # encoding: [0xe3,0xd0,0x90,0x00,0x00,0x47]
177 bic 13, 0(%r7)
178 binh 0(%r15)
179 binp 0(%r9)
181 #CHECK: bic 14, 0(%r7) # encoding: [0xe3,0xe0,0x70,0x00,0x00,0x47]
182 #CHECK: bino 0(%r15) # encoding: [0xe3,0xe0,0xf0,0x00,0x00,0x47]
184 bic 14, 0(%r7)
185 bino 0(%r15)
187 #CHECK: irbm %r0, %r0 # encoding: [0xb9,0xac,0x00,0x00]
188 #CHECK: irbm %r0, %r15 # encoding: [0xb9,0xac,0x00,0x0f]
189 #CHECK: irbm %r15, %r0 # encoding: [0xb9,0xac,0x00,0xf0]
190 #CHECK: irbm %r7, %r8 # encoding: [0xb9,0xac,0x00,0x78]
191 #CHECK: irbm %r15, %r15 # encoding: [0xb9,0xac,0x00,0xff]
193 irbm %r0,%r0
194 irbm %r0,%r15
195 irbm %r15,%r0
196 irbm %r7,%r8
197 irbm %r15,%r15
199 #CHECK: kma %r2, %r2, %r2 # encoding: [0xb9,0x29,0x20,0x22]
200 #CHECK: kma %r2, %r8, %r14 # encoding: [0xb9,0x29,0x80,0x2e]
201 #CHECK: kma %r14, %r8, %r2 # encoding: [0xb9,0x29,0x80,0xe2]
202 #CHECK: kma %r6, %r8, %r10 # encoding: [0xb9,0x29,0x80,0x6a]
204 kma %r2, %r2, %r2
205 kma %r2, %r8, %r14
206 kma %r14, %r8, %r2
207 kma %r6, %r8, %r10
209 #CHECK: lgg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4c]
210 #CHECK: lgg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4c]
211 #CHECK: lgg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4c]
212 #CHECK: lgg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4c]
213 #CHECK: lgg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4c]
214 #CHECK: lgg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4c]
215 #CHECK: lgg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4c]
216 #CHECK: lgg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4c]
217 #CHECK: lgg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4c]
218 #CHECK: lgg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x4c]
220 lgg %r0, -524288
221 lgg %r0, -1
222 lgg %r0, 0
223 lgg %r0, 1
224 lgg %r0, 524287
225 lgg %r0, 0(%r1)
226 lgg %r0, 0(%r15)
227 lgg %r0, 524287(%r1,%r15)
228 lgg %r0, 524287(%r15,%r1)
229 lgg %r15, 0
231 #CHECK: lgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4d]
232 #CHECK: lgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4d]
233 #CHECK: lgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4d]
234 #CHECK: lgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4d]
235 #CHECK: lgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4d]
236 #CHECK: lgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4d]
237 #CHECK: lgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4d]
238 #CHECK: lgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4d]
239 #CHECK: lgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4d]
241 lgsc %r0, -524288
242 lgsc %r0, -1
243 lgsc %r0, 0
244 lgsc %r0, 1
245 lgsc %r0, 524287
246 lgsc %r0, 0(%r1)
247 lgsc %r0, 0(%r15)
248 lgsc %r0, 524287(%r1,%r15)
249 lgsc %r0, 524287(%r15,%r1)
251 #CHECK: llgfsg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x48]
252 #CHECK: llgfsg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x48]
253 #CHECK: llgfsg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x48]
254 #CHECK: llgfsg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x48]
255 #CHECK: llgfsg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x48]
256 #CHECK: llgfsg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x48]
257 #CHECK: llgfsg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x48]
258 #CHECK: llgfsg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x48]
259 #CHECK: llgfsg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x48]
260 #CHECK: llgfsg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x48]
262 llgfsg %r0, -524288
263 llgfsg %r0, -1
264 llgfsg %r0, 0
265 llgfsg %r0, 1
266 llgfsg %r0, 524287
267 llgfsg %r0, 0(%r1)
268 llgfsg %r0, 0(%r15)
269 llgfsg %r0, 524287(%r1,%r15)
270 llgfsg %r0, 524287(%r15,%r1)
271 llgfsg %r15, 0
273 #CHECK: mg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x84]
274 #CHECK: mg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x84]
275 #CHECK: mg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x84]
276 #CHECK: mg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x84]
277 #CHECK: mg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x84]
278 #CHECK: mg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x84]
279 #CHECK: mg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x84]
280 #CHECK: mg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x84]
281 #CHECK: mg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x84]
282 #CHECK: mg %r14, 0 # encoding: [0xe3,0xe0,0x00,0x00,0x00,0x84]
284 mg %r0, -524288
285 mg %r0, -1
286 mg %r0, 0
287 mg %r0, 1
288 mg %r0, 524287
289 mg %r0, 0(%r1)
290 mg %r0, 0(%r15)
291 mg %r0, 524287(%r1,%r15)
292 mg %r0, 524287(%r15,%r1)
293 mg %r14, 0
295 #CHECK: mgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x3c]
296 #CHECK: mgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x3c]
297 #CHECK: mgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x3c]
298 #CHECK: mgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x3c]
299 #CHECK: mgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x3c]
300 #CHECK: mgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x3c]
301 #CHECK: mgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x3c]
302 #CHECK: mgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x3c]
303 #CHECK: mgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x3c]
304 #CHECK: mgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x3c]
306 mgh %r0, -524288
307 mgh %r0, -1
308 mgh %r0, 0
309 mgh %r0, 1
310 mgh %r0, 524287
311 mgh %r0, 0(%r1)
312 mgh %r0, 0(%r15)
313 mgh %r0, 524287(%r1,%r15)
314 mgh %r0, 524287(%r15,%r1)
315 mgh %r15, 0
317 #CHECK: mgrk %r0, %r0, %r0 # encoding: [0xb9,0xec,0x00,0x00]
318 #CHECK: mgrk %r0, %r0, %r15 # encoding: [0xb9,0xec,0xf0,0x00]
319 #CHECK: mgrk %r0, %r15, %r0 # encoding: [0xb9,0xec,0x00,0x0f]
320 #CHECK: mgrk %r14, %r0, %r0 # encoding: [0xb9,0xec,0x00,0xe0]
321 #CHECK: mgrk %r6, %r8, %r9 # encoding: [0xb9,0xec,0x90,0x68]
323 mgrk %r0,%r0,%r0
324 mgrk %r0,%r0,%r15
325 mgrk %r0,%r15,%r0
326 mgrk %r14,%r0,%r0
327 mgrk %r6,%r8,%r9
329 #CHECK: msc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x53]
330 #CHECK: msc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x53]
331 #CHECK: msc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x53]
332 #CHECK: msc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x53]
333 #CHECK: msc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x53]
334 #CHECK: msc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x53]
335 #CHECK: msc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x53]
336 #CHECK: msc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x53]
337 #CHECK: msc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x53]
338 #CHECK: msc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x53]
340 msc %r0, -524288
341 msc %r0, -1
342 msc %r0, 0
343 msc %r0, 1
344 msc %r0, 524287
345 msc %r0, 0(%r1)
346 msc %r0, 0(%r15)
347 msc %r0, 524287(%r1,%r15)
348 msc %r0, 524287(%r15,%r1)
349 msc %r15, 0
351 #CHECK: msgc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x83]
352 #CHECK: msgc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x83]
353 #CHECK: msgc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x83]
354 #CHECK: msgc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x83]
355 #CHECK: msgc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x83]
356 #CHECK: msgc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x83]
357 #CHECK: msgc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x83]
358 #CHECK: msgc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x83]
359 #CHECK: msgc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x83]
360 #CHECK: msgc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x83]
362 msgc %r0, -524288
363 msgc %r0, -1
364 msgc %r0, 0
365 msgc %r0, 1
366 msgc %r0, 524287
367 msgc %r0, 0(%r1)
368 msgc %r0, 0(%r15)
369 msgc %r0, 524287(%r1,%r15)
370 msgc %r0, 524287(%r15,%r1)
371 msgc %r15, 0
373 #CHECK: msrkc %r0, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0x00]
374 #CHECK: msrkc %r0, %r0, %r15 # encoding: [0xb9,0xfd,0xf0,0x00]
375 #CHECK: msrkc %r0, %r15, %r0 # encoding: [0xb9,0xfd,0x00,0x0f]
376 #CHECK: msrkc %r15, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0xf0]
377 #CHECK: msrkc %r7, %r8, %r9 # encoding: [0xb9,0xfd,0x90,0x78]
379 msrkc %r0,%r0,%r0
380 msrkc %r0,%r0,%r15
381 msrkc %r0,%r15,%r0
382 msrkc %r15,%r0,%r0
383 msrkc %r7,%r8,%r9
385 #CHECK: msgrkc %r0, %r0, %r0 # encoding: [0xb9,0xed,0x00,0x00]
386 #CHECK: msgrkc %r0, %r0, %r15 # encoding: [0xb9,0xed,0xf0,0x00]
387 #CHECK: msgrkc %r0, %r15, %r0 # encoding: [0xb9,0xed,0x00,0x0f]
388 #CHECK: msgrkc %r15, %r0, %r0 # encoding: [0xb9,0xed,0x00,0xf0]
389 #CHECK: msgrkc %r7, %r8, %r9 # encoding: [0xb9,0xed,0x90,0x78]
391 msgrkc %r0,%r0,%r0
392 msgrkc %r0,%r0,%r15
393 msgrkc %r0,%r15,%r0
394 msgrkc %r15,%r0,%r0
395 msgrkc %r7,%r8,%r9
397 #CHECK: prno %r2, %r2 # encoding: [0xb9,0x3c,0x00,0x22]
398 #CHECK: prno %r2, %r14 # encoding: [0xb9,0x3c,0x00,0x2e]
399 #CHECK: prno %r14, %r2 # encoding: [0xb9,0x3c,0x00,0xe2]
400 #CHECK: prno %r6, %r10 # encoding: [0xb9,0x3c,0x00,0x6a]
402 prno %r2, %r2
403 prno %r2, %r14
404 prno %r14, %r2
405 prno %r6, %r10
407 #CHECK: sgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x39]
408 #CHECK: sgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x39]
409 #CHECK: sgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x39]
410 #CHECK: sgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x39]
411 #CHECK: sgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x39]
412 #CHECK: sgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x39]
413 #CHECK: sgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x39]
414 #CHECK: sgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x39]
415 #CHECK: sgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x39]
416 #CHECK: sgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x39]
418 sgh %r0, -524288
419 sgh %r0, -1
420 sgh %r0, 0
421 sgh %r0, 1
422 sgh %r0, 524287
423 sgh %r0, 0(%r1)
424 sgh %r0, 0(%r15)
425 sgh %r0, 524287(%r1,%r15)
426 sgh %r0, 524287(%r15,%r1)
427 sgh %r15, 0
429 #CHECK: stgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x49]
430 #CHECK: stgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x49]
431 #CHECK: stgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x49]
432 #CHECK: stgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x49]
433 #CHECK: stgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x49]
434 #CHECK: stgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x49]
435 #CHECK: stgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x49]
436 #CHECK: stgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x49]
437 #CHECK: stgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x49]
439 stgsc %r0, -524288
440 stgsc %r0, -1
441 stgsc %r0, 0
442 stgsc %r0, 1
443 stgsc %r0, 524287
444 stgsc %r0, 0(%r1)
445 stgsc %r0, 0(%r15)
446 stgsc %r0, 524287(%r1,%r15)
447 stgsc %r0, 524287(%r15,%r1)
449 #CHECK: vap %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x71]
450 #CHECK: vap %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x71]
451 #CHECK: vap %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x71]
452 #CHECK: vap %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x71]
453 #CHECK: vap %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x71]
454 #CHECK: vap %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x71]
455 #CHECK: vap %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x71]
457 vap %v0, %v0, %v0, 0, 0
458 vap %v0, %v0, %v0, 0, 15
459 vap %v0, %v0, %v0, 255, 0
460 vap %v0, %v0, %v31, 0, 0
461 vap %v0, %v31, %v0, 0, 0
462 vap %v31, %v0, %v0, 0, 0
463 vap %v13, %v17, %v21, 0x79, 11
465 #CHECK: vbperm %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x85]
466 #CHECK: vbperm %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x85]
467 #CHECK: vbperm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x85]
468 #CHECK: vbperm %v0, %v15, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x85]
469 #CHECK: vbperm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x85]
470 #CHECK: vbperm %v15, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x85]
471 #CHECK: vbperm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x85]
472 #CHECK: vbperm %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x85]
474 vbperm %v0, %v0, %v0
475 vbperm %v0, %v0, %v15
476 vbperm %v0, %v0, %v31
477 vbperm %v0, %v15, %v0
478 vbperm %v0, %v31, %v0
479 vbperm %v15, %v0, %v0
480 vbperm %v31, %v0, %v0
481 vbperm %v18, %v3, %v20
483 #CHECK: vcp %v0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x77]
484 #CHECK: vcp %v0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x77]
485 #CHECK: vcp %v15, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x77]
486 #CHECK: vcp %v31, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x77]
487 #CHECK: vcp %v0, %v15, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x77]
488 #CHECK: vcp %v0, %v31, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x77]
489 #CHECK: vcp %v3, %v18, 4 # encoding: [0xe6,0x03,0x20,0x40,0x02,0x77]
491 vcp %v0, %v0, 0
492 vcp %v0, %v0, 15
493 vcp %v15, %v0, 0
494 vcp %v31, %v0, 0
495 vcp %v0, %v15, 0
496 vcp %v0, %v31, 0
497 vcp %v3, %v18, 4
499 #CHECK: vcvb %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x50]
500 #CHECK: vcvb %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x50]
501 #CHECK: vcvb %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x50]
502 #CHECK: vcvb %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x50]
503 #CHECK: vcvb %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x50]
504 #CHECK: vcvb %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x50]
506 vcvb %r0, %v0, 0
507 vcvb %r0, %v0, 15
508 vcvb %r15, %v0, 0
509 vcvb %r0, %v15, 0
510 vcvb %r0, %v31, 0
511 vcvb %r3, %v18, 4
513 #CHECK: vcvbg %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x52]
514 #CHECK: vcvbg %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x52]
515 #CHECK: vcvbg %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x52]
516 #CHECK: vcvbg %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x52]
517 #CHECK: vcvbg %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x52]
518 #CHECK: vcvbg %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x52]
520 vcvbg %r0, %v0, 0
521 vcvbg %r0, %v0, 15
522 vcvbg %r15, %v0, 0
523 vcvbg %r0, %v15, 0
524 vcvbg %r0, %v31, 0
525 vcvbg %r3, %v18, 4
527 #CHECK: vcvd %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x58]
528 #CHECK: vcvd %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x58]
529 #CHECK: vcvd %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x58]
530 #CHECK: vcvd %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x58]
531 #CHECK: vcvd %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x58]
532 #CHECK: vcvd %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x58]
533 #CHECK: vcvd %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x58]
535 vcvd %v0, %r0, 0, 0
536 vcvd %v0, %r0, 0, 15
537 vcvd %v0, %r0, 255, 0
538 vcvd %v0, %r15, 0, 0
539 vcvd %v15, %r0, 0, 0
540 vcvd %v31, %r0, 0, 0
541 vcvd %v18, %r9, 0x34, 11
543 #CHECK: vcvdg %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5a]
544 #CHECK: vcvdg %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5a]
545 #CHECK: vcvdg %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5a]
546 #CHECK: vcvdg %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5a]
547 #CHECK: vcvdg %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5a]
548 #CHECK: vcvdg %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5a]
549 #CHECK: vcvdg %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x5a]
551 vcvdg %v0, %r0, 0, 0
552 vcvdg %v0, %r0, 0, 15
553 vcvdg %v0, %r0, 255, 0
554 vcvdg %v0, %r15, 0, 0
555 vcvdg %v15, %r0, 0, 0
556 vcvdg %v31, %r0, 0, 0
557 vcvdg %v18, %r9, 0x34, 11
559 #CHECK: vdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7a]
560 #CHECK: vdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7a]
561 #CHECK: vdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7a]
562 #CHECK: vdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7a]
563 #CHECK: vdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7a]
564 #CHECK: vdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7a]
565 #CHECK: vdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7a]
567 vdp %v0, %v0, %v0, 0, 0
568 vdp %v0, %v0, %v0, 0, 15
569 vdp %v0, %v0, %v0, 255, 0
570 vdp %v0, %v0, %v31, 0, 0
571 vdp %v0, %v31, %v0, 0, 0
572 vdp %v31, %v0, %v0, 0, 0
573 vdp %v13, %v17, %v21, 0x79, 11
575 #CHECK: vfasb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe3]
576 #CHECK: vfasb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe3]
577 #CHECK: vfasb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe3]
578 #CHECK: vfasb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe3]
579 #CHECK: vfasb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe3]
581 vfasb %v0, %v0, %v0
582 vfasb %v0, %v0, %v31
583 vfasb %v0, %v31, %v0
584 vfasb %v31, %v0, %v0
585 vfasb %v18, %v3, %v20
587 #CHECK: vfcesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe8]
588 #CHECK: vfcesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe8]
589 #CHECK: vfcesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe8]
590 #CHECK: vfcesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe8]
591 #CHECK: vfcesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe8]
593 vfcesb %v0, %v0, %v0
594 vfcesb %v0, %v0, %v31
595 vfcesb %v0, %v31, %v0
596 vfcesb %v31, %v0, %v0
597 vfcesb %v18, %v3, %v20
599 #CHECK: vfcesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xe8]
600 #CHECK: vfcesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xe8]
601 #CHECK: vfcesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xe8]
602 #CHECK: vfcesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xe8]
603 #CHECK: vfcesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xe8]
605 vfcesbs %v0, %v0, %v0
606 vfcesbs %v0, %v0, %v31
607 vfcesbs %v0, %v31, %v0
608 vfcesbs %v31, %v0, %v0
609 vfcesbs %v18, %v3, %v20
611 #CHECK: vfchsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xeb]
612 #CHECK: vfchsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xeb]
613 #CHECK: vfchsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xeb]
614 #CHECK: vfchsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xeb]
615 #CHECK: vfchsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xeb]
617 vfchsb %v0, %v0, %v0
618 vfchsb %v0, %v0, %v31
619 vfchsb %v0, %v31, %v0
620 vfchsb %v31, %v0, %v0
621 vfchsb %v18, %v3, %v20
623 #CHECK: vfchsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xeb]
624 #CHECK: vfchsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xeb]
625 #CHECK: vfchsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xeb]
626 #CHECK: vfchsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xeb]
627 #CHECK: vfchsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xeb]
629 vfchsbs %v0, %v0, %v0
630 vfchsbs %v0, %v0, %v31
631 vfchsbs %v0, %v31, %v0
632 vfchsbs %v31, %v0, %v0
633 vfchsbs %v18, %v3, %v20
635 #CHECK: vfchesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xea]
636 #CHECK: vfchesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xea]
637 #CHECK: vfchesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xea]
638 #CHECK: vfchesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xea]
639 #CHECK: vfchesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xea]
641 vfchesb %v0, %v0, %v0
642 vfchesb %v0, %v0, %v31
643 vfchesb %v0, %v31, %v0
644 vfchesb %v31, %v0, %v0
645 vfchesb %v18, %v3, %v20
647 #CHECK: vfchesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xea]
648 #CHECK: vfchesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xea]
649 #CHECK: vfchesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xea]
650 #CHECK: vfchesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xea]
651 #CHECK: vfchesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xea]
653 vfchesbs %v0, %v0, %v0
654 vfchesbs %v0, %v0, %v31
655 vfchesbs %v0, %v31, %v0
656 vfchesbs %v31, %v0, %v0
657 vfchesbs %v18, %v3, %v20
659 #CHECK: vfdsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe5]
660 #CHECK: vfdsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe5]
661 #CHECK: vfdsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe5]
662 #CHECK: vfdsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe5]
663 #CHECK: vfdsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe5]
665 vfdsb %v0, %v0, %v0
666 vfdsb %v0, %v0, %v31
667 vfdsb %v0, %v31, %v0
668 vfdsb %v31, %v0, %v0
669 vfdsb %v18, %v3, %v20
671 #CHECK: vfisb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc7]
672 #CHECK: vfisb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc7]
673 #CHECK: vfisb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc7]
674 #CHECK: vfisb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x07,0x20,0xc7]
675 #CHECK: vfisb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc7]
676 #CHECK: vfisb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc7]
677 #CHECK: vfisb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc7]
679 vfisb %v0, %v0, 0, 0
680 vfisb %v0, %v0, 0, 15
681 vfisb %v0, %v0, 4, 0
682 vfisb %v0, %v0, 7, 0
683 vfisb %v0, %v31, 0, 0
684 vfisb %v31, %v0, 0, 0
685 vfisb %v14, %v17, 4, 10
687 #CHECK: vfkedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xe8]
688 #CHECK: vfkedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xe8]
689 #CHECK: vfkedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xe8]
690 #CHECK: vfkedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xe8]
691 #CHECK: vfkedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xe8]
693 vfkedb %v0, %v0, %v0
694 vfkedb %v0, %v0, %v31
695 vfkedb %v0, %v31, %v0
696 vfkedb %v31, %v0, %v0
697 vfkedb %v18, %v3, %v20
699 #CHECK: vfkedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xe8]
700 #CHECK: vfkedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xe8]
701 #CHECK: vfkedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xe8]
702 #CHECK: vfkedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xe8]
703 #CHECK: vfkedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xe8]
705 vfkedbs %v0, %v0, %v0
706 vfkedbs %v0, %v0, %v31
707 vfkedbs %v0, %v31, %v0
708 vfkedbs %v31, %v0, %v0
709 vfkedbs %v18, %v3, %v20
711 #CHECK: vfkesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xe8]
712 #CHECK: vfkesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xe8]
713 #CHECK: vfkesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xe8]
714 #CHECK: vfkesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xe8]
715 #CHECK: vfkesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xe8]
717 vfkesb %v0, %v0, %v0
718 vfkesb %v0, %v0, %v31
719 vfkesb %v0, %v31, %v0
720 vfkesb %v31, %v0, %v0
721 vfkesb %v18, %v3, %v20
723 #CHECK: vfkesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xe8]
724 #CHECK: vfkesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xe8]
725 #CHECK: vfkesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xe8]
726 #CHECK: vfkesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xe8]
727 #CHECK: vfkesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xe8]
729 vfkesbs %v0, %v0, %v0
730 vfkesbs %v0, %v0, %v31
731 vfkesbs %v0, %v31, %v0
732 vfkesbs %v31, %v0, %v0
733 vfkesbs %v18, %v3, %v20
735 #CHECK: vfkhdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xeb]
736 #CHECK: vfkhdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xeb]
737 #CHECK: vfkhdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xeb]
738 #CHECK: vfkhdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xeb]
739 #CHECK: vfkhdb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xeb]
741 vfkhdb %v0, %v0, %v0
742 vfkhdb %v0, %v0, %v31
743 vfkhdb %v0, %v31, %v0
744 vfkhdb %v31, %v0, %v0
745 vfkhdb %v18, %v3, %v20
747 #CHECK: vfkhdbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xeb]
748 #CHECK: vfkhdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xeb]
749 #CHECK: vfkhdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xeb]
750 #CHECK: vfkhdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xeb]
751 #CHECK: vfkhdbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xeb]
753 vfkhdbs %v0, %v0, %v0
754 vfkhdbs %v0, %v0, %v31
755 vfkhdbs %v0, %v31, %v0
756 vfkhdbs %v31, %v0, %v0
757 vfkhdbs %v18, %v3, %v20
759 #CHECK: vfkhsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xeb]
760 #CHECK: vfkhsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xeb]
761 #CHECK: vfkhsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xeb]
762 #CHECK: vfkhsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xeb]
763 #CHECK: vfkhsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xeb]
765 vfkhsb %v0, %v0, %v0
766 vfkhsb %v0, %v0, %v31
767 vfkhsb %v0, %v31, %v0
768 vfkhsb %v31, %v0, %v0
769 vfkhsb %v18, %v3, %v20
771 #CHECK: vfkhsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xeb]
772 #CHECK: vfkhsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xeb]
773 #CHECK: vfkhsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xeb]
774 #CHECK: vfkhsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xeb]
775 #CHECK: vfkhsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xeb]
777 vfkhsbs %v0, %v0, %v0
778 vfkhsbs %v0, %v0, %v31
779 vfkhsbs %v0, %v31, %v0
780 vfkhsbs %v31, %v0, %v0
781 vfkhsbs %v18, %v3, %v20
783 #CHECK: vfkhedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xea]
784 #CHECK: vfkhedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xea]
785 #CHECK: vfkhedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xea]
786 #CHECK: vfkhedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xea]
787 #CHECK: vfkhedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xea]
789 vfkhedb %v0, %v0, %v0
790 vfkhedb %v0, %v0, %v31
791 vfkhedb %v0, %v31, %v0
792 vfkhedb %v31, %v0, %v0
793 vfkhedb %v18, %v3, %v20
795 #CHECK: vfkhedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xea]
796 #CHECK: vfkhedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xea]
797 #CHECK: vfkhedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xea]
798 #CHECK: vfkhedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xea]
799 #CHECK: vfkhedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xea]
801 vfkhedbs %v0, %v0, %v0
802 vfkhedbs %v0, %v0, %v31
803 vfkhedbs %v0, %v31, %v0
804 vfkhedbs %v31, %v0, %v0
805 vfkhedbs %v18, %v3, %v20
807 #CHECK: vfkhesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xea]
808 #CHECK: vfkhesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xea]
809 #CHECK: vfkhesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xea]
810 #CHECK: vfkhesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xea]
811 #CHECK: vfkhesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xea]
813 vfkhesb %v0, %v0, %v0
814 vfkhesb %v0, %v0, %v31
815 vfkhesb %v0, %v31, %v0
816 vfkhesb %v31, %v0, %v0
817 vfkhesb %v18, %v3, %v20
819 #CHECK: vfkhesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xea]
820 #CHECK: vfkhesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xea]
821 #CHECK: vfkhesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xea]
822 #CHECK: vfkhesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xea]
823 #CHECK: vfkhesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xea]
825 vfkhesbs %v0, %v0, %v0
826 vfkhesbs %v0, %v0, %v31
827 vfkhesbs %v0, %v31, %v0
828 vfkhesbs %v31, %v0, %v0
829 vfkhesbs %v18, %v3, %v20
831 #CHECK: vfpsosb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x30,0x20,0xcc]
832 #CHECK: vfpsosb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xcc]
833 #CHECK: vfpsosb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x20,0xcc]
834 #CHECK: vfpsosb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x24,0xcc]
835 #CHECK: vfpsosb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x20,0xcc]
836 #CHECK: vfpsosb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x28,0xcc]
837 #CHECK: vfpsosb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x70,0x24,0xcc]
839 vfpsosb %v0, %v0, 3
840 vfpsosb %v0, %v0, 15
841 vfpsosb %v0, %v15, 3
842 vfpsosb %v0, %v31, 3
843 vfpsosb %v15, %v0, 3
844 vfpsosb %v31, %v0, 3
845 vfpsosb %v14, %v17, 7
847 #CHECK: vflcsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcc]
848 #CHECK: vflcsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcc]
849 #CHECK: vflcsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcc]
850 #CHECK: vflcsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcc]
851 #CHECK: vflcsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcc]
852 #CHECK: vflcsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcc]
854 vflcsb %v0, %v0
855 vflcsb %v0, %v15
856 vflcsb %v0, %v31
857 vflcsb %v15, %v0
858 vflcsb %v31, %v0
859 vflcsb %v14, %v17
861 #CHECK: vflnsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xcc]
862 #CHECK: vflnsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x10,0x20,0xcc]
863 #CHECK: vflnsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xcc]
864 #CHECK: vflnsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x20,0xcc]
865 #CHECK: vflnsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xcc]
866 #CHECK: vflnsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x10,0x24,0xcc]
868 vflnsb %v0, %v0
869 vflnsb %v0, %v15
870 vflnsb %v0, %v31
871 vflnsb %v15, %v0
872 vflnsb %v31, %v0
873 vflnsb %v14, %v17
875 #CHECK: vflpsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x20,0x20,0xcc]
876 #CHECK: vflpsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x20,0x20,0xcc]
877 #CHECK: vflpsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x24,0xcc]
878 #CHECK: vflpsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x20,0xcc]
879 #CHECK: vflpsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x28,0xcc]
880 #CHECK: vflpsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x20,0x24,0xcc]
882 vflpsb %v0, %v0
883 vflpsb %v0, %v15
884 vflpsb %v0, %v31
885 vflpsb %v15, %v0
886 vflpsb %v31, %v0
887 vflpsb %v14, %v17
889 #CHECK: vfll %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc4]
890 #CHECK: vfll %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc4]
891 #CHECK: vfll %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xc4]
892 #CHECK: vfll %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xc4]
893 #CHECK: vfll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
894 #CHECK: vfll %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xc4]
895 #CHECK: vfll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
896 #CHECK: vfll %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xc4]
898 vfll %v0, %v0, 0, 0
899 vfll %v0, %v0, 15, 0
900 vfll %v0, %v0, 0, 15
901 vfll %v0, %v15, 0, 0
902 vfll %v0, %v31, 0, 0
903 vfll %v15, %v0, 0, 0
904 vfll %v31, %v0, 0, 0
905 vfll %v14, %v17, 11, 9
907 #CHECK: vflls %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc4]
908 #CHECK: vflls %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xc4]
909 #CHECK: vflls %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
910 #CHECK: vflls %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xc4]
911 #CHECK: vflls %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
912 #CHECK: vflls %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xc4]
914 vflls %v0, %v0
915 vflls %v0, %v15
916 vflls %v0, %v31
917 vflls %v15, %v0
918 vflls %v31, %v0
919 vflls %v14, %v17
921 #CHECK: vflr %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc5]
922 #CHECK: vflr %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc5]
923 #CHECK: vflr %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc5]
924 #CHECK: vflr %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc5]
925 #CHECK: vflr %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc5]
926 #CHECK: vflr %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
927 #CHECK: vflr %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
928 #CHECK: vflr %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc5]
930 vflr %v0, %v0, 0, 0, 0
931 vflr %v0, %v0, 15, 0, 0
932 vflr %v0, %v0, 0, 0, 15
933 vflr %v0, %v0, 0, 4, 0
934 vflr %v0, %v0, 0, 12, 0
935 vflr %v0, %v31, 0, 0, 0
936 vflr %v31, %v0, 0, 0, 0
937 vflr %v14, %v17, 11, 4, 10
939 #CHECK: vflrd %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc5]
940 #CHECK: vflrd %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc5]
941 #CHECK: vflrd %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc5]
942 #CHECK: vflrd %v0, %v0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
943 #CHECK: vflrd %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
944 #CHECK: vflrd %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
945 #CHECK: vflrd %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x34,0xc5]
947 vflrd %v0, %v0, 0, 0
948 vflrd %v0, %v0, 0, 15
949 vflrd %v0, %v0, 4, 0
950 vflrd %v0, %v0, 12, 0
951 vflrd %v0, %v31, 0, 0
952 vflrd %v31, %v0, 0, 0
953 vflrd %v14, %v17, 4, 10
955 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xef]
956 #CHECK: vfmax %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xef]
957 #CHECK: vfmax %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xef]
958 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xef]
959 #CHECK: vfmax %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xef]
960 #CHECK: vfmax %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xef]
961 #CHECK: vfmax %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xef]
962 #CHECK: vfmax %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xef]
964 vfmax %v0, %v0, %v0, 0, 0, 0
965 vfmax %v0, %v0, %v0, 15, 0, 0
966 vfmax %v0, %v0, %v0, 0, 15, 0
967 vfmax %v0, %v0, %v0, 0, 0, 4
968 vfmax %v0, %v0, %v31, 0, 0, 0
969 vfmax %v0, %v31, %v0, 0, 0, 0
970 vfmax %v31, %v0, %v0, 0, 0, 0
971 vfmax %v18, %v3, %v20, 11, 9, 12
973 #CHECK: vfmaxdb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xef]
974 #CHECK: vfmaxdb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xef]
975 #CHECK: vfmaxdb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xef]
976 #CHECK: vfmaxdb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xef]
977 #CHECK: vfmaxdb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xef]
978 #CHECK: vfmaxdb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xef]
980 vfmaxdb %v0, %v0, %v0, 0
981 vfmaxdb %v0, %v0, %v0, 4
982 vfmaxdb %v0, %v0, %v31, 0
983 vfmaxdb %v0, %v31, %v0, 0
984 vfmaxdb %v31, %v0, %v0, 0
985 vfmaxdb %v18, %v3, %v20, 12
987 #CHECK: vfmaxsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xef]
988 #CHECK: vfmaxsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xef]
989 #CHECK: vfmaxsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xef]
990 #CHECK: vfmaxsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xef]
991 #CHECK: vfmaxsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xef]
992 #CHECK: vfmaxsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xef]
994 vfmaxsb %v0, %v0, %v0, 0
995 vfmaxsb %v0, %v0, %v0, 4
996 vfmaxsb %v0, %v0, %v31, 0
997 vfmaxsb %v0, %v31, %v0, 0
998 vfmaxsb %v31, %v0, %v0, 0
999 vfmaxsb %v18, %v3, %v20, 12
1001 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xee]
1002 #CHECK: vfmin %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xee]
1003 #CHECK: vfmin %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xee]
1004 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xee]
1005 #CHECK: vfmin %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xee]
1006 #CHECK: vfmin %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xee]
1007 #CHECK: vfmin %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xee]
1008 #CHECK: vfmin %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xee]
1010 vfmin %v0, %v0, %v0, 0, 0, 0
1011 vfmin %v0, %v0, %v0, 15, 0, 0
1012 vfmin %v0, %v0, %v0, 0, 15, 0
1013 vfmin %v0, %v0, %v0, 0, 0, 4
1014 vfmin %v0, %v0, %v31, 0, 0, 0
1015 vfmin %v0, %v31, %v0, 0, 0, 0
1016 vfmin %v31, %v0, %v0, 0, 0, 0
1017 vfmin %v18, %v3, %v20, 11, 9, 12
1019 #CHECK: vfmindb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xee]
1020 #CHECK: vfmindb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xee]
1021 #CHECK: vfmindb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xee]
1022 #CHECK: vfmindb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xee]
1023 #CHECK: vfmindb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xee]
1024 #CHECK: vfmindb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xee]
1026 vfmindb %v0, %v0, %v0, 0
1027 vfmindb %v0, %v0, %v0, 4
1028 vfmindb %v0, %v0, %v31, 0
1029 vfmindb %v0, %v31, %v0, 0
1030 vfmindb %v31, %v0, %v0, 0
1031 vfmindb %v18, %v3, %v20, 12
1033 #CHECK: vfminsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xee]
1034 #CHECK: vfminsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xee]
1035 #CHECK: vfminsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xee]
1036 #CHECK: vfminsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xee]
1037 #CHECK: vfminsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xee]
1038 #CHECK: vfminsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xee]
1040 vfminsb %v0, %v0, %v0, 0
1041 vfminsb %v0, %v0, %v0, 4
1042 vfminsb %v0, %v0, %v31, 0
1043 vfminsb %v0, %v31, %v0, 0
1044 vfminsb %v31, %v0, %v0, 0
1045 vfminsb %v18, %v3, %v20, 12
1047 #CHECK: vfmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8f]
1048 #CHECK: vfmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8f]
1049 #CHECK: vfmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8f]
1050 #CHECK: vfmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8f]
1051 #CHECK: vfmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8f]
1052 #CHECK: vfmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8f]
1054 vfmasb %v0, %v0, %v0, %v0
1055 vfmasb %v0, %v0, %v0, %v31
1056 vfmasb %v0, %v0, %v31, %v0
1057 vfmasb %v0, %v31, %v0, %v0
1058 vfmasb %v31, %v0, %v0, %v0
1059 vfmasb %v13, %v17, %v21, %v25
1061 #CHECK: vfmsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe7]
1062 #CHECK: vfmsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe7]
1063 #CHECK: vfmsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe7]
1064 #CHECK: vfmsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe7]
1065 #CHECK: vfmsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe7]
1067 vfmsb %v0, %v0, %v0
1068 vfmsb %v0, %v0, %v31
1069 vfmsb %v0, %v31, %v0
1070 vfmsb %v31, %v0, %v0
1071 vfmsb %v18, %v3, %v20
1073 #CHECK: vfmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8e]
1074 #CHECK: vfmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8e]
1075 #CHECK: vfmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8e]
1076 #CHECK: vfmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8e]
1077 #CHECK: vfmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8e]
1078 #CHECK: vfmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8e]
1080 vfmssb %v0, %v0, %v0, %v0
1081 vfmssb %v0, %v0, %v0, %v31
1082 vfmssb %v0, %v0, %v31, %v0
1083 vfmssb %v0, %v31, %v0, %v0
1084 vfmssb %v31, %v0, %v0, %v0
1085 vfmssb %v13, %v17, %v21, %v25
1087 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9f]
1088 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9f]
1089 #CHECK: vfnma %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9f]
1090 #CHECK: vfnma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9f]
1091 #CHECK: vfnma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9f]
1092 #CHECK: vfnma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9f]
1093 #CHECK: vfnma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9f]
1094 #CHECK: vfnma %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9f]
1096 vfnma %v0, %v0, %v0, %v0, 0, 0
1097 vfnma %v0, %v0, %v0, %v0, 0, 15
1098 vfnma %v0, %v0, %v0, %v0, 15, 0
1099 vfnma %v0, %v0, %v0, %v31, 0, 0
1100 vfnma %v0, %v0, %v31, %v0, 0, 0
1101 vfnma %v0, %v31, %v0, %v0, 0, 0
1102 vfnma %v31, %v0, %v0, %v0, 0, 0
1103 vfnma %v13, %v17, %v21, %v25, 9, 11
1105 #CHECK: vfnmadb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9f]
1106 #CHECK: vfnmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9f]
1107 #CHECK: vfnmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9f]
1108 #CHECK: vfnmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9f]
1109 #CHECK: vfnmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9f]
1110 #CHECK: vfnmadb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9f]
1112 vfnmadb %v0, %v0, %v0, %v0
1113 vfnmadb %v0, %v0, %v0, %v31
1114 vfnmadb %v0, %v0, %v31, %v0
1115 vfnmadb %v0, %v31, %v0, %v0
1116 vfnmadb %v31, %v0, %v0, %v0
1117 vfnmadb %v13, %v17, %v21, %v25
1119 #CHECK: vfnmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9f]
1120 #CHECK: vfnmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9f]
1121 #CHECK: vfnmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9f]
1122 #CHECK: vfnmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9f]
1123 #CHECK: vfnmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9f]
1124 #CHECK: vfnmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9f]
1126 vfnmasb %v0, %v0, %v0, %v0
1127 vfnmasb %v0, %v0, %v0, %v31
1128 vfnmasb %v0, %v0, %v31, %v0
1129 vfnmasb %v0, %v31, %v0, %v0
1130 vfnmasb %v31, %v0, %v0, %v0
1131 vfnmasb %v13, %v17, %v21, %v25
1133 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9e]
1134 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9e]
1135 #CHECK: vfnms %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9e]
1136 #CHECK: vfnms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9e]
1137 #CHECK: vfnms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9e]
1138 #CHECK: vfnms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9e]
1139 #CHECK: vfnms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9e]
1140 #CHECK: vfnms %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9e]
1142 vfnms %v0, %v0, %v0, %v0, 0, 0
1143 vfnms %v0, %v0, %v0, %v0, 0, 15
1144 vfnms %v0, %v0, %v0, %v0, 15, 0
1145 vfnms %v0, %v0, %v0, %v31, 0, 0
1146 vfnms %v0, %v0, %v31, %v0, 0, 0
1147 vfnms %v0, %v31, %v0, %v0, 0, 0
1148 vfnms %v31, %v0, %v0, %v0, 0, 0
1149 vfnms %v13, %v17, %v21, %v25, 9, 11
1151 #CHECK: vfnmsdb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9e]
1152 #CHECK: vfnmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9e]
1153 #CHECK: vfnmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9e]
1154 #CHECK: vfnmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9e]
1155 #CHECK: vfnmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9e]
1156 #CHECK: vfnmsdb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9e]
1158 vfnmsdb %v0, %v0, %v0, %v0
1159 vfnmsdb %v0, %v0, %v0, %v31
1160 vfnmsdb %v0, %v0, %v31, %v0
1161 vfnmsdb %v0, %v31, %v0, %v0
1162 vfnmsdb %v31, %v0, %v0, %v0
1163 vfnmsdb %v13, %v17, %v21, %v25
1165 #CHECK: vfnmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9e]
1166 #CHECK: vfnmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9e]
1167 #CHECK: vfnmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9e]
1168 #CHECK: vfnmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9e]
1169 #CHECK: vfnmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9e]
1170 #CHECK: vfnmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9e]
1172 vfnmssb %v0, %v0, %v0, %v0
1173 vfnmssb %v0, %v0, %v0, %v31
1174 vfnmssb %v0, %v0, %v31, %v0
1175 vfnmssb %v0, %v31, %v0, %v0
1176 vfnmssb %v31, %v0, %v0, %v0
1177 vfnmssb %v13, %v17, %v21, %v25
1179 #CHECK: vfssb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe2]
1180 #CHECK: vfssb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe2]
1181 #CHECK: vfssb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe2]
1182 #CHECK: vfssb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe2]
1183 #CHECK: vfssb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe2]
1185 vfssb %v0, %v0, %v0
1186 vfssb %v0, %v0, %v31
1187 vfssb %v0, %v31, %v0
1188 vfssb %v31, %v0, %v0
1189 vfssb %v18, %v3, %v20
1191 #CHECK: vfsqsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xce]
1192 #CHECK: vfsqsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xce]
1193 #CHECK: vfsqsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xce]
1194 #CHECK: vfsqsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xce]
1195 #CHECK: vfsqsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xce]
1196 #CHECK: vfsqsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xce]
1198 vfsqsb %v0, %v0
1199 vfsqsb %v0, %v15
1200 vfsqsb %v0, %v31
1201 vfsqsb %v15, %v0
1202 vfsqsb %v31, %v0
1203 vfsqsb %v14, %v17
1205 #CHECK: vftcisb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x4a]
1206 #CHECK: vftcisb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf0,0x20,0x4a]
1207 #CHECK: vftcisb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x4a]
1208 #CHECK: vftcisb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4a]
1209 #CHECK: vftcisb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x4a]
1210 #CHECK: vftcisb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4a]
1211 #CHECK: vftcisb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x80,0x24,0x4a]
1213 vftcisb %v0, %v0, 0
1214 vftcisb %v0, %v0, 4095
1215 vftcisb %v0, %v15, 0
1216 vftcisb %v0, %v31, 0
1217 vftcisb %v15, %v0, 0
1218 vftcisb %v31, %v0, 0
1219 vftcisb %v4, %v21, 0x678
1221 #CHECK: vlip %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x49]
1222 #CHECK: vlip %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x49]
1223 #CHECK: vlip %v0, 65535, 0 # encoding: [0xe6,0x00,0xff,0xff,0x00,0x49]
1224 #CHECK: vlip %v15, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x49]
1225 #CHECK: vlip %v31, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x49]
1226 #CHECK: vlip %v17, 4660, 7 # encoding: [0xe6,0x10,0x12,0x34,0x78,0x49]
1228 vlip %v0, 0, 0
1229 vlip %v0, 0, 15
1230 vlip %v0, 0xffff, 0
1231 vlip %v15, 0, 0
1232 vlip %v31, 0, 0
1233 vlip %v17, 0x1234, 7
1235 #CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04]
1236 #CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04]
1237 #CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04]
1238 #CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04]
1239 #CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04]
1240 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1241 #CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04]
1242 #CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04]
1243 #CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04]
1244 #CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04]
1245 #CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04]
1246 #CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04]
1247 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1248 #CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04]
1250 vllezlf %v0, 0
1251 vllezlf %v0, 4095
1252 vllezlf %v0, 0(%r15)
1253 vllezlf %v0, 0(%r15,%r1)
1254 vllezlf %v15, 0
1255 vllezlf %v31, 0
1256 vllezlf %v18, 0x567(%r3,%r4)
1257 vllezlf 0, 0
1258 vllezlf 0, 4095
1259 vllezlf 0, 0(15)
1260 vllezlf 0, 0(15,1)
1261 vllezlf 15, 0
1262 vllezlf 31, 0
1263 vllezlf 18, 0x567(3,4)
1265 #CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35]
1266 #CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35]
1267 #CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35]
1268 #CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35]
1269 #CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35]
1270 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1271 #CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35]
1272 #CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35]
1273 #CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35]
1274 #CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35]
1275 #CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35]
1276 #CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35]
1277 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1278 #CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35]
1280 vlrl %v0, 0, 0
1281 vlrl %v0, 4095, 0
1282 vlrl %v0, 0(%r15), 0
1283 vlrl %v0, 0, 255
1284 vlrl %v15, 0, 0
1285 vlrl %v31, 0, 0
1286 vlrl %v18, 1383(%r4), 3
1287 vlrl 0, 0, 0
1288 vlrl 0, 4095, 0
1289 vlrl 0, 0(15), 0
1290 vlrl 0, 0, 255
1291 vlrl 15, 0, 0
1292 vlrl 31, 0, 0
1293 vlrl 18, 1383(4), 3
1295 #CHECK: vlrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x37]
1296 #CHECK: vlrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x37]
1297 #CHECK: vlrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x37]
1298 #CHECK: vlrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x37]
1299 #CHECK: vlrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x37]
1300 #CHECK: vlrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x37]
1301 #CHECK: vlrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x37]
1303 vlrlr %v0, %r0, 0
1304 vlrlr %v0, %r0, 4095
1305 vlrlr %v0, %r0, 0(%r15)
1306 vlrlr %v0, %r15, 0
1307 vlrlr %v15, %r0, 0
1308 vlrlr %v31, %r0, 0
1309 vlrlr %v18, %r3, 1383(%r4)
1311 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb8]
1312 #CHECK: vmsl %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xb8]
1313 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0xb8]
1314 #CHECK: vmsl %v0, %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xb8]
1315 #CHECK: vmsl %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb8]
1316 #CHECK: vmsl %v0, %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0xb8]
1317 #CHECK: vmsl %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb8]
1318 #CHECK: vmsl %v0, %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xb8]
1319 #CHECK: vmsl %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb8]
1320 #CHECK: vmsl %v15, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xb8]
1321 #CHECK: vmsl %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb8]
1322 #CHECK: vmsl %v18, %v3, %v20, %v5, 0, 4 # encoding: [0xe7,0x23,0x40,0x40,0x5a,0xb8]
1323 #CHECK: vmsl %v18, %v3, %v20, %v5, 11, 8 # encoding: [0xe7,0x23,0x4b,0x80,0x5a,0xb8]
1325 vmsl %v0, %v0, %v0, %v0, 0, 0
1326 vmsl %v0, %v0, %v0, %v0, 15, 0
1327 vmsl %v0, %v0, %v0, %v0, 0, 12
1328 vmsl %v0, %v0, %v0, %v15, 0, 0
1329 vmsl %v0, %v0, %v0, %v31, 0, 0
1330 vmsl %v0, %v0, %v15, %v0, 0, 0
1331 vmsl %v0, %v0, %v31, %v0, 0, 0
1332 vmsl %v0, %v15, %v0, %v0, 0, 0
1333 vmsl %v0, %v31, %v0, %v0, 0, 0
1334 vmsl %v15, %v0, %v0, %v0, 0, 0
1335 vmsl %v31, %v0, %v0, %v0, 0, 0
1336 vmsl %v18, %v3, %v20, %v5, 0, 4
1337 vmsl %v18, %v3, %v20, %v5, 11, 8
1339 #CHECK: vmslg %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0xb8]
1340 #CHECK: vmslg %v0, %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x03,0xc0,0x00,0xb8]
1341 #CHECK: vmslg %v0, %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf0,0xb8]
1342 #CHECK: vmslg %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xb8]
1343 #CHECK: vmslg %v0, %v0, %v15, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x00,0xb8]
1344 #CHECK: vmslg %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xb8]
1345 #CHECK: vmslg %v0, %v15, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x00,0xb8]
1346 #CHECK: vmslg %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xb8]
1347 #CHECK: vmslg %v15, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x00,0xb8]
1348 #CHECK: vmslg %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xb8]
1349 #CHECK: vmslg %v18, %v3, %v20, %v5, 4 # encoding: [0xe7,0x23,0x43,0x40,0x5a,0xb8]
1350 #CHECK: vmslg %v18, %v3, %v20, %v5, 8 # encoding: [0xe7,0x23,0x43,0x80,0x5a,0xb8]
1352 vmslg %v0, %v0, %v0, %v0, 0
1353 vmslg %v0, %v0, %v0, %v0, 12
1354 vmslg %v0, %v0, %v0, %v15, 0
1355 vmslg %v0, %v0, %v0, %v31, 0
1356 vmslg %v0, %v0, %v15, %v0, 0
1357 vmslg %v0, %v0, %v31, %v0, 0
1358 vmslg %v0, %v15, %v0, %v0, 0
1359 vmslg %v0, %v31, %v0, %v0, 0
1360 vmslg %v15, %v0, %v0, %v0, 0
1361 vmslg %v31, %v0, %v0, %v0, 0
1362 vmslg %v18, %v3, %v20, %v5, 4
1363 vmslg %v18, %v3, %v20, %v5, 8
1365 #CHECK: vmp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x78]
1366 #CHECK: vmp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x78]
1367 #CHECK: vmp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x78]
1368 #CHECK: vmp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x78]
1369 #CHECK: vmp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x78]
1370 #CHECK: vmp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x78]
1371 #CHECK: vmp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x78]
1373 vmp %v0, %v0, %v0, 0, 0
1374 vmp %v0, %v0, %v0, 0, 15
1375 vmp %v0, %v0, %v0, 255, 0
1376 vmp %v0, %v0, %v31, 0, 0
1377 vmp %v0, %v31, %v0, 0, 0
1378 vmp %v31, %v0, %v0, 0, 0
1379 vmp %v13, %v17, %v21, 0x79, 11
1381 #CHECK: vmsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x79]
1382 #CHECK: vmsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x79]
1383 #CHECK: vmsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x79]
1384 #CHECK: vmsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x79]
1385 #CHECK: vmsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x79]
1386 #CHECK: vmsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x79]
1387 #CHECK: vmsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x79]
1389 vmsp %v0, %v0, %v0, 0, 0
1390 vmsp %v0, %v0, %v0, 0, 15
1391 vmsp %v0, %v0, %v0, 255, 0
1392 vmsp %v0, %v0, %v31, 0, 0
1393 vmsp %v0, %v31, %v0, 0, 0
1394 vmsp %v31, %v0, %v0, 0, 0
1395 vmsp %v13, %v17, %v21, 0x79, 11
1397 #CHECK: vnn %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6e]
1398 #CHECK: vnn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6e]
1399 #CHECK: vnn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6e]
1400 #CHECK: vnn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6e]
1401 #CHECK: vnn %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6e]
1403 vnn %v0, %v0, %v0
1404 vnn %v0, %v0, %v31
1405 vnn %v0, %v31, %v0
1406 vnn %v31, %v0, %v0
1407 vnn %v18, %v3, %v20
1409 #CHECK: vnx %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6c]
1410 #CHECK: vnx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6c]
1411 #CHECK: vnx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6c]
1412 #CHECK: vnx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6c]
1413 #CHECK: vnx %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6c]
1415 vnx %v0, %v0, %v0
1416 vnx %v0, %v0, %v31
1417 vnx %v0, %v31, %v0
1418 vnx %v31, %v0, %v0
1419 vnx %v18, %v3, %v20
1421 #CHECK: voc %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6f]
1422 #CHECK: voc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6f]
1423 #CHECK: voc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6f]
1424 #CHECK: voc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6f]
1425 #CHECK: voc %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6f]
1427 voc %v0, %v0, %v0
1428 voc %v0, %v0, %v31
1429 voc %v0, %v31, %v0
1430 voc %v31, %v0, %v0
1431 voc %v18, %v3, %v20
1433 #CHECK: vpkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x34]
1434 #CHECK: vpkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x34]
1435 #CHECK: vpkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x34]
1436 #CHECK: vpkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x34]
1437 #CHECK: vpkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x34]
1438 #CHECK: vpkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x34]
1439 #CHECK: vpkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x34]
1441 vpkz %v0, 0, 0
1442 vpkz %v0, 4095, 0
1443 vpkz %v0, 0(%r15), 0
1444 vpkz %v0, 0, 255
1445 vpkz %v15, 0, 0
1446 vpkz %v31, 0, 0
1447 vpkz %v18, 1383(%r4), 3
1449 #CHECK: vpopctb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x50]
1450 #CHECK: vpopctb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x50]
1451 #CHECK: vpopctb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
1452 #CHECK: vpopctb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x50]
1453 #CHECK: vpopctb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
1454 #CHECK: vpopctb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x04,0x50]
1456 vpopctb %v0, %v0
1457 vpopctb %v0, %v15
1458 vpopctb %v0, %v31
1459 vpopctb %v15, %v0
1460 vpopctb %v31, %v0
1461 vpopctb %v14, %v17
1463 #CHECK: vpopctf %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x50]
1464 #CHECK: vpopctf %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x50]
1465 #CHECK: vpopctf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x50]
1466 #CHECK: vpopctf %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x50]
1467 #CHECK: vpopctf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x50]
1468 #CHECK: vpopctf %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0x50]
1470 vpopctf %v0, %v0
1471 vpopctf %v0, %v15
1472 vpopctf %v0, %v31
1473 vpopctf %v15, %v0
1474 vpopctf %v31, %v0
1475 vpopctf %v14, %v17
1477 #CHECK: vpopctg %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0x50]
1478 #CHECK: vpopctg %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0x50]
1479 #CHECK: vpopctg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x50]
1480 #CHECK: vpopctg %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0x50]
1481 #CHECK: vpopctg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x50]
1482 #CHECK: vpopctg %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0x50]
1484 vpopctg %v0, %v0
1485 vpopctg %v0, %v15
1486 vpopctg %v0, %v31
1487 vpopctg %v15, %v0
1488 vpopctg %v31, %v0
1489 vpopctg %v14, %v17
1491 #CHECK: vpopcth %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x10,0x50]
1492 #CHECK: vpopcth %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x10,0x50]
1493 #CHECK: vpopcth %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x50]
1494 #CHECK: vpopcth %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x10,0x50]
1495 #CHECK: vpopcth %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x50]
1496 #CHECK: vpopcth %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x14,0x50]
1498 vpopcth %v0, %v0
1499 vpopcth %v0, %v15
1500 vpopcth %v0, %v31
1501 vpopcth %v15, %v0
1502 vpopcth %v31, %v0
1503 vpopcth %v14, %v17
1505 #CHECK: vpsop %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5b]
1506 #CHECK: vpsop %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5b]
1507 #CHECK: vpsop %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x5b]
1508 #CHECK: vpsop %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5b]
1509 #CHECK: vpsop %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5b]
1510 #CHECK: vpsop %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5b]
1511 #CHECK: vpsop %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x5b]
1513 vpsop %v0, %v0, 0, 0, 0
1514 vpsop %v0, %v0, 0, 0, 15
1515 vpsop %v0, %v0, 0, 255, 0
1516 vpsop %v0, %v0, 255, 0, 0
1517 vpsop %v0, %v31, 0, 0, 0
1518 vpsop %v31, %v0, 0, 0, 0
1519 vpsop %v13, %v17, 0x34, 0x79, 11
1521 #CHECK: vrp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7b]
1522 #CHECK: vrp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7b]
1523 #CHECK: vrp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7b]
1524 #CHECK: vrp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7b]
1525 #CHECK: vrp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7b]
1526 #CHECK: vrp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7b]
1527 #CHECK: vrp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7b]
1529 vrp %v0, %v0, %v0, 0, 0
1530 vrp %v0, %v0, %v0, 0, 15
1531 vrp %v0, %v0, %v0, 255, 0
1532 vrp %v0, %v0, %v31, 0, 0
1533 vrp %v0, %v31, %v0, 0, 0
1534 vrp %v31, %v0, %v0, 0, 0
1535 vrp %v13, %v17, %v21, 0x79, 11
1537 #CHECK: vsdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7e]
1538 #CHECK: vsdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7e]
1539 #CHECK: vsdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7e]
1540 #CHECK: vsdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7e]
1541 #CHECK: vsdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7e]
1542 #CHECK: vsdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7e]
1543 #CHECK: vsdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7e]
1545 vsdp %v0, %v0, %v0, 0, 0
1546 vsdp %v0, %v0, %v0, 0, 15
1547 vsdp %v0, %v0, %v0, 255, 0
1548 vsdp %v0, %v0, %v31, 0, 0
1549 vsdp %v0, %v31, %v0, 0, 0
1550 vsdp %v31, %v0, %v0, 0, 0
1551 vsdp %v13, %v17, %v21, 0x79, 11
1553 #CHECK: vsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x73]
1554 #CHECK: vsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x73]
1555 #CHECK: vsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x73]
1556 #CHECK: vsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x73]
1557 #CHECK: vsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x73]
1558 #CHECK: vsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x73]
1559 #CHECK: vsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x73]
1561 vsp %v0, %v0, %v0, 0, 0
1562 vsp %v0, %v0, %v0, 0, 15
1563 vsp %v0, %v0, %v0, 255, 0
1564 vsp %v0, %v0, %v31, 0, 0
1565 vsp %v0, %v31, %v0, 0, 0
1566 vsp %v31, %v0, %v0, 0, 0
1567 vsp %v13, %v17, %v21, 0x79, 11
1569 #CHECK: vsrp %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x59]
1570 #CHECK: vsrp %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x59]
1571 #CHECK: vsrp %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x59]
1572 #CHECK: vsrp %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x59]
1573 #CHECK: vsrp %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x59]
1574 #CHECK: vsrp %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x59]
1575 #CHECK: vsrp %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x59]
1577 vsrp %v0, %v0, 0, 0, 0
1578 vsrp %v0, %v0, 0, 0, 15
1579 vsrp %v0, %v0, 0, 255, 0
1580 vsrp %v0, %v0, 255, 0, 0
1581 vsrp %v0, %v31, 0, 0, 0
1582 vsrp %v31, %v0, 0, 0, 0
1583 vsrp %v13, %v17, 0x34, 0x79, 11
1585 #CHECK: vstrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3d]
1586 #CHECK: vstrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3d]
1587 #CHECK: vstrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3d]
1588 #CHECK: vstrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3d]
1589 #CHECK: vstrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3d]
1590 #CHECK: vstrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3d]
1591 #CHECK: vstrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3d]
1593 vstrl %v0, 0, 0
1594 vstrl %v0, 4095, 0
1595 vstrl %v0, 0(%r15), 0
1596 vstrl %v0, 0, 255
1597 vstrl %v15, 0, 0
1598 vstrl %v31, 0, 0
1599 vstrl %v18, 1383(%r4), 3
1601 #CHECK: vstrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3f]
1602 #CHECK: vstrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3f]
1603 #CHECK: vstrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3f]
1604 #CHECK: vstrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x3f]
1605 #CHECK: vstrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3f]
1606 #CHECK: vstrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3f]
1607 #CHECK: vstrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3f]
1609 vstrlr %v0, %r0, 0
1610 vstrlr %v0, %r0, 4095
1611 vstrlr %v0, %r0, 0(%r15)
1612 vstrlr %v0, %r15, 0
1613 vstrlr %v15, %r0, 0
1614 vstrlr %v31, %r0, 0
1615 vstrlr %v18, %r3, 1383(%r4)
1617 #CHECK: vtp %v0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5f]
1618 #CHECK: vtp %v15 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5f]
1619 #CHECK: vtp %v31 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5f]
1621 vtp %v0
1622 vtp %v15
1623 vtp %v31
1625 #CHECK: vupkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3c]
1626 #CHECK: vupkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3c]
1627 #CHECK: vupkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3c]
1628 #CHECK: vupkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3c]
1629 #CHECK: vupkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3c]
1630 #CHECK: vupkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3c]
1631 #CHECK: vupkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3c]
1633 vupkz %v0, 0, 0
1634 vupkz %v0, 4095, 0
1635 vupkz %v0, 0(%r15), 0
1636 vupkz %v0, 0, 255
1637 vupkz %v15, 0, 0
1638 vupkz %v31, 0, 0
1639 vupkz %v18, 1383(%r4), 3
1641 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1642 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1643 #CHECK: wfasb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe3]
1644 #CHECK: wfasb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe3]
1645 #CHECK: wfasb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe3]
1646 #CHECK: wfasb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe3]
1648 wfasb %v0, %v0, %v0
1649 wfasb %f0, %f0, %f0
1650 wfasb %v0, %v0, %v31
1651 wfasb %v0, %v31, %v0
1652 wfasb %v31, %v0, %v0
1653 wfasb %v18, %v3, %v20
1655 #CHECK: wfaxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe3]
1656 #CHECK: wfaxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe3]
1657 #CHECK: wfaxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe3]
1658 #CHECK: wfaxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe3]
1659 #CHECK: wfaxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe3]
1661 wfaxb %v0, %v0, %v0
1662 wfaxb %v0, %v0, %v31
1663 wfaxb %v0, %v31, %v0
1664 wfaxb %v31, %v0, %v0
1665 wfaxb %v18, %v3, %v20
1667 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1668 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1669 #CHECK: wfcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcb]
1670 #CHECK: wfcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcb]
1671 #CHECK: wfcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcb]
1672 #CHECK: wfcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcb]
1673 #CHECK: wfcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcb]
1675 wfcsb %v0, %v0
1676 wfcsb %f0, %f0
1677 wfcsb %v0, %v15
1678 wfcsb %v0, %v31
1679 wfcsb %v15, %v0
1680 wfcsb %v31, %v0
1681 wfcsb %v14, %v17
1683 #CHECK: wfcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xcb]
1684 #CHECK: wfcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xcb]
1685 #CHECK: wfcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xcb]
1686 #CHECK: wfcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xcb]
1687 #CHECK: wfcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xcb]
1688 #CHECK: wfcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xcb]
1690 wfcxb %v0, %v0
1691 wfcxb %v0, %v15
1692 wfcxb %v0, %v31
1693 wfcxb %v15, %v0
1694 wfcxb %v31, %v0
1695 wfcxb %v14, %v17
1697 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1698 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1699 #CHECK: wfcesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe8]
1700 #CHECK: wfcesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe8]
1701 #CHECK: wfcesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe8]
1702 #CHECK: wfcesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe8]
1704 wfcesb %v0, %v0, %v0
1705 wfcesb %f0, %f0, %f0
1706 wfcesb %v0, %v0, %v31
1707 wfcesb %v0, %v31, %v0
1708 wfcesb %v31, %v0, %v0
1709 wfcesb %v18, %v3, %v20
1711 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1712 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1713 #CHECK: wfcesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xe8]
1714 #CHECK: wfcesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xe8]
1715 #CHECK: wfcesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xe8]
1716 #CHECK: wfcesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xe8]
1718 wfcesbs %v0, %v0, %v0
1719 wfcesbs %f0, %f0, %f0
1720 wfcesbs %v0, %v0, %v31
1721 wfcesbs %v0, %v31, %v0
1722 wfcesbs %v31, %v0, %v0
1723 wfcesbs %v18, %v3, %v20
1725 #CHECK: wfcexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe8]
1726 #CHECK: wfcexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe8]
1727 #CHECK: wfcexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe8]
1728 #CHECK: wfcexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe8]
1729 #CHECK: wfcexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe8]
1731 wfcexb %v0, %v0, %v0
1732 wfcexb %v0, %v0, %v31
1733 wfcexb %v0, %v31, %v0
1734 wfcexb %v31, %v0, %v0
1735 wfcexb %v18, %v3, %v20
1737 #CHECK: wfcexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xe8]
1738 #CHECK: wfcexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xe8]
1739 #CHECK: wfcexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xe8]
1740 #CHECK: wfcexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xe8]
1741 #CHECK: wfcexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xe8]
1743 wfcexbs %v0, %v0, %v0
1744 wfcexbs %v0, %v0, %v31
1745 wfcexbs %v0, %v31, %v0
1746 wfcexbs %v31, %v0, %v0
1747 wfcexbs %v18, %v3, %v20
1749 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1750 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1751 #CHECK: wfchsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xeb]
1752 #CHECK: wfchsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xeb]
1753 #CHECK: wfchsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xeb]
1754 #CHECK: wfchsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xeb]
1756 wfchsb %v0, %v0, %v0
1757 wfchsb %f0, %f0, %f0
1758 wfchsb %v0, %v0, %v31
1759 wfchsb %v0, %v31, %v0
1760 wfchsb %v31, %v0, %v0
1761 wfchsb %v18, %v3, %v20
1763 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1764 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1765 #CHECK: wfchsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xeb]
1766 #CHECK: wfchsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xeb]
1767 #CHECK: wfchsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xeb]
1768 #CHECK: wfchsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xeb]
1770 wfchsbs %v0, %v0, %v0
1771 wfchsbs %f0, %f0, %f0
1772 wfchsbs %v0, %v0, %v31
1773 wfchsbs %v0, %v31, %v0
1774 wfchsbs %v31, %v0, %v0
1775 wfchsbs %v18, %v3, %v20
1777 #CHECK: wfchxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xeb]
1778 #CHECK: wfchxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xeb]
1779 #CHECK: wfchxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xeb]
1780 #CHECK: wfchxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xeb]
1781 #CHECK: wfchxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xeb]
1783 wfchxb %v0, %v0, %v0
1784 wfchxb %v0, %v0, %v31
1785 wfchxb %v0, %v31, %v0
1786 wfchxb %v31, %v0, %v0
1787 wfchxb %v18, %v3, %v20
1789 #CHECK: wfchxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xeb]
1790 #CHECK: wfchxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xeb]
1791 #CHECK: wfchxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xeb]
1792 #CHECK: wfchxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xeb]
1793 #CHECK: wfchxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xeb]
1795 wfchxbs %v0, %v0, %v0
1796 wfchxbs %v0, %v0, %v31
1797 wfchxbs %v0, %v31, %v0
1798 wfchxbs %v31, %v0, %v0
1799 wfchxbs %v18, %v3, %v20
1801 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1802 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1803 #CHECK: wfchesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xea]
1804 #CHECK: wfchesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xea]
1805 #CHECK: wfchesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xea]
1806 #CHECK: wfchesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xea]
1808 wfchesb %v0, %v0, %v0
1809 wfchesb %f0, %f0, %f0
1810 wfchesb %v0, %v0, %v31
1811 wfchesb %v0, %v31, %v0
1812 wfchesb %v31, %v0, %v0
1813 wfchesb %v18, %v3, %v20
1815 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1816 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1817 #CHECK: wfchesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xea]
1818 #CHECK: wfchesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xea]
1819 #CHECK: wfchesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xea]
1820 #CHECK: wfchesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xea]
1822 wfchesbs %v0, %v0, %v0
1823 wfchesbs %f0, %f0, %f0
1824 wfchesbs %v0, %v0, %v31
1825 wfchesbs %v0, %v31, %v0
1826 wfchesbs %v31, %v0, %v0
1827 wfchesbs %v18, %v3, %v20
1829 #CHECK: wfchexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xea]
1830 #CHECK: wfchexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xea]
1831 #CHECK: wfchexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xea]
1832 #CHECK: wfchexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xea]
1833 #CHECK: wfchexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xea]
1835 wfchexb %v0, %v0, %v0
1836 wfchexb %v0, %v0, %v31
1837 wfchexb %v0, %v31, %v0
1838 wfchexb %v31, %v0, %v0
1839 wfchexb %v18, %v3, %v20
1841 #CHECK: wfchexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xea]
1842 #CHECK: wfchexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xea]
1843 #CHECK: wfchexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xea]
1844 #CHECK: wfchexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xea]
1845 #CHECK: wfchexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xea]
1847 wfchexbs %v0, %v0, %v0
1848 wfchexbs %v0, %v0, %v31
1849 wfchexbs %v0, %v31, %v0
1850 wfchexbs %v31, %v0, %v0
1851 wfchexbs %v18, %v3, %v20
1853 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1854 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1855 #CHECK: wfdsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe5]
1856 #CHECK: wfdsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe5]
1857 #CHECK: wfdsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe5]
1858 #CHECK: wfdsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe5]
1860 wfdsb %v0, %v0, %v0
1861 wfdsb %f0, %f0, %f0
1862 wfdsb %v0, %v0, %v31
1863 wfdsb %v0, %v31, %v0
1864 wfdsb %v31, %v0, %v0
1865 wfdsb %v18, %v3, %v20
1867 #CHECK: wfdxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe5]
1868 #CHECK: wfdxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe5]
1869 #CHECK: wfdxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe5]
1870 #CHECK: wfdxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe5]
1871 #CHECK: wfdxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe5]
1873 wfdxb %v0, %v0, %v0
1874 wfdxb %v0, %v0, %v31
1875 wfdxb %v0, %v31, %v0
1876 wfdxb %v31, %v0, %v0
1877 wfdxb %v18, %v3, %v20
1879 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1880 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1881 #CHECK: wfisb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc7]
1882 #CHECK: wfisb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc7]
1883 #CHECK: wfisb %f0, %f0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x20,0xc7]
1884 #CHECK: wfisb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc7]
1885 #CHECK: wfisb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc7]
1886 #CHECK: wfisb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc7]
1888 wfisb %v0, %v0, 0, 0
1889 wfisb %f0, %f0, 0, 0
1890 wfisb %v0, %v0, 0, 15
1891 wfisb %v0, %v0, 4, 0
1892 wfisb %v0, %v0, 7, 0
1893 wfisb %v0, %v31, 0, 0
1894 wfisb %v31, %v0, 0, 0
1895 wfisb %v14, %v17, 4, 10
1897 #CHECK: wfixb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc7]
1898 #CHECK: wfixb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc7]
1899 #CHECK: wfixb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc7]
1900 #CHECK: wfixb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc7]
1901 #CHECK: wfixb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc7]
1902 #CHECK: wfixb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc7]
1903 #CHECK: wfixb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc7]
1905 wfixb %v0, %v0, 0, 0
1906 wfixb %v0, %v0, 0, 15
1907 wfixb %v0, %v0, 4, 0
1908 wfixb %v0, %v0, 7, 0
1909 wfixb %v0, %v31, 0, 0
1910 wfixb %v31, %v0, 0, 0
1911 wfixb %v14, %v17, 4, 10
1913 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1914 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1915 #CHECK: wfksb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xca]
1916 #CHECK: wfksb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xca]
1917 #CHECK: wfksb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xca]
1918 #CHECK: wfksb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xca]
1919 #CHECK: wfksb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xca]
1921 wfksb %v0, %v0
1922 wfksb %f0, %f0
1923 wfksb %v0, %v15
1924 wfksb %v0, %v31
1925 wfksb %v15, %v0
1926 wfksb %v31, %v0
1927 wfksb %v14, %v17
1929 #CHECK: wfkxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xca]
1930 #CHECK: wfkxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xca]
1931 #CHECK: wfkxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xca]
1932 #CHECK: wfkxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xca]
1933 #CHECK: wfkxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xca]
1934 #CHECK: wfkxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xca]
1936 wfkxb %v0, %v0
1937 wfkxb %v0, %v15
1938 wfkxb %v0, %v31
1939 wfkxb %v15, %v0
1940 wfkxb %v31, %v0
1941 wfkxb %v14, %v17
1943 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1944 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1945 #CHECK: wfkedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xe8]
1946 #CHECK: wfkedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xe8]
1947 #CHECK: wfkedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xe8]
1948 #CHECK: wfkedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xe8]
1950 wfkedb %v0, %v0, %v0
1951 wfkedb %f0, %f0, %f0
1952 wfkedb %v0, %v0, %v31
1953 wfkedb %v0, %v31, %v0
1954 wfkedb %v31, %v0, %v0
1955 wfkedb %v18, %v3, %v20
1957 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1958 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1959 #CHECK: wfkedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xe8]
1960 #CHECK: wfkedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xe8]
1961 #CHECK: wfkedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xe8]
1962 #CHECK: wfkedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xe8]
1964 wfkedbs %v0, %v0, %v0
1965 wfkedbs %f0, %f0, %f0
1966 wfkedbs %v0, %v0, %v31
1967 wfkedbs %v0, %v31, %v0
1968 wfkedbs %v31, %v0, %v0
1969 wfkedbs %v18, %v3, %v20
1971 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1972 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1973 #CHECK: wfkesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xe8]
1974 #CHECK: wfkesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xe8]
1975 #CHECK: wfkesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xe8]
1976 #CHECK: wfkesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xe8]
1978 wfkesb %v0, %v0, %v0
1979 wfkesb %f0, %f0, %f0
1980 wfkesb %v0, %v0, %v31
1981 wfkesb %v0, %v31, %v0
1982 wfkesb %v31, %v0, %v0
1983 wfkesb %v18, %v3, %v20
1985 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1986 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1987 #CHECK: wfkesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xe8]
1988 #CHECK: wfkesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xe8]
1989 #CHECK: wfkesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xe8]
1990 #CHECK: wfkesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xe8]
1992 wfkesbs %v0, %v0, %v0
1993 wfkesbs %f0, %f0, %f0
1994 wfkesbs %v0, %v0, %v31
1995 wfkesbs %v0, %v31, %v0
1996 wfkesbs %v31, %v0, %v0
1997 wfkesbs %v18, %v3, %v20
1999 #CHECK: wfkexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xe8]
2000 #CHECK: wfkexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xe8]
2001 #CHECK: wfkexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xe8]
2002 #CHECK: wfkexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xe8]
2003 #CHECK: wfkexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xe8]
2005 wfkexb %v0, %v0, %v0
2006 wfkexb %v0, %v0, %v31
2007 wfkexb %v0, %v31, %v0
2008 wfkexb %v31, %v0, %v0
2009 wfkexb %v18, %v3, %v20
2011 #CHECK: wfkexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xe8]
2012 #CHECK: wfkexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xe8]
2013 #CHECK: wfkexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xe8]
2014 #CHECK: wfkexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xe8]
2015 #CHECK: wfkexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xe8]
2017 wfkexbs %v0, %v0, %v0
2018 wfkexbs %v0, %v0, %v31
2019 wfkexbs %v0, %v31, %v0
2020 wfkexbs %v31, %v0, %v0
2021 wfkexbs %v18, %v3, %v20
2023 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
2024 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
2025 #CHECK: wfkhdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xeb]
2026 #CHECK: wfkhdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xeb]
2027 #CHECK: wfkhdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xeb]
2028 #CHECK: wfkhdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xeb]
2030 wfkhdb %v0, %v0, %v0
2031 wfkhdb %f0, %f0, %f0
2032 wfkhdb %v0, %v0, %v31
2033 wfkhdb %v0, %v31, %v0
2034 wfkhdb %v31, %v0, %v0
2035 wfkhdb %v18, %v3, %v20
2037 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
2038 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
2039 #CHECK: wfkhdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xeb]
2040 #CHECK: wfkhdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xeb]
2041 #CHECK: wfkhdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xeb]
2042 #CHECK: wfkhdbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xeb]
2044 wfkhdbs %v0, %v0, %v0
2045 wfkhdbs %f0, %f0, %f0
2046 wfkhdbs %v0, %v0, %v31
2047 wfkhdbs %v0, %v31, %v0
2048 wfkhdbs %v31, %v0, %v0
2049 wfkhdbs %v18, %v3, %v20
2051 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
2052 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
2053 #CHECK: wfkhsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xeb]
2054 #CHECK: wfkhsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xeb]
2055 #CHECK: wfkhsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xeb]
2056 #CHECK: wfkhsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xeb]
2058 wfkhsb %v0, %v0, %v0
2059 wfkhsb %f0, %f0, %f0
2060 wfkhsb %v0, %v0, %v31
2061 wfkhsb %v0, %v31, %v0
2062 wfkhsb %v31, %v0, %v0
2063 wfkhsb %v18, %v3, %v20
2065 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2066 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2067 #CHECK: wfkhsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xeb]
2068 #CHECK: wfkhsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xeb]
2069 #CHECK: wfkhsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xeb]
2070 #CHECK: wfkhsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xeb]
2072 wfkhsbs %v0, %v0, %v0
2073 wfkhsbs %f0, %f0, %f0
2074 wfkhsbs %v0, %v0, %v31
2075 wfkhsbs %v0, %v31, %v0
2076 wfkhsbs %v31, %v0, %v0
2077 wfkhsbs %v18, %v3, %v20
2079 #CHECK: wfkhxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xeb]
2080 #CHECK: wfkhxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xeb]
2081 #CHECK: wfkhxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xeb]
2082 #CHECK: wfkhxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xeb]
2083 #CHECK: wfkhxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xeb]
2085 wfkhxb %v0, %v0, %v0
2086 wfkhxb %v0, %v0, %v31
2087 wfkhxb %v0, %v31, %v0
2088 wfkhxb %v31, %v0, %v0
2089 wfkhxb %v18, %v3, %v20
2091 #CHECK: wfkhxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xeb]
2092 #CHECK: wfkhxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xeb]
2093 #CHECK: wfkhxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xeb]
2094 #CHECK: wfkhxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xeb]
2095 #CHECK: wfkhxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xeb]
2097 wfkhxbs %v0, %v0, %v0
2098 wfkhxbs %v0, %v0, %v31
2099 wfkhxbs %v0, %v31, %v0
2100 wfkhxbs %v31, %v0, %v0
2101 wfkhxbs %v18, %v3, %v20
2103 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2104 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2105 #CHECK: wfkhedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xea]
2106 #CHECK: wfkhedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xea]
2107 #CHECK: wfkhedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xea]
2108 #CHECK: wfkhedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xea]
2110 wfkhedb %v0, %v0, %v0
2111 wfkhedb %f0, %f0, %f0
2112 wfkhedb %v0, %v0, %v31
2113 wfkhedb %v0, %v31, %v0
2114 wfkhedb %v31, %v0, %v0
2115 wfkhedb %v18, %v3, %v20
2117 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2118 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2119 #CHECK: wfkhedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xea]
2120 #CHECK: wfkhedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xea]
2121 #CHECK: wfkhedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xea]
2122 #CHECK: wfkhedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xea]
2124 wfkhedbs %v0, %v0, %v0
2125 wfkhedbs %f0, %f0, %f0
2126 wfkhedbs %v0, %v0, %v31
2127 wfkhedbs %v0, %v31, %v0
2128 wfkhedbs %v31, %v0, %v0
2129 wfkhedbs %v18, %v3, %v20
2131 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2132 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2133 #CHECK: wfkhesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xea]
2134 #CHECK: wfkhesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xea]
2135 #CHECK: wfkhesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xea]
2136 #CHECK: wfkhesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xea]
2138 wfkhesb %v0, %v0, %v0
2139 wfkhesb %f0, %f0, %f0
2140 wfkhesb %v0, %v0, %v31
2141 wfkhesb %v0, %v31, %v0
2142 wfkhesb %v31, %v0, %v0
2143 wfkhesb %v18, %v3, %v20
2145 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2146 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2147 #CHECK: wfkhesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xea]
2148 #CHECK: wfkhesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xea]
2149 #CHECK: wfkhesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xea]
2150 #CHECK: wfkhesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xea]
2152 wfkhesbs %v0, %v0, %v0
2153 wfkhesbs %f0, %f0, %f0
2154 wfkhesbs %v0, %v0, %v31
2155 wfkhesbs %v0, %v31, %v0
2156 wfkhesbs %v31, %v0, %v0
2157 wfkhesbs %v18, %v3, %v20
2159 #CHECK: wfkhexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xea]
2160 #CHECK: wfkhexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xea]
2161 #CHECK: wfkhexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xea]
2162 #CHECK: wfkhexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xea]
2163 #CHECK: wfkhexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xea]
2165 wfkhexb %v0, %v0, %v0
2166 wfkhexb %v0, %v0, %v31
2167 wfkhexb %v0, %v31, %v0
2168 wfkhexb %v31, %v0, %v0
2169 wfkhexb %v18, %v3, %v20
2171 #CHECK: wfkhexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xea]
2172 #CHECK: wfkhexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xea]
2173 #CHECK: wfkhexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xea]
2174 #CHECK: wfkhexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xea]
2175 #CHECK: wfkhexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xea]
2177 wfkhexbs %v0, %v0, %v0
2178 wfkhexbs %v0, %v0, %v31
2179 wfkhexbs %v0, %v31, %v0
2180 wfkhexbs %v31, %v0, %v0
2181 wfkhexbs %v18, %v3, %v20
2183 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2184 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2185 #CHECK: wfpsosb %f0, %f0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xcc]
2186 #CHECK: wfpsosb %f0, %f15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x20,0xcc]
2187 #CHECK: wfpsosb %f0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x24,0xcc]
2188 #CHECK: wfpsosb %f15, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x20,0xcc]
2189 #CHECK: wfpsosb %v31, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x28,0xcc]
2190 #CHECK: wfpsosb %f14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x24,0xcc]
2192 wfpsosb %v0, %v0, 3
2193 wfpsosb %f0, %f0, 3
2194 wfpsosb %v0, %v0, 15
2195 wfpsosb %v0, %v15, 3
2196 wfpsosb %v0, %v31, 3
2197 wfpsosb %v15, %v0, 3
2198 wfpsosb %v31, %v0, 3
2199 wfpsosb %v14, %v17, 7
2201 #CHECK: wfpsoxb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x40,0xcc]
2202 #CHECK: wfpsoxb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xcc]
2203 #CHECK: wfpsoxb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x40,0xcc]
2204 #CHECK: wfpsoxb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x44,0xcc]
2205 #CHECK: wfpsoxb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x40,0xcc]
2206 #CHECK: wfpsoxb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x48,0xcc]
2207 #CHECK: wfpsoxb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x44,0xcc]
2209 wfpsoxb %v0, %v0, 3
2210 wfpsoxb %v0, %v0, 15
2211 wfpsoxb %v0, %v15, 3
2212 wfpsoxb %v0, %v31, 3
2213 wfpsoxb %v15, %v0, 3
2214 wfpsoxb %v31, %v0, 3
2215 wfpsoxb %v14, %v17, 7
2217 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2218 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2219 #CHECK: wflcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xcc]
2220 #CHECK: wflcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xcc]
2221 #CHECK: wflcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xcc]
2222 #CHECK: wflcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xcc]
2223 #CHECK: wflcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xcc]
2225 wflcsb %v0, %v0
2226 wflcsb %f0, %f0
2227 wflcsb %v0, %v15
2228 wflcsb %v0, %v31
2229 wflcsb %v15, %v0
2230 wflcsb %v31, %v0
2231 wflcsb %v14, %v17
2233 #CHECK: wflcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xcc]
2234 #CHECK: wflcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xcc]
2235 #CHECK: wflcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xcc]
2236 #CHECK: wflcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xcc]
2237 #CHECK: wflcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xcc]
2238 #CHECK: wflcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xcc]
2240 wflcxb %v0, %v0
2241 wflcxb %v0, %v15
2242 wflcxb %v0, %v31
2243 wflcxb %v15, %v0
2244 wflcxb %v31, %v0
2245 wflcxb %v14, %v17
2247 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2248 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2249 #CHECK: wflnsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x18,0x20,0xcc]
2250 #CHECK: wflnsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xcc]
2251 #CHECK: wflnsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x20,0xcc]
2252 #CHECK: wflnsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xcc]
2253 #CHECK: wflnsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x24,0xcc]
2255 wflnsb %v0, %v0
2256 wflnsb %f0, %f0
2257 wflnsb %v0, %v15
2258 wflnsb %v0, %v31
2259 wflnsb %v15, %v0
2260 wflnsb %v31, %v0
2261 wflnsb %v14, %v17
2263 #CHECK: wflnxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xcc]
2264 #CHECK: wflnxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x18,0x40,0xcc]
2265 #CHECK: wflnxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xcc]
2266 #CHECK: wflnxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x40,0xcc]
2267 #CHECK: wflnxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xcc]
2268 #CHECK: wflnxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x44,0xcc]
2270 wflnxb %v0, %v0
2271 wflnxb %v0, %v15
2272 wflnxb %v0, %v31
2273 wflnxb %v15, %v0
2274 wflnxb %v31, %v0
2275 wflnxb %v14, %v17
2277 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2278 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2279 #CHECK: wflpsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x28,0x20,0xcc]
2280 #CHECK: wflpsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x24,0xcc]
2281 #CHECK: wflpsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x20,0xcc]
2282 #CHECK: wflpsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x28,0xcc]
2283 #CHECK: wflpsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x24,0xcc]
2285 wflpsb %v0, %v0
2286 wflpsb %f0, %f0
2287 wflpsb %v0, %v15
2288 wflpsb %v0, %v31
2289 wflpsb %v15, %v0
2290 wflpsb %v31, %v0
2291 wflpsb %v14, %v17
2293 #CHECK: wflpxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x28,0x40,0xcc]
2294 #CHECK: wflpxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x28,0x40,0xcc]
2295 #CHECK: wflpxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x44,0xcc]
2296 #CHECK: wflpxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x40,0xcc]
2297 #CHECK: wflpxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x48,0xcc]
2298 #CHECK: wflpxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x44,0xcc]
2300 wflpxb %v0, %v0
2301 wflpxb %v0, %v15
2302 wflpxb %v0, %v31
2303 wflpxb %v15, %v0
2304 wflpxb %v31, %v0
2305 wflpxb %v14, %v17
2307 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2308 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2309 #CHECK: wflls %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xc4]
2310 #CHECK: wflls %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
2311 #CHECK: wflls %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xc4]
2312 #CHECK: wflls %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
2313 #CHECK: wflls %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xc4]
2315 wflls %v0, %v0
2316 wflls %f0, %f0
2317 wflls %v0, %v15
2318 wflls %v0, %v31
2319 wflls %v15, %v0
2320 wflls %v31, %v0
2321 wflls %v14, %v17
2323 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2324 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2325 #CHECK: wflld %v0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xc4]
2326 #CHECK: wflld %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc4]
2327 #CHECK: wflld %v15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xc4]
2328 #CHECK: wflld %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc4]
2329 #CHECK: wflld %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xc4]
2331 wflld %v0, %v0
2332 wflld %v0, %f0
2333 wflld %v0, %v15
2334 wflld %v0, %v31
2335 wflld %v15, %v0
2336 wflld %v31, %v0
2337 wflld %v14, %v17
2339 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2340 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2341 #CHECK: wflrd %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc5]
2342 #CHECK: wflrd %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2343 #CHECK: wflrd %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2344 #CHECK: wflrd %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
2345 #CHECK: wflrd %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
2346 #CHECK: wflrd %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc5]
2348 wflrd %v0, %v0, 0, 0
2349 wflrd %f0, %f0, 0, 0
2350 wflrd %v0, %v0, 0, 15
2351 wflrd %v0, %v0, 4, 0
2352 wflrd %v0, %v0, 12, 0
2353 wflrd %v0, %v31, 0, 0
2354 wflrd %v31, %v0, 0, 0
2355 wflrd %v14, %v17, 4, 10
2357 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2358 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2359 #CHECK: wflrx %f0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc5]
2360 #CHECK: wflrx %f0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc5]
2361 #CHECK: wflrx %f0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc5]
2362 #CHECK: wflrx %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc5]
2363 #CHECK: wflrx %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc5]
2364 #CHECK: wflrx %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc5]
2366 wflrx %v0, %v0, 0, 0
2367 wflrx %f0, %v0, 0, 0
2368 wflrx %v0, %v0, 0, 15
2369 wflrx %v0, %v0, 4, 0
2370 wflrx %v0, %v0, 7, 0
2371 wflrx %v0, %v31, 0, 0
2372 wflrx %v31, %v0, 0, 0
2373 wflrx %v14, %v17, 4, 10
2375 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2376 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2377 #CHECK: wfmaxdb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xef]
2378 #CHECK: wfmaxdb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xef]
2379 #CHECK: wfmaxdb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xef]
2380 #CHECK: wfmaxdb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xef]
2381 #CHECK: wfmaxdb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xef]
2383 wfmaxdb %v0, %v0, %v0, 0
2384 wfmaxdb %f0, %f0, %f0, 0
2385 wfmaxdb %v0, %v0, %v0, 4
2386 wfmaxdb %v0, %v0, %v31, 0
2387 wfmaxdb %v0, %v31, %v0, 0
2388 wfmaxdb %v31, %v0, %v0, 0
2389 wfmaxdb %v18, %v3, %v20, 11
2391 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2392 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2393 #CHECK: wfmaxsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xef]
2394 #CHECK: wfmaxsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xef]
2395 #CHECK: wfmaxsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xef]
2396 #CHECK: wfmaxsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xef]
2397 #CHECK: wfmaxsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xef]
2399 wfmaxsb %v0, %v0, %v0, 0
2400 wfmaxsb %f0, %f0, %f0, 0
2401 wfmaxsb %v0, %v0, %v0, 4
2402 wfmaxsb %v0, %v0, %v31, 0
2403 wfmaxsb %v0, %v31, %v0, 0
2404 wfmaxsb %v31, %v0, %v0, 0
2405 wfmaxsb %v18, %v3, %v20, 11
2407 #CHECK: wfmaxxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xef]
2408 #CHECK: wfmaxxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xef]
2409 #CHECK: wfmaxxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xef]
2410 #CHECK: wfmaxxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xef]
2411 #CHECK: wfmaxxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xef]
2412 #CHECK: wfmaxxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xef]
2414 wfmaxxb %v0, %v0, %v0, 0
2415 wfmaxxb %v0, %v0, %v0, 4
2416 wfmaxxb %v0, %v0, %v31, 0
2417 wfmaxxb %v0, %v31, %v0, 0
2418 wfmaxxb %v31, %v0, %v0, 0
2419 wfmaxxb %v18, %v3, %v20, 11
2421 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2422 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2423 #CHECK: wfmindb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xee]
2424 #CHECK: wfmindb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xee]
2425 #CHECK: wfmindb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xee]
2426 #CHECK: wfmindb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xee]
2427 #CHECK: wfmindb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xee]
2429 wfmindb %v0, %v0, %v0, 0
2430 wfmindb %f0, %f0, %f0, 0
2431 wfmindb %v0, %v0, %v0, 4
2432 wfmindb %v0, %v0, %v31, 0
2433 wfmindb %v0, %v31, %v0, 0
2434 wfmindb %v31, %v0, %v0, 0
2435 wfmindb %v18, %v3, %v20, 11
2437 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2438 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2439 #CHECK: wfminsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xee]
2440 #CHECK: wfminsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xee]
2441 #CHECK: wfminsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xee]
2442 #CHECK: wfminsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xee]
2443 #CHECK: wfminsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xee]
2445 wfminsb %v0, %v0, %v0, 0
2446 wfminsb %f0, %f0, %f0, 0
2447 wfminsb %v0, %v0, %v0, 4
2448 wfminsb %v0, %v0, %v31, 0
2449 wfminsb %v0, %v31, %v0, 0
2450 wfminsb %v31, %v0, %v0, 0
2451 wfminsb %v18, %v3, %v20, 11
2453 #CHECK: wfminxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xee]
2454 #CHECK: wfminxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xee]
2455 #CHECK: wfminxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xee]
2456 #CHECK: wfminxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xee]
2457 #CHECK: wfminxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xee]
2458 #CHECK: wfminxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xee]
2460 wfminxb %v0, %v0, %v0, 0
2461 wfminxb %v0, %v0, %v0, 4
2462 wfminxb %v0, %v0, %v31, 0
2463 wfminxb %v0, %v31, %v0, 0
2464 wfminxb %v31, %v0, %v0, 0
2465 wfminxb %v18, %v3, %v20, 11
2467 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2468 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2469 #CHECK: wfmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8f]
2470 #CHECK: wfmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8f]
2471 #CHECK: wfmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8f]
2472 #CHECK: wfmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8f]
2473 #CHECK: wfmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8f]
2475 wfmasb %v0, %v0, %v0, %v0
2476 wfmasb %f0, %f0, %f0, %f0
2477 wfmasb %v0, %v0, %v0, %v31
2478 wfmasb %v0, %v0, %v31, %v0
2479 wfmasb %v0, %v31, %v0, %v0
2480 wfmasb %v31, %v0, %v0, %v0
2481 wfmasb %v13, %v17, %v21, %v25
2483 #CHECK: wfmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8f]
2484 #CHECK: wfmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8f]
2485 #CHECK: wfmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8f]
2486 #CHECK: wfmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8f]
2487 #CHECK: wfmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8f]
2488 #CHECK: wfmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8f]
2490 wfmaxb %v0, %v0, %v0, %v0
2491 wfmaxb %v0, %v0, %v0, %v31
2492 wfmaxb %v0, %v0, %v31, %v0
2493 wfmaxb %v0, %v31, %v0, %v0
2494 wfmaxb %v31, %v0, %v0, %v0
2495 wfmaxb %v13, %v17, %v21, %v25
2497 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2498 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2499 #CHECK: wfmsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe7]
2500 #CHECK: wfmsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe7]
2501 #CHECK: wfmsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe7]
2502 #CHECK: wfmsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe7]
2504 wfmsb %v0, %v0, %v0
2505 wfmsb %f0, %f0, %f0
2506 wfmsb %v0, %v0, %v31
2507 wfmsb %v0, %v31, %v0
2508 wfmsb %v31, %v0, %v0
2509 wfmsb %v18, %v3, %v20
2511 #CHECK: wfmxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe7]
2512 #CHECK: wfmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe7]
2513 #CHECK: wfmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe7]
2514 #CHECK: wfmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe7]
2515 #CHECK: wfmxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe7]
2517 wfmxb %v0, %v0, %v0
2518 wfmxb %v0, %v0, %v31
2519 wfmxb %v0, %v31, %v0
2520 wfmxb %v31, %v0, %v0
2521 wfmxb %v18, %v3, %v20
2523 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2524 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2525 #CHECK: wfmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8e]
2526 #CHECK: wfmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8e]
2527 #CHECK: wfmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8e]
2528 #CHECK: wfmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8e]
2529 #CHECK: wfmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8e]
2531 wfmssb %v0, %v0, %v0, %v0
2532 wfmssb %f0, %f0, %f0, %f0
2533 wfmssb %v0, %v0, %v0, %v31
2534 wfmssb %v0, %v0, %v31, %v0
2535 wfmssb %v0, %v31, %v0, %v0
2536 wfmssb %v31, %v0, %v0, %v0
2537 wfmssb %v13, %v17, %v21, %v25
2539 #CHECK: wfmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8e]
2540 #CHECK: wfmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8e]
2541 #CHECK: wfmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8e]
2542 #CHECK: wfmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8e]
2543 #CHECK: wfmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8e]
2544 #CHECK: wfmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8e]
2546 wfmsxb %v0, %v0, %v0, %v0
2547 wfmsxb %v0, %v0, %v0, %v31
2548 wfmsxb %v0, %v0, %v31, %v0
2549 wfmsxb %v0, %v31, %v0, %v0
2550 wfmsxb %v31, %v0, %v0, %v0
2551 wfmsxb %v13, %v17, %v21, %v25
2553 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2554 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2555 #CHECK: wfnmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9f]
2556 #CHECK: wfnmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9f]
2557 #CHECK: wfnmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9f]
2558 #CHECK: wfnmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9f]
2559 #CHECK: wfnmadb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9f]
2561 wfnmadb %v0, %v0, %v0, %v0
2562 wfnmadb %f0, %f0, %f0, %f0
2563 wfnmadb %v0, %v0, %v0, %v31
2564 wfnmadb %v0, %v0, %v31, %v0
2565 wfnmadb %v0, %v31, %v0, %v0
2566 wfnmadb %v31, %v0, %v0, %v0
2567 wfnmadb %v13, %v17, %v21, %v25
2569 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2570 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2571 #CHECK: wfnmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9f]
2572 #CHECK: wfnmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9f]
2573 #CHECK: wfnmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9f]
2574 #CHECK: wfnmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9f]
2575 #CHECK: wfnmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9f]
2577 wfnmasb %v0, %v0, %v0, %v0
2578 wfnmasb %f0, %f0, %f0, %f0
2579 wfnmasb %v0, %v0, %v0, %v31
2580 wfnmasb %v0, %v0, %v31, %v0
2581 wfnmasb %v0, %v31, %v0, %v0
2582 wfnmasb %v31, %v0, %v0, %v0
2583 wfnmasb %v13, %v17, %v21, %v25
2585 #CHECK: wfnmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9f]
2586 #CHECK: wfnmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9f]
2587 #CHECK: wfnmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9f]
2588 #CHECK: wfnmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9f]
2589 #CHECK: wfnmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9f]
2590 #CHECK: wfnmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9f]
2592 wfnmaxb %v0, %v0, %v0, %v0
2593 wfnmaxb %v0, %v0, %v0, %v31
2594 wfnmaxb %v0, %v0, %v31, %v0
2595 wfnmaxb %v0, %v31, %v0, %v0
2596 wfnmaxb %v31, %v0, %v0, %v0
2597 wfnmaxb %v13, %v17, %v21, %v25
2599 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2600 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2601 #CHECK: wfnmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9e]
2602 #CHECK: wfnmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9e]
2603 #CHECK: wfnmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9e]
2604 #CHECK: wfnmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9e]
2605 #CHECK: wfnmsdb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9e]
2607 wfnmsdb %v0, %v0, %v0, %v0
2608 wfnmsdb %f0, %f0, %f0, %f0
2609 wfnmsdb %v0, %v0, %v0, %v31
2610 wfnmsdb %v0, %v0, %v31, %v0
2611 wfnmsdb %v0, %v31, %v0, %v0
2612 wfnmsdb %v31, %v0, %v0, %v0
2613 wfnmsdb %v13, %v17, %v21, %v25
2615 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2616 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2617 #CHECK: wfnmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9e]
2618 #CHECK: wfnmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9e]
2619 #CHECK: wfnmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9e]
2620 #CHECK: wfnmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9e]
2621 #CHECK: wfnmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9e]
2623 wfnmssb %v0, %v0, %v0, %v0
2624 wfnmssb %f0, %f0, %f0, %f0
2625 wfnmssb %v0, %v0, %v0, %v31
2626 wfnmssb %v0, %v0, %v31, %v0
2627 wfnmssb %v0, %v31, %v0, %v0
2628 wfnmssb %v31, %v0, %v0, %v0
2629 wfnmssb %v13, %v17, %v21, %v25
2631 #CHECK: wfnmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9e]
2632 #CHECK: wfnmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9e]
2633 #CHECK: wfnmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9e]
2634 #CHECK: wfnmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9e]
2635 #CHECK: wfnmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9e]
2636 #CHECK: wfnmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9e]
2638 wfnmsxb %v0, %v0, %v0, %v0
2639 wfnmsxb %v0, %v0, %v0, %v31
2640 wfnmsxb %v0, %v0, %v31, %v0
2641 wfnmsxb %v0, %v31, %v0, %v0
2642 wfnmsxb %v31, %v0, %v0, %v0
2643 wfnmsxb %v13, %v17, %v21, %v25
2645 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2646 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2647 #CHECK: wfssb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe2]
2648 #CHECK: wfssb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe2]
2649 #CHECK: wfssb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe2]
2650 #CHECK: wfssb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe2]
2652 wfssb %v0, %v0, %v0
2653 wfssb %f0, %f0, %f0
2654 wfssb %v0, %v0, %v31
2655 wfssb %v0, %v31, %v0
2656 wfssb %v31, %v0, %v0
2657 wfssb %v18, %v3, %v20
2659 #CHECK: wfsxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe2]
2660 #CHECK: wfsxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe2]
2661 #CHECK: wfsxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe2]
2662 #CHECK: wfsxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe2]
2663 #CHECK: wfsxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe2]
2665 wfsxb %v0, %v0, %v0
2666 wfsxb %v0, %v0, %v31
2667 wfsxb %v0, %v31, %v0
2668 wfsxb %v31, %v0, %v0
2669 wfsxb %v18, %v3, %v20
2671 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2672 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2673 #CHECK: wfsqsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xce]
2674 #CHECK: wfsqsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xce]
2675 #CHECK: wfsqsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xce]
2676 #CHECK: wfsqsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xce]
2677 #CHECK: wfsqsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xce]
2679 wfsqsb %v0, %v0
2680 wfsqsb %f0, %f0
2681 wfsqsb %v0, %v15
2682 wfsqsb %v0, %v31
2683 wfsqsb %v15, %v0
2684 wfsqsb %v31, %v0
2685 wfsqsb %v14, %v17
2687 #CHECK: wfsqxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xce]
2688 #CHECK: wfsqxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xce]
2689 #CHECK: wfsqxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xce]
2690 #CHECK: wfsqxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xce]
2691 #CHECK: wfsqxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xce]
2692 #CHECK: wfsqxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xce]
2694 wfsqxb %v0, %v0
2695 wfsqxb %v0, %v15
2696 wfsqxb %v0, %v31
2697 wfsqxb %v15, %v0
2698 wfsqxb %v31, %v0
2699 wfsqxb %v14, %v17
2701 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2702 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2703 #CHECK: wftcisb %f0, %f0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x20,0x4a]
2704 #CHECK: wftcisb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0x4a]
2705 #CHECK: wftcisb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0x4a]
2706 #CHECK: wftcisb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0x4a]
2707 #CHECK: wftcisb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0x4a]
2708 #CHECK: wftcisb %f4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x24,0x4a]
2710 wftcisb %v0, %v0, 0
2711 wftcisb %f0, %f0, 0
2712 wftcisb %v0, %v0, 4095
2713 wftcisb %v0, %v15, 0
2714 wftcisb %v0, %v31, 0
2715 wftcisb %v15, %v0, 0
2716 wftcisb %v31, %v0, 0
2717 wftcisb %v4, %v21, 0x678
2719 #CHECK: wftcixb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0x4a]
2720 #CHECK: wftcixb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x40,0x4a]
2721 #CHECK: wftcixb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0x4a]
2722 #CHECK: wftcixb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0x4a]
2723 #CHECK: wftcixb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0x4a]
2724 #CHECK: wftcixb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0x4a]
2725 #CHECK: wftcixb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x44,0x4a]
2727 wftcixb %v0, %v0, 0
2728 wftcixb %v0, %v0, 4095
2729 wftcixb %v0, %v15, 0
2730 wftcixb %v0, %v31, 0
2731 wftcixb %v15, %v0, 0
2732 wftcixb %v31, %v0, 0
2733 wftcixb %v4, %v21, 0x678
2735 #CHECK: tpei %r0, %r15 # encoding: [0xb9,0xa1,0x00,0x0f]
2736 #CHECK: tpei %r15, %r0 # encoding: [0xb9,0xa1,0x00,0xf0]
2737 #CHECK: tpei %r4, %r10 # encoding: [0xb9,0xa1,0x00,0x4a]
2738 tpei %r0, %r15
2739 tpei %r15, %r0
2740 tpei %r4, %r10