[NFC][RemoveDIs] Prefer iterators over inst-pointers in InstCombine
[llvm-project.git] / llvm / test / MC / SystemZ / insn-good-z14.s
blobec12283ecbae89f8e92f3c8e3afc430e4d3904c8
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]
100 bic 2, 0(%r7)
101 bih 0(%r15)
103 #CHECK: bic 3, 0(%r7) # encoding: [0xe3,0x30,0x70,0x00,0x00,0x47]
104 #CHECK: binle 0(%r15) # encoding: [0xe3,0x30,0xf0,0x00,0x00,0x47]
106 bic 3, 0(%r7)
107 binle 0(%r15)
109 #CHECK: bic 4, 0(%r7) # encoding: [0xe3,0x40,0x70,0x00,0x00,0x47]
110 #CHECK: bil 0(%r15) # encoding: [0xe3,0x40,0xf0,0x00,0x00,0x47]
112 bic 4, 0(%r7)
113 bil 0(%r15)
115 #CHECK: bic 5, 0(%r7) # encoding: [0xe3,0x50,0x70,0x00,0x00,0x47]
116 #CHECK: binhe 0(%r15) # encoding: [0xe3,0x50,0xf0,0x00,0x00,0x47]
118 bic 5, 0(%r7)
119 binhe 0(%r15)
121 #CHECK: bic 6, 0(%r7) # encoding: [0xe3,0x60,0x70,0x00,0x00,0x47]
122 #CHECK: bilh 0(%r15) # encoding: [0xe3,0x60,0xf0,0x00,0x00,0x47]
124 bic 6, 0(%r7)
125 bilh 0(%r15)
127 #CHECK: bic 7, 0(%r7) # encoding: [0xe3,0x70,0x70,0x00,0x00,0x47]
128 #CHECK: bine 0(%r15) # encoding: [0xe3,0x70,0xf0,0x00,0x00,0x47]
130 bic 7, 0(%r7)
131 bine 0(%r15)
133 #CHECK: bic 8, 0(%r7) # encoding: [0xe3,0x80,0x70,0x00,0x00,0x47]
134 #CHECK: bie 0(%r15) # encoding: [0xe3,0x80,0xf0,0x00,0x00,0x47]
136 bic 8, 0(%r7)
137 bie 0(%r15)
139 #CHECK: bic 9, 0(%r7) # encoding: [0xe3,0x90,0x70,0x00,0x00,0x47]
140 #CHECK: binlh 0(%r15) # encoding: [0xe3,0x90,0xf0,0x00,0x00,0x47]
142 bic 9, 0(%r7)
143 binlh 0(%r15)
145 #CHECK: bic 10, 0(%r7) # encoding: [0xe3,0xa0,0x70,0x00,0x00,0x47]
146 #CHECK: bihe 0(%r15) # encoding: [0xe3,0xa0,0xf0,0x00,0x00,0x47]
148 bic 10, 0(%r7)
149 bihe 0(%r15)
151 #CHECK: bic 11, 0(%r7) # encoding: [0xe3,0xb0,0x70,0x00,0x00,0x47]
152 #CHECK: binl 0(%r15) # encoding: [0xe3,0xb0,0xf0,0x00,0x00,0x47]
154 bic 11, 0(%r7)
155 binl 0(%r15)
157 #CHECK: bic 12, 0(%r7) # encoding: [0xe3,0xc0,0x70,0x00,0x00,0x47]
158 #CHECK: bile 0(%r15) # encoding: [0xe3,0xc0,0xf0,0x00,0x00,0x47]
160 bic 12, 0(%r7)
161 bile 0(%r15)
163 #CHECK: bic 13, 0(%r7) # encoding: [0xe3,0xd0,0x70,0x00,0x00,0x47]
164 #CHECK: binh 0(%r15) # encoding: [0xe3,0xd0,0xf0,0x00,0x00,0x47]
166 bic 13, 0(%r7)
167 binh 0(%r15)
169 #CHECK: bic 14, 0(%r7) # encoding: [0xe3,0xe0,0x70,0x00,0x00,0x47]
170 #CHECK: bino 0(%r15) # encoding: [0xe3,0xe0,0xf0,0x00,0x00,0x47]
172 bic 14, 0(%r7)
173 bino 0(%r15)
175 #CHECK: irbm %r0, %r0 # encoding: [0xb9,0xac,0x00,0x00]
176 #CHECK: irbm %r0, %r15 # encoding: [0xb9,0xac,0x00,0x0f]
177 #CHECK: irbm %r15, %r0 # encoding: [0xb9,0xac,0x00,0xf0]
178 #CHECK: irbm %r7, %r8 # encoding: [0xb9,0xac,0x00,0x78]
179 #CHECK: irbm %r15, %r15 # encoding: [0xb9,0xac,0x00,0xff]
181 irbm %r0,%r0
182 irbm %r0,%r15
183 irbm %r15,%r0
184 irbm %r7,%r8
185 irbm %r15,%r15
187 #CHECK: kma %r2, %r2, %r2 # encoding: [0xb9,0x29,0x20,0x22]
188 #CHECK: kma %r2, %r8, %r14 # encoding: [0xb9,0x29,0x80,0x2e]
189 #CHECK: kma %r14, %r8, %r2 # encoding: [0xb9,0x29,0x80,0xe2]
190 #CHECK: kma %r6, %r8, %r10 # encoding: [0xb9,0x29,0x80,0x6a]
192 kma %r2, %r2, %r2
193 kma %r2, %r8, %r14
194 kma %r14, %r8, %r2
195 kma %r6, %r8, %r10
197 #CHECK: lgg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4c]
198 #CHECK: lgg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4c]
199 #CHECK: lgg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4c]
200 #CHECK: lgg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4c]
201 #CHECK: lgg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4c]
202 #CHECK: lgg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4c]
203 #CHECK: lgg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4c]
204 #CHECK: lgg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4c]
205 #CHECK: lgg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4c]
206 #CHECK: lgg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x4c]
208 lgg %r0, -524288
209 lgg %r0, -1
210 lgg %r0, 0
211 lgg %r0, 1
212 lgg %r0, 524287
213 lgg %r0, 0(%r1)
214 lgg %r0, 0(%r15)
215 lgg %r0, 524287(%r1,%r15)
216 lgg %r0, 524287(%r15,%r1)
217 lgg %r15, 0
219 #CHECK: lgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4d]
220 #CHECK: lgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4d]
221 #CHECK: lgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4d]
222 #CHECK: lgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4d]
223 #CHECK: lgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4d]
224 #CHECK: lgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4d]
225 #CHECK: lgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4d]
226 #CHECK: lgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4d]
227 #CHECK: lgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4d]
229 lgsc %r0, -524288
230 lgsc %r0, -1
231 lgsc %r0, 0
232 lgsc %r0, 1
233 lgsc %r0, 524287
234 lgsc %r0, 0(%r1)
235 lgsc %r0, 0(%r15)
236 lgsc %r0, 524287(%r1,%r15)
237 lgsc %r0, 524287(%r15,%r1)
239 #CHECK: llgfsg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x48]
240 #CHECK: llgfsg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x48]
241 #CHECK: llgfsg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x48]
242 #CHECK: llgfsg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x48]
243 #CHECK: llgfsg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x48]
244 #CHECK: llgfsg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x48]
245 #CHECK: llgfsg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x48]
246 #CHECK: llgfsg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x48]
247 #CHECK: llgfsg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x48]
248 #CHECK: llgfsg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x48]
250 llgfsg %r0, -524288
251 llgfsg %r0, -1
252 llgfsg %r0, 0
253 llgfsg %r0, 1
254 llgfsg %r0, 524287
255 llgfsg %r0, 0(%r1)
256 llgfsg %r0, 0(%r15)
257 llgfsg %r0, 524287(%r1,%r15)
258 llgfsg %r0, 524287(%r15,%r1)
259 llgfsg %r15, 0
261 #CHECK: mg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x84]
262 #CHECK: mg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x84]
263 #CHECK: mg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x84]
264 #CHECK: mg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x84]
265 #CHECK: mg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x84]
266 #CHECK: mg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x84]
267 #CHECK: mg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x84]
268 #CHECK: mg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x84]
269 #CHECK: mg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x84]
270 #CHECK: mg %r14, 0 # encoding: [0xe3,0xe0,0x00,0x00,0x00,0x84]
272 mg %r0, -524288
273 mg %r0, -1
274 mg %r0, 0
275 mg %r0, 1
276 mg %r0, 524287
277 mg %r0, 0(%r1)
278 mg %r0, 0(%r15)
279 mg %r0, 524287(%r1,%r15)
280 mg %r0, 524287(%r15,%r1)
281 mg %r14, 0
283 #CHECK: mgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x3c]
284 #CHECK: mgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x3c]
285 #CHECK: mgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x3c]
286 #CHECK: mgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x3c]
287 #CHECK: mgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x3c]
288 #CHECK: mgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x3c]
289 #CHECK: mgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x3c]
290 #CHECK: mgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x3c]
291 #CHECK: mgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x3c]
292 #CHECK: mgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x3c]
294 mgh %r0, -524288
295 mgh %r0, -1
296 mgh %r0, 0
297 mgh %r0, 1
298 mgh %r0, 524287
299 mgh %r0, 0(%r1)
300 mgh %r0, 0(%r15)
301 mgh %r0, 524287(%r1,%r15)
302 mgh %r0, 524287(%r15,%r1)
303 mgh %r15, 0
305 #CHECK: mgrk %r0, %r0, %r0 # encoding: [0xb9,0xec,0x00,0x00]
306 #CHECK: mgrk %r0, %r0, %r15 # encoding: [0xb9,0xec,0xf0,0x00]
307 #CHECK: mgrk %r0, %r15, %r0 # encoding: [0xb9,0xec,0x00,0x0f]
308 #CHECK: mgrk %r14, %r0, %r0 # encoding: [0xb9,0xec,0x00,0xe0]
309 #CHECK: mgrk %r6, %r8, %r9 # encoding: [0xb9,0xec,0x90,0x68]
311 mgrk %r0,%r0,%r0
312 mgrk %r0,%r0,%r15
313 mgrk %r0,%r15,%r0
314 mgrk %r14,%r0,%r0
315 mgrk %r6,%r8,%r9
317 #CHECK: msc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x53]
318 #CHECK: msc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x53]
319 #CHECK: msc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x53]
320 #CHECK: msc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x53]
321 #CHECK: msc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x53]
322 #CHECK: msc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x53]
323 #CHECK: msc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x53]
324 #CHECK: msc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x53]
325 #CHECK: msc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x53]
326 #CHECK: msc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x53]
328 msc %r0, -524288
329 msc %r0, -1
330 msc %r0, 0
331 msc %r0, 1
332 msc %r0, 524287
333 msc %r0, 0(%r1)
334 msc %r0, 0(%r15)
335 msc %r0, 524287(%r1,%r15)
336 msc %r0, 524287(%r15,%r1)
337 msc %r15, 0
339 #CHECK: msgc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x83]
340 #CHECK: msgc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x83]
341 #CHECK: msgc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x83]
342 #CHECK: msgc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x83]
343 #CHECK: msgc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x83]
344 #CHECK: msgc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x83]
345 #CHECK: msgc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x83]
346 #CHECK: msgc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x83]
347 #CHECK: msgc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x83]
348 #CHECK: msgc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x83]
350 msgc %r0, -524288
351 msgc %r0, -1
352 msgc %r0, 0
353 msgc %r0, 1
354 msgc %r0, 524287
355 msgc %r0, 0(%r1)
356 msgc %r0, 0(%r15)
357 msgc %r0, 524287(%r1,%r15)
358 msgc %r0, 524287(%r15,%r1)
359 msgc %r15, 0
361 #CHECK: msrkc %r0, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0x00]
362 #CHECK: msrkc %r0, %r0, %r15 # encoding: [0xb9,0xfd,0xf0,0x00]
363 #CHECK: msrkc %r0, %r15, %r0 # encoding: [0xb9,0xfd,0x00,0x0f]
364 #CHECK: msrkc %r15, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0xf0]
365 #CHECK: msrkc %r7, %r8, %r9 # encoding: [0xb9,0xfd,0x90,0x78]
367 msrkc %r0,%r0,%r0
368 msrkc %r0,%r0,%r15
369 msrkc %r0,%r15,%r0
370 msrkc %r15,%r0,%r0
371 msrkc %r7,%r8,%r9
373 #CHECK: msgrkc %r0, %r0, %r0 # encoding: [0xb9,0xed,0x00,0x00]
374 #CHECK: msgrkc %r0, %r0, %r15 # encoding: [0xb9,0xed,0xf0,0x00]
375 #CHECK: msgrkc %r0, %r15, %r0 # encoding: [0xb9,0xed,0x00,0x0f]
376 #CHECK: msgrkc %r15, %r0, %r0 # encoding: [0xb9,0xed,0x00,0xf0]
377 #CHECK: msgrkc %r7, %r8, %r9 # encoding: [0xb9,0xed,0x90,0x78]
379 msgrkc %r0,%r0,%r0
380 msgrkc %r0,%r0,%r15
381 msgrkc %r0,%r15,%r0
382 msgrkc %r15,%r0,%r0
383 msgrkc %r7,%r8,%r9
385 #CHECK: prno %r2, %r2 # encoding: [0xb9,0x3c,0x00,0x22]
386 #CHECK: prno %r2, %r14 # encoding: [0xb9,0x3c,0x00,0x2e]
387 #CHECK: prno %r14, %r2 # encoding: [0xb9,0x3c,0x00,0xe2]
388 #CHECK: prno %r6, %r10 # encoding: [0xb9,0x3c,0x00,0x6a]
390 prno %r2, %r2
391 prno %r2, %r14
392 prno %r14, %r2
393 prno %r6, %r10
395 #CHECK: sgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x39]
396 #CHECK: sgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x39]
397 #CHECK: sgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x39]
398 #CHECK: sgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x39]
399 #CHECK: sgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x39]
400 #CHECK: sgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x39]
401 #CHECK: sgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x39]
402 #CHECK: sgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x39]
403 #CHECK: sgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x39]
404 #CHECK: sgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x39]
406 sgh %r0, -524288
407 sgh %r0, -1
408 sgh %r0, 0
409 sgh %r0, 1
410 sgh %r0, 524287
411 sgh %r0, 0(%r1)
412 sgh %r0, 0(%r15)
413 sgh %r0, 524287(%r1,%r15)
414 sgh %r0, 524287(%r15,%r1)
415 sgh %r15, 0
417 #CHECK: stgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x49]
418 #CHECK: stgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x49]
419 #CHECK: stgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x49]
420 #CHECK: stgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x49]
421 #CHECK: stgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x49]
422 #CHECK: stgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x49]
423 #CHECK: stgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x49]
424 #CHECK: stgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x49]
425 #CHECK: stgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x49]
427 stgsc %r0, -524288
428 stgsc %r0, -1
429 stgsc %r0, 0
430 stgsc %r0, 1
431 stgsc %r0, 524287
432 stgsc %r0, 0(%r1)
433 stgsc %r0, 0(%r15)
434 stgsc %r0, 524287(%r1,%r15)
435 stgsc %r0, 524287(%r15,%r1)
437 #CHECK: vap %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x71]
438 #CHECK: vap %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x71]
439 #CHECK: vap %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x71]
440 #CHECK: vap %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x71]
441 #CHECK: vap %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x71]
442 #CHECK: vap %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x71]
443 #CHECK: vap %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x71]
445 vap %v0, %v0, %v0, 0, 0
446 vap %v0, %v0, %v0, 0, 15
447 vap %v0, %v0, %v0, 255, 0
448 vap %v0, %v0, %v31, 0, 0
449 vap %v0, %v31, %v0, 0, 0
450 vap %v31, %v0, %v0, 0, 0
451 vap %v13, %v17, %v21, 0x79, 11
453 #CHECK: vbperm %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x85]
454 #CHECK: vbperm %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x85]
455 #CHECK: vbperm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x85]
456 #CHECK: vbperm %v0, %v15, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x85]
457 #CHECK: vbperm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x85]
458 #CHECK: vbperm %v15, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x85]
459 #CHECK: vbperm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x85]
460 #CHECK: vbperm %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x85]
462 vbperm %v0, %v0, %v0
463 vbperm %v0, %v0, %v15
464 vbperm %v0, %v0, %v31
465 vbperm %v0, %v15, %v0
466 vbperm %v0, %v31, %v0
467 vbperm %v15, %v0, %v0
468 vbperm %v31, %v0, %v0
469 vbperm %v18, %v3, %v20
471 #CHECK: vcp %v0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x77]
472 #CHECK: vcp %v0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x77]
473 #CHECK: vcp %v15, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x77]
474 #CHECK: vcp %v31, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x77]
475 #CHECK: vcp %v0, %v15, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x77]
476 #CHECK: vcp %v0, %v31, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x77]
477 #CHECK: vcp %v3, %v18, 4 # encoding: [0xe6,0x03,0x20,0x40,0x02,0x77]
479 vcp %v0, %v0, 0
480 vcp %v0, %v0, 15
481 vcp %v15, %v0, 0
482 vcp %v31, %v0, 0
483 vcp %v0, %v15, 0
484 vcp %v0, %v31, 0
485 vcp %v3, %v18, 4
487 #CHECK: vcvb %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x50]
488 #CHECK: vcvb %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x50]
489 #CHECK: vcvb %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x50]
490 #CHECK: vcvb %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x50]
491 #CHECK: vcvb %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x50]
492 #CHECK: vcvb %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x50]
494 vcvb %r0, %v0, 0
495 vcvb %r0, %v0, 15
496 vcvb %r15, %v0, 0
497 vcvb %r0, %v15, 0
498 vcvb %r0, %v31, 0
499 vcvb %r3, %v18, 4
501 #CHECK: vcvbg %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x52]
502 #CHECK: vcvbg %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x52]
503 #CHECK: vcvbg %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x52]
504 #CHECK: vcvbg %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x52]
505 #CHECK: vcvbg %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x52]
506 #CHECK: vcvbg %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x52]
508 vcvbg %r0, %v0, 0
509 vcvbg %r0, %v0, 15
510 vcvbg %r15, %v0, 0
511 vcvbg %r0, %v15, 0
512 vcvbg %r0, %v31, 0
513 vcvbg %r3, %v18, 4
515 #CHECK: vcvd %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x58]
516 #CHECK: vcvd %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x58]
517 #CHECK: vcvd %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x58]
518 #CHECK: vcvd %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x58]
519 #CHECK: vcvd %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x58]
520 #CHECK: vcvd %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x58]
521 #CHECK: vcvd %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x58]
523 vcvd %v0, %r0, 0, 0
524 vcvd %v0, %r0, 0, 15
525 vcvd %v0, %r0, 255, 0
526 vcvd %v0, %r15, 0, 0
527 vcvd %v15, %r0, 0, 0
528 vcvd %v31, %r0, 0, 0
529 vcvd %v18, %r9, 0x34, 11
531 #CHECK: vcvdg %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5a]
532 #CHECK: vcvdg %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5a]
533 #CHECK: vcvdg %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5a]
534 #CHECK: vcvdg %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5a]
535 #CHECK: vcvdg %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5a]
536 #CHECK: vcvdg %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5a]
537 #CHECK: vcvdg %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x5a]
539 vcvdg %v0, %r0, 0, 0
540 vcvdg %v0, %r0, 0, 15
541 vcvdg %v0, %r0, 255, 0
542 vcvdg %v0, %r15, 0, 0
543 vcvdg %v15, %r0, 0, 0
544 vcvdg %v31, %r0, 0, 0
545 vcvdg %v18, %r9, 0x34, 11
547 #CHECK: vdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7a]
548 #CHECK: vdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7a]
549 #CHECK: vdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7a]
550 #CHECK: vdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7a]
551 #CHECK: vdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7a]
552 #CHECK: vdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7a]
553 #CHECK: vdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7a]
555 vdp %v0, %v0, %v0, 0, 0
556 vdp %v0, %v0, %v0, 0, 15
557 vdp %v0, %v0, %v0, 255, 0
558 vdp %v0, %v0, %v31, 0, 0
559 vdp %v0, %v31, %v0, 0, 0
560 vdp %v31, %v0, %v0, 0, 0
561 vdp %v13, %v17, %v21, 0x79, 11
563 #CHECK: vfasb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe3]
564 #CHECK: vfasb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe3]
565 #CHECK: vfasb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe3]
566 #CHECK: vfasb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe3]
567 #CHECK: vfasb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe3]
569 vfasb %v0, %v0, %v0
570 vfasb %v0, %v0, %v31
571 vfasb %v0, %v31, %v0
572 vfasb %v31, %v0, %v0
573 vfasb %v18, %v3, %v20
575 #CHECK: vfcesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe8]
576 #CHECK: vfcesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe8]
577 #CHECK: vfcesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe8]
578 #CHECK: vfcesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe8]
579 #CHECK: vfcesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe8]
581 vfcesb %v0, %v0, %v0
582 vfcesb %v0, %v0, %v31
583 vfcesb %v0, %v31, %v0
584 vfcesb %v31, %v0, %v0
585 vfcesb %v18, %v3, %v20
587 #CHECK: vfcesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xe8]
588 #CHECK: vfcesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xe8]
589 #CHECK: vfcesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xe8]
590 #CHECK: vfcesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xe8]
591 #CHECK: vfcesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xe8]
593 vfcesbs %v0, %v0, %v0
594 vfcesbs %v0, %v0, %v31
595 vfcesbs %v0, %v31, %v0
596 vfcesbs %v31, %v0, %v0
597 vfcesbs %v18, %v3, %v20
599 #CHECK: vfchsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xeb]
600 #CHECK: vfchsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xeb]
601 #CHECK: vfchsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xeb]
602 #CHECK: vfchsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xeb]
603 #CHECK: vfchsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xeb]
605 vfchsb %v0, %v0, %v0
606 vfchsb %v0, %v0, %v31
607 vfchsb %v0, %v31, %v0
608 vfchsb %v31, %v0, %v0
609 vfchsb %v18, %v3, %v20
611 #CHECK: vfchsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xeb]
612 #CHECK: vfchsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xeb]
613 #CHECK: vfchsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xeb]
614 #CHECK: vfchsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xeb]
615 #CHECK: vfchsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xeb]
617 vfchsbs %v0, %v0, %v0
618 vfchsbs %v0, %v0, %v31
619 vfchsbs %v0, %v31, %v0
620 vfchsbs %v31, %v0, %v0
621 vfchsbs %v18, %v3, %v20
623 #CHECK: vfchesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xea]
624 #CHECK: vfchesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xea]
625 #CHECK: vfchesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xea]
626 #CHECK: vfchesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xea]
627 #CHECK: vfchesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xea]
629 vfchesb %v0, %v0, %v0
630 vfchesb %v0, %v0, %v31
631 vfchesb %v0, %v31, %v0
632 vfchesb %v31, %v0, %v0
633 vfchesb %v18, %v3, %v20
635 #CHECK: vfchesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xea]
636 #CHECK: vfchesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xea]
637 #CHECK: vfchesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xea]
638 #CHECK: vfchesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xea]
639 #CHECK: vfchesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xea]
641 vfchesbs %v0, %v0, %v0
642 vfchesbs %v0, %v0, %v31
643 vfchesbs %v0, %v31, %v0
644 vfchesbs %v31, %v0, %v0
645 vfchesbs %v18, %v3, %v20
647 #CHECK: vfdsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe5]
648 #CHECK: vfdsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe5]
649 #CHECK: vfdsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe5]
650 #CHECK: vfdsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe5]
651 #CHECK: vfdsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe5]
653 vfdsb %v0, %v0, %v0
654 vfdsb %v0, %v0, %v31
655 vfdsb %v0, %v31, %v0
656 vfdsb %v31, %v0, %v0
657 vfdsb %v18, %v3, %v20
659 #CHECK: vfisb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc7]
660 #CHECK: vfisb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc7]
661 #CHECK: vfisb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc7]
662 #CHECK: vfisb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x07,0x20,0xc7]
663 #CHECK: vfisb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc7]
664 #CHECK: vfisb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc7]
665 #CHECK: vfisb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc7]
667 vfisb %v0, %v0, 0, 0
668 vfisb %v0, %v0, 0, 15
669 vfisb %v0, %v0, 4, 0
670 vfisb %v0, %v0, 7, 0
671 vfisb %v0, %v31, 0, 0
672 vfisb %v31, %v0, 0, 0
673 vfisb %v14, %v17, 4, 10
675 #CHECK: vfkedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xe8]
676 #CHECK: vfkedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xe8]
677 #CHECK: vfkedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xe8]
678 #CHECK: vfkedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xe8]
679 #CHECK: vfkedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xe8]
681 vfkedb %v0, %v0, %v0
682 vfkedb %v0, %v0, %v31
683 vfkedb %v0, %v31, %v0
684 vfkedb %v31, %v0, %v0
685 vfkedb %v18, %v3, %v20
687 #CHECK: vfkedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xe8]
688 #CHECK: vfkedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xe8]
689 #CHECK: vfkedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xe8]
690 #CHECK: vfkedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xe8]
691 #CHECK: vfkedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xe8]
693 vfkedbs %v0, %v0, %v0
694 vfkedbs %v0, %v0, %v31
695 vfkedbs %v0, %v31, %v0
696 vfkedbs %v31, %v0, %v0
697 vfkedbs %v18, %v3, %v20
699 #CHECK: vfkesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xe8]
700 #CHECK: vfkesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xe8]
701 #CHECK: vfkesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xe8]
702 #CHECK: vfkesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xe8]
703 #CHECK: vfkesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xe8]
705 vfkesb %v0, %v0, %v0
706 vfkesb %v0, %v0, %v31
707 vfkesb %v0, %v31, %v0
708 vfkesb %v31, %v0, %v0
709 vfkesb %v18, %v3, %v20
711 #CHECK: vfkesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xe8]
712 #CHECK: vfkesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xe8]
713 #CHECK: vfkesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xe8]
714 #CHECK: vfkesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xe8]
715 #CHECK: vfkesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xe8]
717 vfkesbs %v0, %v0, %v0
718 vfkesbs %v0, %v0, %v31
719 vfkesbs %v0, %v31, %v0
720 vfkesbs %v31, %v0, %v0
721 vfkesbs %v18, %v3, %v20
723 #CHECK: vfkhdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xeb]
724 #CHECK: vfkhdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xeb]
725 #CHECK: vfkhdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xeb]
726 #CHECK: vfkhdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xeb]
727 #CHECK: vfkhdb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xeb]
729 vfkhdb %v0, %v0, %v0
730 vfkhdb %v0, %v0, %v31
731 vfkhdb %v0, %v31, %v0
732 vfkhdb %v31, %v0, %v0
733 vfkhdb %v18, %v3, %v20
735 #CHECK: vfkhdbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xeb]
736 #CHECK: vfkhdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xeb]
737 #CHECK: vfkhdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xeb]
738 #CHECK: vfkhdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xeb]
739 #CHECK: vfkhdbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xeb]
741 vfkhdbs %v0, %v0, %v0
742 vfkhdbs %v0, %v0, %v31
743 vfkhdbs %v0, %v31, %v0
744 vfkhdbs %v31, %v0, %v0
745 vfkhdbs %v18, %v3, %v20
747 #CHECK: vfkhsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xeb]
748 #CHECK: vfkhsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xeb]
749 #CHECK: vfkhsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xeb]
750 #CHECK: vfkhsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xeb]
751 #CHECK: vfkhsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xeb]
753 vfkhsb %v0, %v0, %v0
754 vfkhsb %v0, %v0, %v31
755 vfkhsb %v0, %v31, %v0
756 vfkhsb %v31, %v0, %v0
757 vfkhsb %v18, %v3, %v20
759 #CHECK: vfkhsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xeb]
760 #CHECK: vfkhsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xeb]
761 #CHECK: vfkhsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xeb]
762 #CHECK: vfkhsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xeb]
763 #CHECK: vfkhsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xeb]
765 vfkhsbs %v0, %v0, %v0
766 vfkhsbs %v0, %v0, %v31
767 vfkhsbs %v0, %v31, %v0
768 vfkhsbs %v31, %v0, %v0
769 vfkhsbs %v18, %v3, %v20
771 #CHECK: vfkhedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xea]
772 #CHECK: vfkhedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xea]
773 #CHECK: vfkhedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xea]
774 #CHECK: vfkhedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xea]
775 #CHECK: vfkhedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xea]
777 vfkhedb %v0, %v0, %v0
778 vfkhedb %v0, %v0, %v31
779 vfkhedb %v0, %v31, %v0
780 vfkhedb %v31, %v0, %v0
781 vfkhedb %v18, %v3, %v20
783 #CHECK: vfkhedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xea]
784 #CHECK: vfkhedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xea]
785 #CHECK: vfkhedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xea]
786 #CHECK: vfkhedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xea]
787 #CHECK: vfkhedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xea]
789 vfkhedbs %v0, %v0, %v0
790 vfkhedbs %v0, %v0, %v31
791 vfkhedbs %v0, %v31, %v0
792 vfkhedbs %v31, %v0, %v0
793 vfkhedbs %v18, %v3, %v20
795 #CHECK: vfkhesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xea]
796 #CHECK: vfkhesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xea]
797 #CHECK: vfkhesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xea]
798 #CHECK: vfkhesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xea]
799 #CHECK: vfkhesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xea]
801 vfkhesb %v0, %v0, %v0
802 vfkhesb %v0, %v0, %v31
803 vfkhesb %v0, %v31, %v0
804 vfkhesb %v31, %v0, %v0
805 vfkhesb %v18, %v3, %v20
807 #CHECK: vfkhesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xea]
808 #CHECK: vfkhesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xea]
809 #CHECK: vfkhesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xea]
810 #CHECK: vfkhesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xea]
811 #CHECK: vfkhesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xea]
813 vfkhesbs %v0, %v0, %v0
814 vfkhesbs %v0, %v0, %v31
815 vfkhesbs %v0, %v31, %v0
816 vfkhesbs %v31, %v0, %v0
817 vfkhesbs %v18, %v3, %v20
819 #CHECK: vfpsosb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x30,0x20,0xcc]
820 #CHECK: vfpsosb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xcc]
821 #CHECK: vfpsosb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x20,0xcc]
822 #CHECK: vfpsosb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x24,0xcc]
823 #CHECK: vfpsosb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x20,0xcc]
824 #CHECK: vfpsosb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x28,0xcc]
825 #CHECK: vfpsosb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x70,0x24,0xcc]
827 vfpsosb %v0, %v0, 3
828 vfpsosb %v0, %v0, 15
829 vfpsosb %v0, %v15, 3
830 vfpsosb %v0, %v31, 3
831 vfpsosb %v15, %v0, 3
832 vfpsosb %v31, %v0, 3
833 vfpsosb %v14, %v17, 7
835 #CHECK: vflcsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcc]
836 #CHECK: vflcsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcc]
837 #CHECK: vflcsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcc]
838 #CHECK: vflcsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcc]
839 #CHECK: vflcsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcc]
840 #CHECK: vflcsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcc]
842 vflcsb %v0, %v0
843 vflcsb %v0, %v15
844 vflcsb %v0, %v31
845 vflcsb %v15, %v0
846 vflcsb %v31, %v0
847 vflcsb %v14, %v17
849 #CHECK: vflnsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xcc]
850 #CHECK: vflnsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x10,0x20,0xcc]
851 #CHECK: vflnsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xcc]
852 #CHECK: vflnsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x20,0xcc]
853 #CHECK: vflnsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xcc]
854 #CHECK: vflnsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x10,0x24,0xcc]
856 vflnsb %v0, %v0
857 vflnsb %v0, %v15
858 vflnsb %v0, %v31
859 vflnsb %v15, %v0
860 vflnsb %v31, %v0
861 vflnsb %v14, %v17
863 #CHECK: vflpsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x20,0x20,0xcc]
864 #CHECK: vflpsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x20,0x20,0xcc]
865 #CHECK: vflpsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x24,0xcc]
866 #CHECK: vflpsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x20,0xcc]
867 #CHECK: vflpsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x28,0xcc]
868 #CHECK: vflpsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x20,0x24,0xcc]
870 vflpsb %v0, %v0
871 vflpsb %v0, %v15
872 vflpsb %v0, %v31
873 vflpsb %v15, %v0
874 vflpsb %v31, %v0
875 vflpsb %v14, %v17
877 #CHECK: vfll %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc4]
878 #CHECK: vfll %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc4]
879 #CHECK: vfll %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xc4]
880 #CHECK: vfll %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xc4]
881 #CHECK: vfll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
882 #CHECK: vfll %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xc4]
883 #CHECK: vfll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
884 #CHECK: vfll %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xc4]
886 vfll %v0, %v0, 0, 0
887 vfll %v0, %v0, 15, 0
888 vfll %v0, %v0, 0, 15
889 vfll %v0, %v15, 0, 0
890 vfll %v0, %v31, 0, 0
891 vfll %v15, %v0, 0, 0
892 vfll %v31, %v0, 0, 0
893 vfll %v14, %v17, 11, 9
895 #CHECK: vflls %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc4]
896 #CHECK: vflls %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xc4]
897 #CHECK: vflls %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
898 #CHECK: vflls %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xc4]
899 #CHECK: vflls %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
900 #CHECK: vflls %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xc4]
902 vflls %v0, %v0
903 vflls %v0, %v15
904 vflls %v0, %v31
905 vflls %v15, %v0
906 vflls %v31, %v0
907 vflls %v14, %v17
909 #CHECK: vflr %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc5]
910 #CHECK: vflr %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc5]
911 #CHECK: vflr %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc5]
912 #CHECK: vflr %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc5]
913 #CHECK: vflr %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc5]
914 #CHECK: vflr %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
915 #CHECK: vflr %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
916 #CHECK: vflr %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc5]
918 vflr %v0, %v0, 0, 0, 0
919 vflr %v0, %v0, 15, 0, 0
920 vflr %v0, %v0, 0, 0, 15
921 vflr %v0, %v0, 0, 4, 0
922 vflr %v0, %v0, 0, 12, 0
923 vflr %v0, %v31, 0, 0, 0
924 vflr %v31, %v0, 0, 0, 0
925 vflr %v14, %v17, 11, 4, 10
927 #CHECK: vflrd %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc5]
928 #CHECK: vflrd %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc5]
929 #CHECK: vflrd %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc5]
930 #CHECK: vflrd %v0, %v0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
931 #CHECK: vflrd %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
932 #CHECK: vflrd %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
933 #CHECK: vflrd %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x34,0xc5]
935 vflrd %v0, %v0, 0, 0
936 vflrd %v0, %v0, 0, 15
937 vflrd %v0, %v0, 4, 0
938 vflrd %v0, %v0, 12, 0
939 vflrd %v0, %v31, 0, 0
940 vflrd %v31, %v0, 0, 0
941 vflrd %v14, %v17, 4, 10
943 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xef]
944 #CHECK: vfmax %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xef]
945 #CHECK: vfmax %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xef]
946 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xef]
947 #CHECK: vfmax %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xef]
948 #CHECK: vfmax %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xef]
949 #CHECK: vfmax %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xef]
950 #CHECK: vfmax %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xef]
952 vfmax %v0, %v0, %v0, 0, 0, 0
953 vfmax %v0, %v0, %v0, 15, 0, 0
954 vfmax %v0, %v0, %v0, 0, 15, 0
955 vfmax %v0, %v0, %v0, 0, 0, 4
956 vfmax %v0, %v0, %v31, 0, 0, 0
957 vfmax %v0, %v31, %v0, 0, 0, 0
958 vfmax %v31, %v0, %v0, 0, 0, 0
959 vfmax %v18, %v3, %v20, 11, 9, 12
961 #CHECK: vfmaxdb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xef]
962 #CHECK: vfmaxdb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xef]
963 #CHECK: vfmaxdb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xef]
964 #CHECK: vfmaxdb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xef]
965 #CHECK: vfmaxdb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xef]
966 #CHECK: vfmaxdb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xef]
968 vfmaxdb %v0, %v0, %v0, 0
969 vfmaxdb %v0, %v0, %v0, 4
970 vfmaxdb %v0, %v0, %v31, 0
971 vfmaxdb %v0, %v31, %v0, 0
972 vfmaxdb %v31, %v0, %v0, 0
973 vfmaxdb %v18, %v3, %v20, 12
975 #CHECK: vfmaxsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xef]
976 #CHECK: vfmaxsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xef]
977 #CHECK: vfmaxsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xef]
978 #CHECK: vfmaxsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xef]
979 #CHECK: vfmaxsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xef]
980 #CHECK: vfmaxsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xef]
982 vfmaxsb %v0, %v0, %v0, 0
983 vfmaxsb %v0, %v0, %v0, 4
984 vfmaxsb %v0, %v0, %v31, 0
985 vfmaxsb %v0, %v31, %v0, 0
986 vfmaxsb %v31, %v0, %v0, 0
987 vfmaxsb %v18, %v3, %v20, 12
989 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xee]
990 #CHECK: vfmin %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xee]
991 #CHECK: vfmin %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xee]
992 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xee]
993 #CHECK: vfmin %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xee]
994 #CHECK: vfmin %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xee]
995 #CHECK: vfmin %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xee]
996 #CHECK: vfmin %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xee]
998 vfmin %v0, %v0, %v0, 0, 0, 0
999 vfmin %v0, %v0, %v0, 15, 0, 0
1000 vfmin %v0, %v0, %v0, 0, 15, 0
1001 vfmin %v0, %v0, %v0, 0, 0, 4
1002 vfmin %v0, %v0, %v31, 0, 0, 0
1003 vfmin %v0, %v31, %v0, 0, 0, 0
1004 vfmin %v31, %v0, %v0, 0, 0, 0
1005 vfmin %v18, %v3, %v20, 11, 9, 12
1007 #CHECK: vfmindb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xee]
1008 #CHECK: vfmindb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xee]
1009 #CHECK: vfmindb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xee]
1010 #CHECK: vfmindb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xee]
1011 #CHECK: vfmindb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xee]
1012 #CHECK: vfmindb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xee]
1014 vfmindb %v0, %v0, %v0, 0
1015 vfmindb %v0, %v0, %v0, 4
1016 vfmindb %v0, %v0, %v31, 0
1017 vfmindb %v0, %v31, %v0, 0
1018 vfmindb %v31, %v0, %v0, 0
1019 vfmindb %v18, %v3, %v20, 12
1021 #CHECK: vfminsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xee]
1022 #CHECK: vfminsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xee]
1023 #CHECK: vfminsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xee]
1024 #CHECK: vfminsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xee]
1025 #CHECK: vfminsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xee]
1026 #CHECK: vfminsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xee]
1028 vfminsb %v0, %v0, %v0, 0
1029 vfminsb %v0, %v0, %v0, 4
1030 vfminsb %v0, %v0, %v31, 0
1031 vfminsb %v0, %v31, %v0, 0
1032 vfminsb %v31, %v0, %v0, 0
1033 vfminsb %v18, %v3, %v20, 12
1035 #CHECK: vfmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8f]
1036 #CHECK: vfmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8f]
1037 #CHECK: vfmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8f]
1038 #CHECK: vfmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8f]
1039 #CHECK: vfmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8f]
1040 #CHECK: vfmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8f]
1042 vfmasb %v0, %v0, %v0, %v0
1043 vfmasb %v0, %v0, %v0, %v31
1044 vfmasb %v0, %v0, %v31, %v0
1045 vfmasb %v0, %v31, %v0, %v0
1046 vfmasb %v31, %v0, %v0, %v0
1047 vfmasb %v13, %v17, %v21, %v25
1049 #CHECK: vfmsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe7]
1050 #CHECK: vfmsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe7]
1051 #CHECK: vfmsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe7]
1052 #CHECK: vfmsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe7]
1053 #CHECK: vfmsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe7]
1055 vfmsb %v0, %v0, %v0
1056 vfmsb %v0, %v0, %v31
1057 vfmsb %v0, %v31, %v0
1058 vfmsb %v31, %v0, %v0
1059 vfmsb %v18, %v3, %v20
1061 #CHECK: vfmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8e]
1062 #CHECK: vfmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8e]
1063 #CHECK: vfmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8e]
1064 #CHECK: vfmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8e]
1065 #CHECK: vfmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8e]
1066 #CHECK: vfmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8e]
1068 vfmssb %v0, %v0, %v0, %v0
1069 vfmssb %v0, %v0, %v0, %v31
1070 vfmssb %v0, %v0, %v31, %v0
1071 vfmssb %v0, %v31, %v0, %v0
1072 vfmssb %v31, %v0, %v0, %v0
1073 vfmssb %v13, %v17, %v21, %v25
1075 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9f]
1076 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9f]
1077 #CHECK: vfnma %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9f]
1078 #CHECK: vfnma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9f]
1079 #CHECK: vfnma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9f]
1080 #CHECK: vfnma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9f]
1081 #CHECK: vfnma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9f]
1082 #CHECK: vfnma %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9f]
1084 vfnma %v0, %v0, %v0, %v0, 0, 0
1085 vfnma %v0, %v0, %v0, %v0, 0, 15
1086 vfnma %v0, %v0, %v0, %v0, 15, 0
1087 vfnma %v0, %v0, %v0, %v31, 0, 0
1088 vfnma %v0, %v0, %v31, %v0, 0, 0
1089 vfnma %v0, %v31, %v0, %v0, 0, 0
1090 vfnma %v31, %v0, %v0, %v0, 0, 0
1091 vfnma %v13, %v17, %v21, %v25, 9, 11
1093 #CHECK: vfnmadb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9f]
1094 #CHECK: vfnmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9f]
1095 #CHECK: vfnmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9f]
1096 #CHECK: vfnmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9f]
1097 #CHECK: vfnmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9f]
1098 #CHECK: vfnmadb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9f]
1100 vfnmadb %v0, %v0, %v0, %v0
1101 vfnmadb %v0, %v0, %v0, %v31
1102 vfnmadb %v0, %v0, %v31, %v0
1103 vfnmadb %v0, %v31, %v0, %v0
1104 vfnmadb %v31, %v0, %v0, %v0
1105 vfnmadb %v13, %v17, %v21, %v25
1107 #CHECK: vfnmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9f]
1108 #CHECK: vfnmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9f]
1109 #CHECK: vfnmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9f]
1110 #CHECK: vfnmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9f]
1111 #CHECK: vfnmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9f]
1112 #CHECK: vfnmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9f]
1114 vfnmasb %v0, %v0, %v0, %v0
1115 vfnmasb %v0, %v0, %v0, %v31
1116 vfnmasb %v0, %v0, %v31, %v0
1117 vfnmasb %v0, %v31, %v0, %v0
1118 vfnmasb %v31, %v0, %v0, %v0
1119 vfnmasb %v13, %v17, %v21, %v25
1121 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9e]
1122 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9e]
1123 #CHECK: vfnms %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9e]
1124 #CHECK: vfnms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9e]
1125 #CHECK: vfnms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9e]
1126 #CHECK: vfnms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9e]
1127 #CHECK: vfnms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9e]
1128 #CHECK: vfnms %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9e]
1130 vfnms %v0, %v0, %v0, %v0, 0, 0
1131 vfnms %v0, %v0, %v0, %v0, 0, 15
1132 vfnms %v0, %v0, %v0, %v0, 15, 0
1133 vfnms %v0, %v0, %v0, %v31, 0, 0
1134 vfnms %v0, %v0, %v31, %v0, 0, 0
1135 vfnms %v0, %v31, %v0, %v0, 0, 0
1136 vfnms %v31, %v0, %v0, %v0, 0, 0
1137 vfnms %v13, %v17, %v21, %v25, 9, 11
1139 #CHECK: vfnmsdb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9e]
1140 #CHECK: vfnmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9e]
1141 #CHECK: vfnmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9e]
1142 #CHECK: vfnmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9e]
1143 #CHECK: vfnmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9e]
1144 #CHECK: vfnmsdb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9e]
1146 vfnmsdb %v0, %v0, %v0, %v0
1147 vfnmsdb %v0, %v0, %v0, %v31
1148 vfnmsdb %v0, %v0, %v31, %v0
1149 vfnmsdb %v0, %v31, %v0, %v0
1150 vfnmsdb %v31, %v0, %v0, %v0
1151 vfnmsdb %v13, %v17, %v21, %v25
1153 #CHECK: vfnmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9e]
1154 #CHECK: vfnmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9e]
1155 #CHECK: vfnmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9e]
1156 #CHECK: vfnmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9e]
1157 #CHECK: vfnmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9e]
1158 #CHECK: vfnmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9e]
1160 vfnmssb %v0, %v0, %v0, %v0
1161 vfnmssb %v0, %v0, %v0, %v31
1162 vfnmssb %v0, %v0, %v31, %v0
1163 vfnmssb %v0, %v31, %v0, %v0
1164 vfnmssb %v31, %v0, %v0, %v0
1165 vfnmssb %v13, %v17, %v21, %v25
1167 #CHECK: vfssb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe2]
1168 #CHECK: vfssb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe2]
1169 #CHECK: vfssb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe2]
1170 #CHECK: vfssb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe2]
1171 #CHECK: vfssb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe2]
1173 vfssb %v0, %v0, %v0
1174 vfssb %v0, %v0, %v31
1175 vfssb %v0, %v31, %v0
1176 vfssb %v31, %v0, %v0
1177 vfssb %v18, %v3, %v20
1179 #CHECK: vfsqsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xce]
1180 #CHECK: vfsqsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xce]
1181 #CHECK: vfsqsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xce]
1182 #CHECK: vfsqsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xce]
1183 #CHECK: vfsqsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xce]
1184 #CHECK: vfsqsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xce]
1186 vfsqsb %v0, %v0
1187 vfsqsb %v0, %v15
1188 vfsqsb %v0, %v31
1189 vfsqsb %v15, %v0
1190 vfsqsb %v31, %v0
1191 vfsqsb %v14, %v17
1193 #CHECK: vftcisb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x4a]
1194 #CHECK: vftcisb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf0,0x20,0x4a]
1195 #CHECK: vftcisb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x4a]
1196 #CHECK: vftcisb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4a]
1197 #CHECK: vftcisb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x4a]
1198 #CHECK: vftcisb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4a]
1199 #CHECK: vftcisb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x80,0x24,0x4a]
1201 vftcisb %v0, %v0, 0
1202 vftcisb %v0, %v0, 4095
1203 vftcisb %v0, %v15, 0
1204 vftcisb %v0, %v31, 0
1205 vftcisb %v15, %v0, 0
1206 vftcisb %v31, %v0, 0
1207 vftcisb %v4, %v21, 0x678
1209 #CHECK: vlip %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x49]
1210 #CHECK: vlip %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x49]
1211 #CHECK: vlip %v0, 65535, 0 # encoding: [0xe6,0x00,0xff,0xff,0x00,0x49]
1212 #CHECK: vlip %v15, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x49]
1213 #CHECK: vlip %v31, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x49]
1214 #CHECK: vlip %v17, 4660, 7 # encoding: [0xe6,0x10,0x12,0x34,0x78,0x49]
1216 vlip %v0, 0, 0
1217 vlip %v0, 0, 15
1218 vlip %v0, 0xffff, 0
1219 vlip %v15, 0, 0
1220 vlip %v31, 0, 0
1221 vlip %v17, 0x1234, 7
1223 #CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04]
1224 #CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04]
1225 #CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04]
1226 #CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04]
1227 #CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04]
1228 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1229 #CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04]
1230 #CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04]
1231 #CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04]
1232 #CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04]
1233 #CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04]
1234 #CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04]
1235 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1236 #CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04]
1238 vllezlf %v0, 0
1239 vllezlf %v0, 4095
1240 vllezlf %v0, 0(%r15)
1241 vllezlf %v0, 0(%r15,%r1)
1242 vllezlf %v15, 0
1243 vllezlf %v31, 0
1244 vllezlf %v18, 0x567(%r3,%r4)
1245 vllezlf 0, 0
1246 vllezlf 0, 4095
1247 vllezlf 0, 0(15)
1248 vllezlf 0, 0(15,1)
1249 vllezlf 15, 0
1250 vllezlf 31, 0
1251 vllezlf 18, 0x567(3,4)
1253 #CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35]
1254 #CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35]
1255 #CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35]
1256 #CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35]
1257 #CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35]
1258 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1259 #CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35]
1260 #CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35]
1261 #CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35]
1262 #CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35]
1263 #CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35]
1264 #CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35]
1265 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1266 #CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35]
1268 vlrl %v0, 0, 0
1269 vlrl %v0, 4095, 0
1270 vlrl %v0, 0(%r15), 0
1271 vlrl %v0, 0, 255
1272 vlrl %v15, 0, 0
1273 vlrl %v31, 0, 0
1274 vlrl %v18, 1383(%r4), 3
1275 vlrl 0, 0, 0
1276 vlrl 0, 4095, 0
1277 vlrl 0, 0(15), 0
1278 vlrl 0, 0, 255
1279 vlrl 15, 0, 0
1280 vlrl 31, 0, 0
1281 vlrl 18, 1383(4), 3
1283 #CHECK: vlrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x37]
1284 #CHECK: vlrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x37]
1285 #CHECK: vlrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x37]
1286 #CHECK: vlrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x37]
1287 #CHECK: vlrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x37]
1288 #CHECK: vlrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x37]
1289 #CHECK: vlrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x37]
1291 vlrlr %v0, %r0, 0
1292 vlrlr %v0, %r0, 4095
1293 vlrlr %v0, %r0, 0(%r15)
1294 vlrlr %v0, %r15, 0
1295 vlrlr %v15, %r0, 0
1296 vlrlr %v31, %r0, 0
1297 vlrlr %v18, %r3, 1383(%r4)
1299 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb8]
1300 #CHECK: vmsl %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xb8]
1301 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0xb8]
1302 #CHECK: vmsl %v0, %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xb8]
1303 #CHECK: vmsl %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb8]
1304 #CHECK: vmsl %v0, %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0xb8]
1305 #CHECK: vmsl %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb8]
1306 #CHECK: vmsl %v0, %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xb8]
1307 #CHECK: vmsl %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb8]
1308 #CHECK: vmsl %v15, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xb8]
1309 #CHECK: vmsl %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb8]
1310 #CHECK: vmsl %v18, %v3, %v20, %v5, 0, 4 # encoding: [0xe7,0x23,0x40,0x40,0x5a,0xb8]
1311 #CHECK: vmsl %v18, %v3, %v20, %v5, 11, 8 # encoding: [0xe7,0x23,0x4b,0x80,0x5a,0xb8]
1313 vmsl %v0, %v0, %v0, %v0, 0, 0
1314 vmsl %v0, %v0, %v0, %v0, 15, 0
1315 vmsl %v0, %v0, %v0, %v0, 0, 12
1316 vmsl %v0, %v0, %v0, %v15, 0, 0
1317 vmsl %v0, %v0, %v0, %v31, 0, 0
1318 vmsl %v0, %v0, %v15, %v0, 0, 0
1319 vmsl %v0, %v0, %v31, %v0, 0, 0
1320 vmsl %v0, %v15, %v0, %v0, 0, 0
1321 vmsl %v0, %v31, %v0, %v0, 0, 0
1322 vmsl %v15, %v0, %v0, %v0, 0, 0
1323 vmsl %v31, %v0, %v0, %v0, 0, 0
1324 vmsl %v18, %v3, %v20, %v5, 0, 4
1325 vmsl %v18, %v3, %v20, %v5, 11, 8
1327 #CHECK: vmslg %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0xb8]
1328 #CHECK: vmslg %v0, %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x03,0xc0,0x00,0xb8]
1329 #CHECK: vmslg %v0, %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf0,0xb8]
1330 #CHECK: vmslg %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xb8]
1331 #CHECK: vmslg %v0, %v0, %v15, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x00,0xb8]
1332 #CHECK: vmslg %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xb8]
1333 #CHECK: vmslg %v0, %v15, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x00,0xb8]
1334 #CHECK: vmslg %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xb8]
1335 #CHECK: vmslg %v15, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x00,0xb8]
1336 #CHECK: vmslg %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xb8]
1337 #CHECK: vmslg %v18, %v3, %v20, %v5, 4 # encoding: [0xe7,0x23,0x43,0x40,0x5a,0xb8]
1338 #CHECK: vmslg %v18, %v3, %v20, %v5, 8 # encoding: [0xe7,0x23,0x43,0x80,0x5a,0xb8]
1340 vmslg %v0, %v0, %v0, %v0, 0
1341 vmslg %v0, %v0, %v0, %v0, 12
1342 vmslg %v0, %v0, %v0, %v15, 0
1343 vmslg %v0, %v0, %v0, %v31, 0
1344 vmslg %v0, %v0, %v15, %v0, 0
1345 vmslg %v0, %v0, %v31, %v0, 0
1346 vmslg %v0, %v15, %v0, %v0, 0
1347 vmslg %v0, %v31, %v0, %v0, 0
1348 vmslg %v15, %v0, %v0, %v0, 0
1349 vmslg %v31, %v0, %v0, %v0, 0
1350 vmslg %v18, %v3, %v20, %v5, 4
1351 vmslg %v18, %v3, %v20, %v5, 8
1353 #CHECK: vmp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x78]
1354 #CHECK: vmp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x78]
1355 #CHECK: vmp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x78]
1356 #CHECK: vmp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x78]
1357 #CHECK: vmp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x78]
1358 #CHECK: vmp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x78]
1359 #CHECK: vmp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x78]
1361 vmp %v0, %v0, %v0, 0, 0
1362 vmp %v0, %v0, %v0, 0, 15
1363 vmp %v0, %v0, %v0, 255, 0
1364 vmp %v0, %v0, %v31, 0, 0
1365 vmp %v0, %v31, %v0, 0, 0
1366 vmp %v31, %v0, %v0, 0, 0
1367 vmp %v13, %v17, %v21, 0x79, 11
1369 #CHECK: vmsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x79]
1370 #CHECK: vmsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x79]
1371 #CHECK: vmsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x79]
1372 #CHECK: vmsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x79]
1373 #CHECK: vmsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x79]
1374 #CHECK: vmsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x79]
1375 #CHECK: vmsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x79]
1377 vmsp %v0, %v0, %v0, 0, 0
1378 vmsp %v0, %v0, %v0, 0, 15
1379 vmsp %v0, %v0, %v0, 255, 0
1380 vmsp %v0, %v0, %v31, 0, 0
1381 vmsp %v0, %v31, %v0, 0, 0
1382 vmsp %v31, %v0, %v0, 0, 0
1383 vmsp %v13, %v17, %v21, 0x79, 11
1385 #CHECK: vnn %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6e]
1386 #CHECK: vnn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6e]
1387 #CHECK: vnn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6e]
1388 #CHECK: vnn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6e]
1389 #CHECK: vnn %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6e]
1391 vnn %v0, %v0, %v0
1392 vnn %v0, %v0, %v31
1393 vnn %v0, %v31, %v0
1394 vnn %v31, %v0, %v0
1395 vnn %v18, %v3, %v20
1397 #CHECK: vnx %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6c]
1398 #CHECK: vnx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6c]
1399 #CHECK: vnx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6c]
1400 #CHECK: vnx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6c]
1401 #CHECK: vnx %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6c]
1403 vnx %v0, %v0, %v0
1404 vnx %v0, %v0, %v31
1405 vnx %v0, %v31, %v0
1406 vnx %v31, %v0, %v0
1407 vnx %v18, %v3, %v20
1409 #CHECK: voc %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6f]
1410 #CHECK: voc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6f]
1411 #CHECK: voc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6f]
1412 #CHECK: voc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6f]
1413 #CHECK: voc %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6f]
1415 voc %v0, %v0, %v0
1416 voc %v0, %v0, %v31
1417 voc %v0, %v31, %v0
1418 voc %v31, %v0, %v0
1419 voc %v18, %v3, %v20
1421 #CHECK: vpkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x34]
1422 #CHECK: vpkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x34]
1423 #CHECK: vpkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x34]
1424 #CHECK: vpkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x34]
1425 #CHECK: vpkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x34]
1426 #CHECK: vpkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x34]
1427 #CHECK: vpkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x34]
1429 vpkz %v0, 0, 0
1430 vpkz %v0, 4095, 0
1431 vpkz %v0, 0(%r15), 0
1432 vpkz %v0, 0, 255
1433 vpkz %v15, 0, 0
1434 vpkz %v31, 0, 0
1435 vpkz %v18, 1383(%r4), 3
1437 #CHECK: vpopctb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x50]
1438 #CHECK: vpopctb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x50]
1439 #CHECK: vpopctb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
1440 #CHECK: vpopctb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x50]
1441 #CHECK: vpopctb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
1442 #CHECK: vpopctb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x04,0x50]
1444 vpopctb %v0, %v0
1445 vpopctb %v0, %v15
1446 vpopctb %v0, %v31
1447 vpopctb %v15, %v0
1448 vpopctb %v31, %v0
1449 vpopctb %v14, %v17
1451 #CHECK: vpopctf %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x50]
1452 #CHECK: vpopctf %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x50]
1453 #CHECK: vpopctf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x50]
1454 #CHECK: vpopctf %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x50]
1455 #CHECK: vpopctf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x50]
1456 #CHECK: vpopctf %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0x50]
1458 vpopctf %v0, %v0
1459 vpopctf %v0, %v15
1460 vpopctf %v0, %v31
1461 vpopctf %v15, %v0
1462 vpopctf %v31, %v0
1463 vpopctf %v14, %v17
1465 #CHECK: vpopctg %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0x50]
1466 #CHECK: vpopctg %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0x50]
1467 #CHECK: vpopctg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x50]
1468 #CHECK: vpopctg %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0x50]
1469 #CHECK: vpopctg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x50]
1470 #CHECK: vpopctg %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0x50]
1472 vpopctg %v0, %v0
1473 vpopctg %v0, %v15
1474 vpopctg %v0, %v31
1475 vpopctg %v15, %v0
1476 vpopctg %v31, %v0
1477 vpopctg %v14, %v17
1479 #CHECK: vpopcth %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x10,0x50]
1480 #CHECK: vpopcth %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x10,0x50]
1481 #CHECK: vpopcth %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x50]
1482 #CHECK: vpopcth %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x10,0x50]
1483 #CHECK: vpopcth %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x50]
1484 #CHECK: vpopcth %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x14,0x50]
1486 vpopcth %v0, %v0
1487 vpopcth %v0, %v15
1488 vpopcth %v0, %v31
1489 vpopcth %v15, %v0
1490 vpopcth %v31, %v0
1491 vpopcth %v14, %v17
1493 #CHECK: vpsop %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5b]
1494 #CHECK: vpsop %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5b]
1495 #CHECK: vpsop %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x5b]
1496 #CHECK: vpsop %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5b]
1497 #CHECK: vpsop %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5b]
1498 #CHECK: vpsop %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5b]
1499 #CHECK: vpsop %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x5b]
1501 vpsop %v0, %v0, 0, 0, 0
1502 vpsop %v0, %v0, 0, 0, 15
1503 vpsop %v0, %v0, 0, 255, 0
1504 vpsop %v0, %v0, 255, 0, 0
1505 vpsop %v0, %v31, 0, 0, 0
1506 vpsop %v31, %v0, 0, 0, 0
1507 vpsop %v13, %v17, 0x34, 0x79, 11
1509 #CHECK: vrp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7b]
1510 #CHECK: vrp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7b]
1511 #CHECK: vrp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7b]
1512 #CHECK: vrp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7b]
1513 #CHECK: vrp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7b]
1514 #CHECK: vrp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7b]
1515 #CHECK: vrp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7b]
1517 vrp %v0, %v0, %v0, 0, 0
1518 vrp %v0, %v0, %v0, 0, 15
1519 vrp %v0, %v0, %v0, 255, 0
1520 vrp %v0, %v0, %v31, 0, 0
1521 vrp %v0, %v31, %v0, 0, 0
1522 vrp %v31, %v0, %v0, 0, 0
1523 vrp %v13, %v17, %v21, 0x79, 11
1525 #CHECK: vsdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7e]
1526 #CHECK: vsdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7e]
1527 #CHECK: vsdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7e]
1528 #CHECK: vsdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7e]
1529 #CHECK: vsdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7e]
1530 #CHECK: vsdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7e]
1531 #CHECK: vsdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7e]
1533 vsdp %v0, %v0, %v0, 0, 0
1534 vsdp %v0, %v0, %v0, 0, 15
1535 vsdp %v0, %v0, %v0, 255, 0
1536 vsdp %v0, %v0, %v31, 0, 0
1537 vsdp %v0, %v31, %v0, 0, 0
1538 vsdp %v31, %v0, %v0, 0, 0
1539 vsdp %v13, %v17, %v21, 0x79, 11
1541 #CHECK: vsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x73]
1542 #CHECK: vsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x73]
1543 #CHECK: vsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x73]
1544 #CHECK: vsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x73]
1545 #CHECK: vsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x73]
1546 #CHECK: vsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x73]
1547 #CHECK: vsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x73]
1549 vsp %v0, %v0, %v0, 0, 0
1550 vsp %v0, %v0, %v0, 0, 15
1551 vsp %v0, %v0, %v0, 255, 0
1552 vsp %v0, %v0, %v31, 0, 0
1553 vsp %v0, %v31, %v0, 0, 0
1554 vsp %v31, %v0, %v0, 0, 0
1555 vsp %v13, %v17, %v21, 0x79, 11
1557 #CHECK: vsrp %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x59]
1558 #CHECK: vsrp %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x59]
1559 #CHECK: vsrp %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x59]
1560 #CHECK: vsrp %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x59]
1561 #CHECK: vsrp %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x59]
1562 #CHECK: vsrp %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x59]
1563 #CHECK: vsrp %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x59]
1565 vsrp %v0, %v0, 0, 0, 0
1566 vsrp %v0, %v0, 0, 0, 15
1567 vsrp %v0, %v0, 0, 255, 0
1568 vsrp %v0, %v0, 255, 0, 0
1569 vsrp %v0, %v31, 0, 0, 0
1570 vsrp %v31, %v0, 0, 0, 0
1571 vsrp %v13, %v17, 0x34, 0x79, 11
1573 #CHECK: vstrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3d]
1574 #CHECK: vstrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3d]
1575 #CHECK: vstrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3d]
1576 #CHECK: vstrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3d]
1577 #CHECK: vstrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3d]
1578 #CHECK: vstrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3d]
1579 #CHECK: vstrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3d]
1581 vstrl %v0, 0, 0
1582 vstrl %v0, 4095, 0
1583 vstrl %v0, 0(%r15), 0
1584 vstrl %v0, 0, 255
1585 vstrl %v15, 0, 0
1586 vstrl %v31, 0, 0
1587 vstrl %v18, 1383(%r4), 3
1589 #CHECK: vstrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3f]
1590 #CHECK: vstrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3f]
1591 #CHECK: vstrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3f]
1592 #CHECK: vstrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x3f]
1593 #CHECK: vstrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3f]
1594 #CHECK: vstrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3f]
1595 #CHECK: vstrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3f]
1597 vstrlr %v0, %r0, 0
1598 vstrlr %v0, %r0, 4095
1599 vstrlr %v0, %r0, 0(%r15)
1600 vstrlr %v0, %r15, 0
1601 vstrlr %v15, %r0, 0
1602 vstrlr %v31, %r0, 0
1603 vstrlr %v18, %r3, 1383(%r4)
1605 #CHECK: vtp %v0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5f]
1606 #CHECK: vtp %v15 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5f]
1607 #CHECK: vtp %v31 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5f]
1609 vtp %v0
1610 vtp %v15
1611 vtp %v31
1613 #CHECK: vupkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3c]
1614 #CHECK: vupkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3c]
1615 #CHECK: vupkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3c]
1616 #CHECK: vupkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3c]
1617 #CHECK: vupkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3c]
1618 #CHECK: vupkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3c]
1619 #CHECK: vupkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3c]
1621 vupkz %v0, 0, 0
1622 vupkz %v0, 4095, 0
1623 vupkz %v0, 0(%r15), 0
1624 vupkz %v0, 0, 255
1625 vupkz %v15, 0, 0
1626 vupkz %v31, 0, 0
1627 vupkz %v18, 1383(%r4), 3
1629 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1630 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1631 #CHECK: wfasb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe3]
1632 #CHECK: wfasb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe3]
1633 #CHECK: wfasb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe3]
1634 #CHECK: wfasb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe3]
1636 wfasb %v0, %v0, %v0
1637 wfasb %f0, %f0, %f0
1638 wfasb %v0, %v0, %v31
1639 wfasb %v0, %v31, %v0
1640 wfasb %v31, %v0, %v0
1641 wfasb %v18, %v3, %v20
1643 #CHECK: wfaxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe3]
1644 #CHECK: wfaxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe3]
1645 #CHECK: wfaxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe3]
1646 #CHECK: wfaxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe3]
1647 #CHECK: wfaxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe3]
1649 wfaxb %v0, %v0, %v0
1650 wfaxb %v0, %v0, %v31
1651 wfaxb %v0, %v31, %v0
1652 wfaxb %v31, %v0, %v0
1653 wfaxb %v18, %v3, %v20
1655 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1656 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1657 #CHECK: wfcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcb]
1658 #CHECK: wfcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcb]
1659 #CHECK: wfcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcb]
1660 #CHECK: wfcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcb]
1661 #CHECK: wfcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcb]
1663 wfcsb %v0, %v0
1664 wfcsb %f0, %f0
1665 wfcsb %v0, %v15
1666 wfcsb %v0, %v31
1667 wfcsb %v15, %v0
1668 wfcsb %v31, %v0
1669 wfcsb %v14, %v17
1671 #CHECK: wfcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xcb]
1672 #CHECK: wfcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xcb]
1673 #CHECK: wfcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xcb]
1674 #CHECK: wfcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xcb]
1675 #CHECK: wfcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xcb]
1676 #CHECK: wfcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xcb]
1678 wfcxb %v0, %v0
1679 wfcxb %v0, %v15
1680 wfcxb %v0, %v31
1681 wfcxb %v15, %v0
1682 wfcxb %v31, %v0
1683 wfcxb %v14, %v17
1685 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1686 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1687 #CHECK: wfcesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe8]
1688 #CHECK: wfcesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe8]
1689 #CHECK: wfcesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe8]
1690 #CHECK: wfcesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe8]
1692 wfcesb %v0, %v0, %v0
1693 wfcesb %f0, %f0, %f0
1694 wfcesb %v0, %v0, %v31
1695 wfcesb %v0, %v31, %v0
1696 wfcesb %v31, %v0, %v0
1697 wfcesb %v18, %v3, %v20
1699 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1700 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1701 #CHECK: wfcesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xe8]
1702 #CHECK: wfcesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xe8]
1703 #CHECK: wfcesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xe8]
1704 #CHECK: wfcesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xe8]
1706 wfcesbs %v0, %v0, %v0
1707 wfcesbs %f0, %f0, %f0
1708 wfcesbs %v0, %v0, %v31
1709 wfcesbs %v0, %v31, %v0
1710 wfcesbs %v31, %v0, %v0
1711 wfcesbs %v18, %v3, %v20
1713 #CHECK: wfcexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe8]
1714 #CHECK: wfcexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe8]
1715 #CHECK: wfcexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe8]
1716 #CHECK: wfcexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe8]
1717 #CHECK: wfcexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe8]
1719 wfcexb %v0, %v0, %v0
1720 wfcexb %v0, %v0, %v31
1721 wfcexb %v0, %v31, %v0
1722 wfcexb %v31, %v0, %v0
1723 wfcexb %v18, %v3, %v20
1725 #CHECK: wfcexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xe8]
1726 #CHECK: wfcexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xe8]
1727 #CHECK: wfcexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xe8]
1728 #CHECK: wfcexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xe8]
1729 #CHECK: wfcexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xe8]
1731 wfcexbs %v0, %v0, %v0
1732 wfcexbs %v0, %v0, %v31
1733 wfcexbs %v0, %v31, %v0
1734 wfcexbs %v31, %v0, %v0
1735 wfcexbs %v18, %v3, %v20
1737 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1738 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1739 #CHECK: wfchsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xeb]
1740 #CHECK: wfchsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xeb]
1741 #CHECK: wfchsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xeb]
1742 #CHECK: wfchsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xeb]
1744 wfchsb %v0, %v0, %v0
1745 wfchsb %f0, %f0, %f0
1746 wfchsb %v0, %v0, %v31
1747 wfchsb %v0, %v31, %v0
1748 wfchsb %v31, %v0, %v0
1749 wfchsb %v18, %v3, %v20
1751 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1752 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1753 #CHECK: wfchsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xeb]
1754 #CHECK: wfchsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xeb]
1755 #CHECK: wfchsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xeb]
1756 #CHECK: wfchsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xeb]
1758 wfchsbs %v0, %v0, %v0
1759 wfchsbs %f0, %f0, %f0
1760 wfchsbs %v0, %v0, %v31
1761 wfchsbs %v0, %v31, %v0
1762 wfchsbs %v31, %v0, %v0
1763 wfchsbs %v18, %v3, %v20
1765 #CHECK: wfchxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xeb]
1766 #CHECK: wfchxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xeb]
1767 #CHECK: wfchxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xeb]
1768 #CHECK: wfchxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xeb]
1769 #CHECK: wfchxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xeb]
1771 wfchxb %v0, %v0, %v0
1772 wfchxb %v0, %v0, %v31
1773 wfchxb %v0, %v31, %v0
1774 wfchxb %v31, %v0, %v0
1775 wfchxb %v18, %v3, %v20
1777 #CHECK: wfchxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xeb]
1778 #CHECK: wfchxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xeb]
1779 #CHECK: wfchxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xeb]
1780 #CHECK: wfchxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xeb]
1781 #CHECK: wfchxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xeb]
1783 wfchxbs %v0, %v0, %v0
1784 wfchxbs %v0, %v0, %v31
1785 wfchxbs %v0, %v31, %v0
1786 wfchxbs %v31, %v0, %v0
1787 wfchxbs %v18, %v3, %v20
1789 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1790 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1791 #CHECK: wfchesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xea]
1792 #CHECK: wfchesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xea]
1793 #CHECK: wfchesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xea]
1794 #CHECK: wfchesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xea]
1796 wfchesb %v0, %v0, %v0
1797 wfchesb %f0, %f0, %f0
1798 wfchesb %v0, %v0, %v31
1799 wfchesb %v0, %v31, %v0
1800 wfchesb %v31, %v0, %v0
1801 wfchesb %v18, %v3, %v20
1803 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1804 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1805 #CHECK: wfchesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xea]
1806 #CHECK: wfchesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xea]
1807 #CHECK: wfchesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xea]
1808 #CHECK: wfchesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xea]
1810 wfchesbs %v0, %v0, %v0
1811 wfchesbs %f0, %f0, %f0
1812 wfchesbs %v0, %v0, %v31
1813 wfchesbs %v0, %v31, %v0
1814 wfchesbs %v31, %v0, %v0
1815 wfchesbs %v18, %v3, %v20
1817 #CHECK: wfchexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xea]
1818 #CHECK: wfchexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xea]
1819 #CHECK: wfchexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xea]
1820 #CHECK: wfchexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xea]
1821 #CHECK: wfchexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xea]
1823 wfchexb %v0, %v0, %v0
1824 wfchexb %v0, %v0, %v31
1825 wfchexb %v0, %v31, %v0
1826 wfchexb %v31, %v0, %v0
1827 wfchexb %v18, %v3, %v20
1829 #CHECK: wfchexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xea]
1830 #CHECK: wfchexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xea]
1831 #CHECK: wfchexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xea]
1832 #CHECK: wfchexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xea]
1833 #CHECK: wfchexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xea]
1835 wfchexbs %v0, %v0, %v0
1836 wfchexbs %v0, %v0, %v31
1837 wfchexbs %v0, %v31, %v0
1838 wfchexbs %v31, %v0, %v0
1839 wfchexbs %v18, %v3, %v20
1841 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1842 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1843 #CHECK: wfdsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe5]
1844 #CHECK: wfdsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe5]
1845 #CHECK: wfdsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe5]
1846 #CHECK: wfdsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe5]
1848 wfdsb %v0, %v0, %v0
1849 wfdsb %f0, %f0, %f0
1850 wfdsb %v0, %v0, %v31
1851 wfdsb %v0, %v31, %v0
1852 wfdsb %v31, %v0, %v0
1853 wfdsb %v18, %v3, %v20
1855 #CHECK: wfdxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe5]
1856 #CHECK: wfdxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe5]
1857 #CHECK: wfdxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe5]
1858 #CHECK: wfdxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe5]
1859 #CHECK: wfdxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe5]
1861 wfdxb %v0, %v0, %v0
1862 wfdxb %v0, %v0, %v31
1863 wfdxb %v0, %v31, %v0
1864 wfdxb %v31, %v0, %v0
1865 wfdxb %v18, %v3, %v20
1867 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1868 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1869 #CHECK: wfisb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc7]
1870 #CHECK: wfisb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc7]
1871 #CHECK: wfisb %f0, %f0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x20,0xc7]
1872 #CHECK: wfisb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc7]
1873 #CHECK: wfisb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc7]
1874 #CHECK: wfisb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc7]
1876 wfisb %v0, %v0, 0, 0
1877 wfisb %f0, %f0, 0, 0
1878 wfisb %v0, %v0, 0, 15
1879 wfisb %v0, %v0, 4, 0
1880 wfisb %v0, %v0, 7, 0
1881 wfisb %v0, %v31, 0, 0
1882 wfisb %v31, %v0, 0, 0
1883 wfisb %v14, %v17, 4, 10
1885 #CHECK: wfixb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc7]
1886 #CHECK: wfixb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc7]
1887 #CHECK: wfixb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc7]
1888 #CHECK: wfixb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc7]
1889 #CHECK: wfixb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc7]
1890 #CHECK: wfixb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc7]
1891 #CHECK: wfixb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc7]
1893 wfixb %v0, %v0, 0, 0
1894 wfixb %v0, %v0, 0, 15
1895 wfixb %v0, %v0, 4, 0
1896 wfixb %v0, %v0, 7, 0
1897 wfixb %v0, %v31, 0, 0
1898 wfixb %v31, %v0, 0, 0
1899 wfixb %v14, %v17, 4, 10
1901 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1902 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1903 #CHECK: wfksb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xca]
1904 #CHECK: wfksb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xca]
1905 #CHECK: wfksb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xca]
1906 #CHECK: wfksb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xca]
1907 #CHECK: wfksb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xca]
1909 wfksb %v0, %v0
1910 wfksb %f0, %f0
1911 wfksb %v0, %v15
1912 wfksb %v0, %v31
1913 wfksb %v15, %v0
1914 wfksb %v31, %v0
1915 wfksb %v14, %v17
1917 #CHECK: wfkxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xca]
1918 #CHECK: wfkxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xca]
1919 #CHECK: wfkxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xca]
1920 #CHECK: wfkxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xca]
1921 #CHECK: wfkxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xca]
1922 #CHECK: wfkxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xca]
1924 wfkxb %v0, %v0
1925 wfkxb %v0, %v15
1926 wfkxb %v0, %v31
1927 wfkxb %v15, %v0
1928 wfkxb %v31, %v0
1929 wfkxb %v14, %v17
1931 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1932 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1933 #CHECK: wfkedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xe8]
1934 #CHECK: wfkedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xe8]
1935 #CHECK: wfkedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xe8]
1936 #CHECK: wfkedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xe8]
1938 wfkedb %v0, %v0, %v0
1939 wfkedb %f0, %f0, %f0
1940 wfkedb %v0, %v0, %v31
1941 wfkedb %v0, %v31, %v0
1942 wfkedb %v31, %v0, %v0
1943 wfkedb %v18, %v3, %v20
1945 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1946 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1947 #CHECK: wfkedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xe8]
1948 #CHECK: wfkedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xe8]
1949 #CHECK: wfkedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xe8]
1950 #CHECK: wfkedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xe8]
1952 wfkedbs %v0, %v0, %v0
1953 wfkedbs %f0, %f0, %f0
1954 wfkedbs %v0, %v0, %v31
1955 wfkedbs %v0, %v31, %v0
1956 wfkedbs %v31, %v0, %v0
1957 wfkedbs %v18, %v3, %v20
1959 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1960 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1961 #CHECK: wfkesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xe8]
1962 #CHECK: wfkesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xe8]
1963 #CHECK: wfkesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xe8]
1964 #CHECK: wfkesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xe8]
1966 wfkesb %v0, %v0, %v0
1967 wfkesb %f0, %f0, %f0
1968 wfkesb %v0, %v0, %v31
1969 wfkesb %v0, %v31, %v0
1970 wfkesb %v31, %v0, %v0
1971 wfkesb %v18, %v3, %v20
1973 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1974 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1975 #CHECK: wfkesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xe8]
1976 #CHECK: wfkesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xe8]
1977 #CHECK: wfkesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xe8]
1978 #CHECK: wfkesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xe8]
1980 wfkesbs %v0, %v0, %v0
1981 wfkesbs %f0, %f0, %f0
1982 wfkesbs %v0, %v0, %v31
1983 wfkesbs %v0, %v31, %v0
1984 wfkesbs %v31, %v0, %v0
1985 wfkesbs %v18, %v3, %v20
1987 #CHECK: wfkexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xe8]
1988 #CHECK: wfkexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xe8]
1989 #CHECK: wfkexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xe8]
1990 #CHECK: wfkexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xe8]
1991 #CHECK: wfkexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xe8]
1993 wfkexb %v0, %v0, %v0
1994 wfkexb %v0, %v0, %v31
1995 wfkexb %v0, %v31, %v0
1996 wfkexb %v31, %v0, %v0
1997 wfkexb %v18, %v3, %v20
1999 #CHECK: wfkexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xe8]
2000 #CHECK: wfkexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xe8]
2001 #CHECK: wfkexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xe8]
2002 #CHECK: wfkexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xe8]
2003 #CHECK: wfkexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xe8]
2005 wfkexbs %v0, %v0, %v0
2006 wfkexbs %v0, %v0, %v31
2007 wfkexbs %v0, %v31, %v0
2008 wfkexbs %v31, %v0, %v0
2009 wfkexbs %v18, %v3, %v20
2011 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
2012 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
2013 #CHECK: wfkhdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xeb]
2014 #CHECK: wfkhdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xeb]
2015 #CHECK: wfkhdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xeb]
2016 #CHECK: wfkhdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xeb]
2018 wfkhdb %v0, %v0, %v0
2019 wfkhdb %f0, %f0, %f0
2020 wfkhdb %v0, %v0, %v31
2021 wfkhdb %v0, %v31, %v0
2022 wfkhdb %v31, %v0, %v0
2023 wfkhdb %v18, %v3, %v20
2025 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
2026 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
2027 #CHECK: wfkhdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xeb]
2028 #CHECK: wfkhdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xeb]
2029 #CHECK: wfkhdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xeb]
2030 #CHECK: wfkhdbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xeb]
2032 wfkhdbs %v0, %v0, %v0
2033 wfkhdbs %f0, %f0, %f0
2034 wfkhdbs %v0, %v0, %v31
2035 wfkhdbs %v0, %v31, %v0
2036 wfkhdbs %v31, %v0, %v0
2037 wfkhdbs %v18, %v3, %v20
2039 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
2040 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
2041 #CHECK: wfkhsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xeb]
2042 #CHECK: wfkhsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xeb]
2043 #CHECK: wfkhsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xeb]
2044 #CHECK: wfkhsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xeb]
2046 wfkhsb %v0, %v0, %v0
2047 wfkhsb %f0, %f0, %f0
2048 wfkhsb %v0, %v0, %v31
2049 wfkhsb %v0, %v31, %v0
2050 wfkhsb %v31, %v0, %v0
2051 wfkhsb %v18, %v3, %v20
2053 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2054 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2055 #CHECK: wfkhsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xeb]
2056 #CHECK: wfkhsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xeb]
2057 #CHECK: wfkhsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xeb]
2058 #CHECK: wfkhsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xeb]
2060 wfkhsbs %v0, %v0, %v0
2061 wfkhsbs %f0, %f0, %f0
2062 wfkhsbs %v0, %v0, %v31
2063 wfkhsbs %v0, %v31, %v0
2064 wfkhsbs %v31, %v0, %v0
2065 wfkhsbs %v18, %v3, %v20
2067 #CHECK: wfkhxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xeb]
2068 #CHECK: wfkhxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xeb]
2069 #CHECK: wfkhxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xeb]
2070 #CHECK: wfkhxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xeb]
2071 #CHECK: wfkhxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xeb]
2073 wfkhxb %v0, %v0, %v0
2074 wfkhxb %v0, %v0, %v31
2075 wfkhxb %v0, %v31, %v0
2076 wfkhxb %v31, %v0, %v0
2077 wfkhxb %v18, %v3, %v20
2079 #CHECK: wfkhxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xeb]
2080 #CHECK: wfkhxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xeb]
2081 #CHECK: wfkhxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xeb]
2082 #CHECK: wfkhxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xeb]
2083 #CHECK: wfkhxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xeb]
2085 wfkhxbs %v0, %v0, %v0
2086 wfkhxbs %v0, %v0, %v31
2087 wfkhxbs %v0, %v31, %v0
2088 wfkhxbs %v31, %v0, %v0
2089 wfkhxbs %v18, %v3, %v20
2091 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2092 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2093 #CHECK: wfkhedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xea]
2094 #CHECK: wfkhedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xea]
2095 #CHECK: wfkhedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xea]
2096 #CHECK: wfkhedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xea]
2098 wfkhedb %v0, %v0, %v0
2099 wfkhedb %f0, %f0, %f0
2100 wfkhedb %v0, %v0, %v31
2101 wfkhedb %v0, %v31, %v0
2102 wfkhedb %v31, %v0, %v0
2103 wfkhedb %v18, %v3, %v20
2105 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2106 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2107 #CHECK: wfkhedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xea]
2108 #CHECK: wfkhedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xea]
2109 #CHECK: wfkhedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xea]
2110 #CHECK: wfkhedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xea]
2112 wfkhedbs %v0, %v0, %v0
2113 wfkhedbs %f0, %f0, %f0
2114 wfkhedbs %v0, %v0, %v31
2115 wfkhedbs %v0, %v31, %v0
2116 wfkhedbs %v31, %v0, %v0
2117 wfkhedbs %v18, %v3, %v20
2119 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2120 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2121 #CHECK: wfkhesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xea]
2122 #CHECK: wfkhesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xea]
2123 #CHECK: wfkhesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xea]
2124 #CHECK: wfkhesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xea]
2126 wfkhesb %v0, %v0, %v0
2127 wfkhesb %f0, %f0, %f0
2128 wfkhesb %v0, %v0, %v31
2129 wfkhesb %v0, %v31, %v0
2130 wfkhesb %v31, %v0, %v0
2131 wfkhesb %v18, %v3, %v20
2133 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2134 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2135 #CHECK: wfkhesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xea]
2136 #CHECK: wfkhesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xea]
2137 #CHECK: wfkhesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xea]
2138 #CHECK: wfkhesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xea]
2140 wfkhesbs %v0, %v0, %v0
2141 wfkhesbs %f0, %f0, %f0
2142 wfkhesbs %v0, %v0, %v31
2143 wfkhesbs %v0, %v31, %v0
2144 wfkhesbs %v31, %v0, %v0
2145 wfkhesbs %v18, %v3, %v20
2147 #CHECK: wfkhexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xea]
2148 #CHECK: wfkhexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xea]
2149 #CHECK: wfkhexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xea]
2150 #CHECK: wfkhexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xea]
2151 #CHECK: wfkhexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xea]
2153 wfkhexb %v0, %v0, %v0
2154 wfkhexb %v0, %v0, %v31
2155 wfkhexb %v0, %v31, %v0
2156 wfkhexb %v31, %v0, %v0
2157 wfkhexb %v18, %v3, %v20
2159 #CHECK: wfkhexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xea]
2160 #CHECK: wfkhexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xea]
2161 #CHECK: wfkhexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xea]
2162 #CHECK: wfkhexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xea]
2163 #CHECK: wfkhexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xea]
2165 wfkhexbs %v0, %v0, %v0
2166 wfkhexbs %v0, %v0, %v31
2167 wfkhexbs %v0, %v31, %v0
2168 wfkhexbs %v31, %v0, %v0
2169 wfkhexbs %v18, %v3, %v20
2171 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2172 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2173 #CHECK: wfpsosb %f0, %f0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xcc]
2174 #CHECK: wfpsosb %f0, %f15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x20,0xcc]
2175 #CHECK: wfpsosb %f0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x24,0xcc]
2176 #CHECK: wfpsosb %f15, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x20,0xcc]
2177 #CHECK: wfpsosb %v31, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x28,0xcc]
2178 #CHECK: wfpsosb %f14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x24,0xcc]
2180 wfpsosb %v0, %v0, 3
2181 wfpsosb %f0, %f0, 3
2182 wfpsosb %v0, %v0, 15
2183 wfpsosb %v0, %v15, 3
2184 wfpsosb %v0, %v31, 3
2185 wfpsosb %v15, %v0, 3
2186 wfpsosb %v31, %v0, 3
2187 wfpsosb %v14, %v17, 7
2189 #CHECK: wfpsoxb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x40,0xcc]
2190 #CHECK: wfpsoxb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xcc]
2191 #CHECK: wfpsoxb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x40,0xcc]
2192 #CHECK: wfpsoxb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x44,0xcc]
2193 #CHECK: wfpsoxb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x40,0xcc]
2194 #CHECK: wfpsoxb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x48,0xcc]
2195 #CHECK: wfpsoxb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x44,0xcc]
2197 wfpsoxb %v0, %v0, 3
2198 wfpsoxb %v0, %v0, 15
2199 wfpsoxb %v0, %v15, 3
2200 wfpsoxb %v0, %v31, 3
2201 wfpsoxb %v15, %v0, 3
2202 wfpsoxb %v31, %v0, 3
2203 wfpsoxb %v14, %v17, 7
2205 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2206 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2207 #CHECK: wflcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xcc]
2208 #CHECK: wflcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xcc]
2209 #CHECK: wflcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xcc]
2210 #CHECK: wflcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xcc]
2211 #CHECK: wflcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xcc]
2213 wflcsb %v0, %v0
2214 wflcsb %f0, %f0
2215 wflcsb %v0, %v15
2216 wflcsb %v0, %v31
2217 wflcsb %v15, %v0
2218 wflcsb %v31, %v0
2219 wflcsb %v14, %v17
2221 #CHECK: wflcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xcc]
2222 #CHECK: wflcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xcc]
2223 #CHECK: wflcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xcc]
2224 #CHECK: wflcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xcc]
2225 #CHECK: wflcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xcc]
2226 #CHECK: wflcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xcc]
2228 wflcxb %v0, %v0
2229 wflcxb %v0, %v15
2230 wflcxb %v0, %v31
2231 wflcxb %v15, %v0
2232 wflcxb %v31, %v0
2233 wflcxb %v14, %v17
2235 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2236 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2237 #CHECK: wflnsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x18,0x20,0xcc]
2238 #CHECK: wflnsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xcc]
2239 #CHECK: wflnsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x20,0xcc]
2240 #CHECK: wflnsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xcc]
2241 #CHECK: wflnsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x24,0xcc]
2243 wflnsb %v0, %v0
2244 wflnsb %f0, %f0
2245 wflnsb %v0, %v15
2246 wflnsb %v0, %v31
2247 wflnsb %v15, %v0
2248 wflnsb %v31, %v0
2249 wflnsb %v14, %v17
2251 #CHECK: wflnxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xcc]
2252 #CHECK: wflnxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x18,0x40,0xcc]
2253 #CHECK: wflnxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xcc]
2254 #CHECK: wflnxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x40,0xcc]
2255 #CHECK: wflnxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xcc]
2256 #CHECK: wflnxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x44,0xcc]
2258 wflnxb %v0, %v0
2259 wflnxb %v0, %v15
2260 wflnxb %v0, %v31
2261 wflnxb %v15, %v0
2262 wflnxb %v31, %v0
2263 wflnxb %v14, %v17
2265 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2266 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2267 #CHECK: wflpsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x28,0x20,0xcc]
2268 #CHECK: wflpsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x24,0xcc]
2269 #CHECK: wflpsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x20,0xcc]
2270 #CHECK: wflpsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x28,0xcc]
2271 #CHECK: wflpsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x24,0xcc]
2273 wflpsb %v0, %v0
2274 wflpsb %f0, %f0
2275 wflpsb %v0, %v15
2276 wflpsb %v0, %v31
2277 wflpsb %v15, %v0
2278 wflpsb %v31, %v0
2279 wflpsb %v14, %v17
2281 #CHECK: wflpxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x28,0x40,0xcc]
2282 #CHECK: wflpxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x28,0x40,0xcc]
2283 #CHECK: wflpxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x44,0xcc]
2284 #CHECK: wflpxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x40,0xcc]
2285 #CHECK: wflpxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x48,0xcc]
2286 #CHECK: wflpxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x44,0xcc]
2288 wflpxb %v0, %v0
2289 wflpxb %v0, %v15
2290 wflpxb %v0, %v31
2291 wflpxb %v15, %v0
2292 wflpxb %v31, %v0
2293 wflpxb %v14, %v17
2295 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2296 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2297 #CHECK: wflls %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xc4]
2298 #CHECK: wflls %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
2299 #CHECK: wflls %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xc4]
2300 #CHECK: wflls %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
2301 #CHECK: wflls %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xc4]
2303 wflls %v0, %v0
2304 wflls %f0, %f0
2305 wflls %v0, %v15
2306 wflls %v0, %v31
2307 wflls %v15, %v0
2308 wflls %v31, %v0
2309 wflls %v14, %v17
2311 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2312 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2313 #CHECK: wflld %v0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xc4]
2314 #CHECK: wflld %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc4]
2315 #CHECK: wflld %v15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xc4]
2316 #CHECK: wflld %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc4]
2317 #CHECK: wflld %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xc4]
2319 wflld %v0, %v0
2320 wflld %v0, %f0
2321 wflld %v0, %v15
2322 wflld %v0, %v31
2323 wflld %v15, %v0
2324 wflld %v31, %v0
2325 wflld %v14, %v17
2327 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2328 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2329 #CHECK: wflrd %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc5]
2330 #CHECK: wflrd %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2331 #CHECK: wflrd %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2332 #CHECK: wflrd %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
2333 #CHECK: wflrd %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
2334 #CHECK: wflrd %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc5]
2336 wflrd %v0, %v0, 0, 0
2337 wflrd %f0, %f0, 0, 0
2338 wflrd %v0, %v0, 0, 15
2339 wflrd %v0, %v0, 4, 0
2340 wflrd %v0, %v0, 12, 0
2341 wflrd %v0, %v31, 0, 0
2342 wflrd %v31, %v0, 0, 0
2343 wflrd %v14, %v17, 4, 10
2345 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2346 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2347 #CHECK: wflrx %f0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc5]
2348 #CHECK: wflrx %f0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc5]
2349 #CHECK: wflrx %f0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc5]
2350 #CHECK: wflrx %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc5]
2351 #CHECK: wflrx %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc5]
2352 #CHECK: wflrx %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc5]
2354 wflrx %v0, %v0, 0, 0
2355 wflrx %f0, %v0, 0, 0
2356 wflrx %v0, %v0, 0, 15
2357 wflrx %v0, %v0, 4, 0
2358 wflrx %v0, %v0, 7, 0
2359 wflrx %v0, %v31, 0, 0
2360 wflrx %v31, %v0, 0, 0
2361 wflrx %v14, %v17, 4, 10
2363 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2364 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2365 #CHECK: wfmaxdb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xef]
2366 #CHECK: wfmaxdb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xef]
2367 #CHECK: wfmaxdb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xef]
2368 #CHECK: wfmaxdb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xef]
2369 #CHECK: wfmaxdb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xef]
2371 wfmaxdb %v0, %v0, %v0, 0
2372 wfmaxdb %f0, %f0, %f0, 0
2373 wfmaxdb %v0, %v0, %v0, 4
2374 wfmaxdb %v0, %v0, %v31, 0
2375 wfmaxdb %v0, %v31, %v0, 0
2376 wfmaxdb %v31, %v0, %v0, 0
2377 wfmaxdb %v18, %v3, %v20, 11
2379 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2380 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2381 #CHECK: wfmaxsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xef]
2382 #CHECK: wfmaxsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xef]
2383 #CHECK: wfmaxsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xef]
2384 #CHECK: wfmaxsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xef]
2385 #CHECK: wfmaxsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xef]
2387 wfmaxsb %v0, %v0, %v0, 0
2388 wfmaxsb %f0, %f0, %f0, 0
2389 wfmaxsb %v0, %v0, %v0, 4
2390 wfmaxsb %v0, %v0, %v31, 0
2391 wfmaxsb %v0, %v31, %v0, 0
2392 wfmaxsb %v31, %v0, %v0, 0
2393 wfmaxsb %v18, %v3, %v20, 11
2395 #CHECK: wfmaxxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xef]
2396 #CHECK: wfmaxxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xef]
2397 #CHECK: wfmaxxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xef]
2398 #CHECK: wfmaxxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xef]
2399 #CHECK: wfmaxxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xef]
2400 #CHECK: wfmaxxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xef]
2402 wfmaxxb %v0, %v0, %v0, 0
2403 wfmaxxb %v0, %v0, %v0, 4
2404 wfmaxxb %v0, %v0, %v31, 0
2405 wfmaxxb %v0, %v31, %v0, 0
2406 wfmaxxb %v31, %v0, %v0, 0
2407 wfmaxxb %v18, %v3, %v20, 11
2409 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2410 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2411 #CHECK: wfmindb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xee]
2412 #CHECK: wfmindb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xee]
2413 #CHECK: wfmindb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xee]
2414 #CHECK: wfmindb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xee]
2415 #CHECK: wfmindb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xee]
2417 wfmindb %v0, %v0, %v0, 0
2418 wfmindb %f0, %f0, %f0, 0
2419 wfmindb %v0, %v0, %v0, 4
2420 wfmindb %v0, %v0, %v31, 0
2421 wfmindb %v0, %v31, %v0, 0
2422 wfmindb %v31, %v0, %v0, 0
2423 wfmindb %v18, %v3, %v20, 11
2425 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2426 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2427 #CHECK: wfminsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xee]
2428 #CHECK: wfminsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xee]
2429 #CHECK: wfminsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xee]
2430 #CHECK: wfminsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xee]
2431 #CHECK: wfminsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xee]
2433 wfminsb %v0, %v0, %v0, 0
2434 wfminsb %f0, %f0, %f0, 0
2435 wfminsb %v0, %v0, %v0, 4
2436 wfminsb %v0, %v0, %v31, 0
2437 wfminsb %v0, %v31, %v0, 0
2438 wfminsb %v31, %v0, %v0, 0
2439 wfminsb %v18, %v3, %v20, 11
2441 #CHECK: wfminxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xee]
2442 #CHECK: wfminxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xee]
2443 #CHECK: wfminxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xee]
2444 #CHECK: wfminxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xee]
2445 #CHECK: wfminxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xee]
2446 #CHECK: wfminxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xee]
2448 wfminxb %v0, %v0, %v0, 0
2449 wfminxb %v0, %v0, %v0, 4
2450 wfminxb %v0, %v0, %v31, 0
2451 wfminxb %v0, %v31, %v0, 0
2452 wfminxb %v31, %v0, %v0, 0
2453 wfminxb %v18, %v3, %v20, 11
2455 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2456 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2457 #CHECK: wfmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8f]
2458 #CHECK: wfmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8f]
2459 #CHECK: wfmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8f]
2460 #CHECK: wfmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8f]
2461 #CHECK: wfmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8f]
2463 wfmasb %v0, %v0, %v0, %v0
2464 wfmasb %f0, %f0, %f0, %f0
2465 wfmasb %v0, %v0, %v0, %v31
2466 wfmasb %v0, %v0, %v31, %v0
2467 wfmasb %v0, %v31, %v0, %v0
2468 wfmasb %v31, %v0, %v0, %v0
2469 wfmasb %v13, %v17, %v21, %v25
2471 #CHECK: wfmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8f]
2472 #CHECK: wfmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8f]
2473 #CHECK: wfmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8f]
2474 #CHECK: wfmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8f]
2475 #CHECK: wfmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8f]
2476 #CHECK: wfmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8f]
2478 wfmaxb %v0, %v0, %v0, %v0
2479 wfmaxb %v0, %v0, %v0, %v31
2480 wfmaxb %v0, %v0, %v31, %v0
2481 wfmaxb %v0, %v31, %v0, %v0
2482 wfmaxb %v31, %v0, %v0, %v0
2483 wfmaxb %v13, %v17, %v21, %v25
2485 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2486 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2487 #CHECK: wfmsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe7]
2488 #CHECK: wfmsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe7]
2489 #CHECK: wfmsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe7]
2490 #CHECK: wfmsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe7]
2492 wfmsb %v0, %v0, %v0
2493 wfmsb %f0, %f0, %f0
2494 wfmsb %v0, %v0, %v31
2495 wfmsb %v0, %v31, %v0
2496 wfmsb %v31, %v0, %v0
2497 wfmsb %v18, %v3, %v20
2499 #CHECK: wfmxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe7]
2500 #CHECK: wfmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe7]
2501 #CHECK: wfmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe7]
2502 #CHECK: wfmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe7]
2503 #CHECK: wfmxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe7]
2505 wfmxb %v0, %v0, %v0
2506 wfmxb %v0, %v0, %v31
2507 wfmxb %v0, %v31, %v0
2508 wfmxb %v31, %v0, %v0
2509 wfmxb %v18, %v3, %v20
2511 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2512 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2513 #CHECK: wfmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8e]
2514 #CHECK: wfmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8e]
2515 #CHECK: wfmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8e]
2516 #CHECK: wfmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8e]
2517 #CHECK: wfmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8e]
2519 wfmssb %v0, %v0, %v0, %v0
2520 wfmssb %f0, %f0, %f0, %f0
2521 wfmssb %v0, %v0, %v0, %v31
2522 wfmssb %v0, %v0, %v31, %v0
2523 wfmssb %v0, %v31, %v0, %v0
2524 wfmssb %v31, %v0, %v0, %v0
2525 wfmssb %v13, %v17, %v21, %v25
2527 #CHECK: wfmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8e]
2528 #CHECK: wfmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8e]
2529 #CHECK: wfmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8e]
2530 #CHECK: wfmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8e]
2531 #CHECK: wfmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8e]
2532 #CHECK: wfmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8e]
2534 wfmsxb %v0, %v0, %v0, %v0
2535 wfmsxb %v0, %v0, %v0, %v31
2536 wfmsxb %v0, %v0, %v31, %v0
2537 wfmsxb %v0, %v31, %v0, %v0
2538 wfmsxb %v31, %v0, %v0, %v0
2539 wfmsxb %v13, %v17, %v21, %v25
2541 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2542 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2543 #CHECK: wfnmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9f]
2544 #CHECK: wfnmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9f]
2545 #CHECK: wfnmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9f]
2546 #CHECK: wfnmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9f]
2547 #CHECK: wfnmadb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9f]
2549 wfnmadb %v0, %v0, %v0, %v0
2550 wfnmadb %f0, %f0, %f0, %f0
2551 wfnmadb %v0, %v0, %v0, %v31
2552 wfnmadb %v0, %v0, %v31, %v0
2553 wfnmadb %v0, %v31, %v0, %v0
2554 wfnmadb %v31, %v0, %v0, %v0
2555 wfnmadb %v13, %v17, %v21, %v25
2557 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2558 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2559 #CHECK: wfnmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9f]
2560 #CHECK: wfnmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9f]
2561 #CHECK: wfnmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9f]
2562 #CHECK: wfnmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9f]
2563 #CHECK: wfnmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9f]
2565 wfnmasb %v0, %v0, %v0, %v0
2566 wfnmasb %f0, %f0, %f0, %f0
2567 wfnmasb %v0, %v0, %v0, %v31
2568 wfnmasb %v0, %v0, %v31, %v0
2569 wfnmasb %v0, %v31, %v0, %v0
2570 wfnmasb %v31, %v0, %v0, %v0
2571 wfnmasb %v13, %v17, %v21, %v25
2573 #CHECK: wfnmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9f]
2574 #CHECK: wfnmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9f]
2575 #CHECK: wfnmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9f]
2576 #CHECK: wfnmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9f]
2577 #CHECK: wfnmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9f]
2578 #CHECK: wfnmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9f]
2580 wfnmaxb %v0, %v0, %v0, %v0
2581 wfnmaxb %v0, %v0, %v0, %v31
2582 wfnmaxb %v0, %v0, %v31, %v0
2583 wfnmaxb %v0, %v31, %v0, %v0
2584 wfnmaxb %v31, %v0, %v0, %v0
2585 wfnmaxb %v13, %v17, %v21, %v25
2587 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2588 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2589 #CHECK: wfnmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9e]
2590 #CHECK: wfnmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9e]
2591 #CHECK: wfnmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9e]
2592 #CHECK: wfnmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9e]
2593 #CHECK: wfnmsdb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9e]
2595 wfnmsdb %v0, %v0, %v0, %v0
2596 wfnmsdb %f0, %f0, %f0, %f0
2597 wfnmsdb %v0, %v0, %v0, %v31
2598 wfnmsdb %v0, %v0, %v31, %v0
2599 wfnmsdb %v0, %v31, %v0, %v0
2600 wfnmsdb %v31, %v0, %v0, %v0
2601 wfnmsdb %v13, %v17, %v21, %v25
2603 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2604 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2605 #CHECK: wfnmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9e]
2606 #CHECK: wfnmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9e]
2607 #CHECK: wfnmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9e]
2608 #CHECK: wfnmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9e]
2609 #CHECK: wfnmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9e]
2611 wfnmssb %v0, %v0, %v0, %v0
2612 wfnmssb %f0, %f0, %f0, %f0
2613 wfnmssb %v0, %v0, %v0, %v31
2614 wfnmssb %v0, %v0, %v31, %v0
2615 wfnmssb %v0, %v31, %v0, %v0
2616 wfnmssb %v31, %v0, %v0, %v0
2617 wfnmssb %v13, %v17, %v21, %v25
2619 #CHECK: wfnmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9e]
2620 #CHECK: wfnmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9e]
2621 #CHECK: wfnmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9e]
2622 #CHECK: wfnmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9e]
2623 #CHECK: wfnmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9e]
2624 #CHECK: wfnmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9e]
2626 wfnmsxb %v0, %v0, %v0, %v0
2627 wfnmsxb %v0, %v0, %v0, %v31
2628 wfnmsxb %v0, %v0, %v31, %v0
2629 wfnmsxb %v0, %v31, %v0, %v0
2630 wfnmsxb %v31, %v0, %v0, %v0
2631 wfnmsxb %v13, %v17, %v21, %v25
2633 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2634 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2635 #CHECK: wfssb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe2]
2636 #CHECK: wfssb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe2]
2637 #CHECK: wfssb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe2]
2638 #CHECK: wfssb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe2]
2640 wfssb %v0, %v0, %v0
2641 wfssb %f0, %f0, %f0
2642 wfssb %v0, %v0, %v31
2643 wfssb %v0, %v31, %v0
2644 wfssb %v31, %v0, %v0
2645 wfssb %v18, %v3, %v20
2647 #CHECK: wfsxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe2]
2648 #CHECK: wfsxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe2]
2649 #CHECK: wfsxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe2]
2650 #CHECK: wfsxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe2]
2651 #CHECK: wfsxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe2]
2653 wfsxb %v0, %v0, %v0
2654 wfsxb %v0, %v0, %v31
2655 wfsxb %v0, %v31, %v0
2656 wfsxb %v31, %v0, %v0
2657 wfsxb %v18, %v3, %v20
2659 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2660 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2661 #CHECK: wfsqsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xce]
2662 #CHECK: wfsqsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xce]
2663 #CHECK: wfsqsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xce]
2664 #CHECK: wfsqsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xce]
2665 #CHECK: wfsqsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xce]
2667 wfsqsb %v0, %v0
2668 wfsqsb %f0, %f0
2669 wfsqsb %v0, %v15
2670 wfsqsb %v0, %v31
2671 wfsqsb %v15, %v0
2672 wfsqsb %v31, %v0
2673 wfsqsb %v14, %v17
2675 #CHECK: wfsqxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xce]
2676 #CHECK: wfsqxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xce]
2677 #CHECK: wfsqxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xce]
2678 #CHECK: wfsqxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xce]
2679 #CHECK: wfsqxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xce]
2680 #CHECK: wfsqxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xce]
2682 wfsqxb %v0, %v0
2683 wfsqxb %v0, %v15
2684 wfsqxb %v0, %v31
2685 wfsqxb %v15, %v0
2686 wfsqxb %v31, %v0
2687 wfsqxb %v14, %v17
2689 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2690 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2691 #CHECK: wftcisb %f0, %f0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x20,0x4a]
2692 #CHECK: wftcisb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0x4a]
2693 #CHECK: wftcisb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0x4a]
2694 #CHECK: wftcisb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0x4a]
2695 #CHECK: wftcisb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0x4a]
2696 #CHECK: wftcisb %f4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x24,0x4a]
2698 wftcisb %v0, %v0, 0
2699 wftcisb %f0, %f0, 0
2700 wftcisb %v0, %v0, 4095
2701 wftcisb %v0, %v15, 0
2702 wftcisb %v0, %v31, 0
2703 wftcisb %v15, %v0, 0
2704 wftcisb %v31, %v0, 0
2705 wftcisb %v4, %v21, 0x678
2707 #CHECK: wftcixb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0x4a]
2708 #CHECK: wftcixb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x40,0x4a]
2709 #CHECK: wftcixb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0x4a]
2710 #CHECK: wftcixb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0x4a]
2711 #CHECK: wftcixb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0x4a]
2712 #CHECK: wftcixb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0x4a]
2713 #CHECK: wftcixb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x44,0x4a]
2715 wftcixb %v0, %v0, 0
2716 wftcixb %v0, %v0, 4095
2717 wftcixb %v0, %v15, 0
2718 wftcixb %v0, %v31, 0
2719 wftcixb %v15, %v0, 0
2720 wftcixb %v31, %v0, 0
2721 wftcixb %v4, %v21, 0x678