• Home
  • Raw
  • Download

Lines Matching refs:v31

22 #CHECK: vab     %v0, %v0, %v31          # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf3]
23 #CHECK: vab %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf3]
24 #CHECK: vab %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf3]
28 vab %v0, %v0, %v31
29 vab %v0, %v31, %v0
30 vab %v31, %v0, %v0
34 #CHECK: vaccb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf1]
35 #CHECK: vaccb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf1]
36 #CHECK: vaccb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf1]
40 vaccb %v0, %v0, %v31
41 vaccb %v0, %v31, %v0
42 vaccb %v31, %v0, %v0
46 #CHECK: vacccq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xb9]
47 #CHECK: vacccq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xb9]
48 #CHECK: vacccq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xb9]
49 #CHECK: vacccq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xb9]
53 vacccq %v0, %v0, %v0, %v31
54 vacccq %v0, %v0, %v31, %v0
55 vacccq %v0, %v31, %v0, %v0
56 vacccq %v31, %v0, %v0, %v0
60 #CHECK: vaccf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf1]
61 #CHECK: vaccf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf1]
62 #CHECK: vaccf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf1]
66 vaccf %v0, %v0, %v31
67 vaccf %v0, %v31, %v0
68 vaccf %v31, %v0, %v0
72 #CHECK: vaccg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf1]
73 #CHECK: vaccg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf1]
74 #CHECK: vaccg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf1]
78 vaccg %v0, %v0, %v31
79 vaccg %v0, %v31, %v0
80 vaccg %v31, %v0, %v0
84 #CHECK: vacch %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf1]
85 #CHECK: vacch %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf1]
86 #CHECK: vacch %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf1]
90 vacch %v0, %v0, %v31
91 vacch %v0, %v31, %v0
92 vacch %v31, %v0, %v0
96 #CHECK: vaccq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf1]
97 #CHECK: vaccq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf1]
98 #CHECK: vaccq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf1]
102 vaccq %v0, %v0, %v31
103 vaccq %v0, %v31, %v0
104 vaccq %v31, %v0, %v0
108 #CHECK: vacq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbb]
109 #CHECK: vacq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbb]
110 #CHECK: vacq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbb]
111 #CHECK: vacq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbb]
115 vacq %v0, %v0, %v0, %v31
116 vacq %v0, %v0, %v31, %v0
117 vacq %v0, %v31, %v0, %v0
118 vacq %v31, %v0, %v0, %v0
122 #CHECK: vaf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf3]
123 #CHECK: vaf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf3]
124 #CHECK: vaf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf3]
128 vaf %v0, %v0, %v31
129 vaf %v0, %v31, %v0
130 vaf %v31, %v0, %v0
134 #CHECK: vag %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf3]
135 #CHECK: vag %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf3]
136 #CHECK: vag %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf3]
140 vag %v0, %v0, %v31
141 vag %v0, %v31, %v0
142 vag %v31, %v0, %v0
146 #CHECK: vah %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf3]
147 #CHECK: vah %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf3]
148 #CHECK: vah %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf3]
152 vah %v0, %v0, %v31
153 vah %v0, %v31, %v0
154 vah %v31, %v0, %v0
158 #CHECK: vaq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf3]
159 #CHECK: vaq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf3]
160 #CHECK: vaq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf3]
164 vaq %v0, %v0, %v31
165 vaq %v0, %v31, %v0
166 vaq %v31, %v0, %v0
170 #CHECK: vavgb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf2]
171 #CHECK: vavgb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf2]
172 #CHECK: vavgb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf2]
176 vavgb %v0, %v0, %v31
177 vavgb %v0, %v31, %v0
178 vavgb %v31, %v0, %v0
182 #CHECK: vavgf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf2]
183 #CHECK: vavgf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf2]
184 #CHECK: vavgf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf2]
188 vavgf %v0, %v0, %v31
189 vavgf %v0, %v31, %v0
190 vavgf %v31, %v0, %v0
194 #CHECK: vavgg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf2]
195 #CHECK: vavgg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf2]
196 #CHECK: vavgg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf2]
200 vavgg %v0, %v0, %v31
201 vavgg %v0, %v31, %v0
202 vavgg %v31, %v0, %v0
206 #CHECK: vavgh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf2]
207 #CHECK: vavgh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf2]
208 #CHECK: vavgh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf2]
212 vavgh %v0, %v0, %v31
213 vavgh %v0, %v31, %v0
214 vavgh %v31, %v0, %v0
218 #CHECK: vavglb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf0]
219 #CHECK: vavglb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf0]
220 #CHECK: vavglb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf0]
224 vavglb %v0, %v0, %v31
225 vavglb %v0, %v31, %v0
226 vavglb %v31, %v0, %v0
230 #CHECK: vavglf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf0]
231 #CHECK: vavglf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf0]
232 #CHECK: vavglf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf0]
236 vavglf %v0, %v0, %v31
237 vavglf %v0, %v31, %v0
238 vavglf %v31, %v0, %v0
242 #CHECK: vavglg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf0]
243 #CHECK: vavglg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf0]
244 #CHECK: vavglg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf0]
248 vavglg %v0, %v0, %v31
249 vavglg %v0, %v31, %v0
250 vavglg %v31, %v0, %v0
254 #CHECK: vavglh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf0]
255 #CHECK: vavglh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf0]
256 #CHECK: vavglh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf0]
260 vavglh %v0, %v0, %v31
261 vavglh %v0, %v31, %v0
262 vavglh %v31, %v0, %v0
269 #CHECK: vcdgb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc3]
270 #CHECK: vcdgb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc3]
277 vcdgb %v0, %v31, 0, 0
278 vcdgb %v31, %v0, 0, 0
285 #CHECK: vcdlgb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc1]
286 #CHECK: vcdlgb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc1]
293 vcdlgb %v0, %v31, 0, 0
294 vcdlgb %v31, %v0, 0, 0
298 #CHECK: vcksm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x66]
299 #CHECK: vcksm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x66]
300 #CHECK: vcksm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x66]
304 vcksm %v0, %v0, %v31
305 vcksm %v0, %v31, %v0
306 vcksm %v31, %v0, %v0
310 #CHECK: vceqb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf8]
311 #CHECK: vceqb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf8]
312 #CHECK: vceqb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf8]
317 vceqb %v0, %v0, %v31
318 vceqb %v0, %v31, %v0
319 vceqb %v31, %v0, %v0
324 #CHECK: vceqf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf8]
325 #CHECK: vceqf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf8]
326 #CHECK: vceqf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf8]
331 vceqf %v0, %v0, %v31
332 vceqf %v0, %v31, %v0
333 vceqf %v31, %v0, %v0
338 #CHECK: vceqg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf8]
339 #CHECK: vceqg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf8]
340 #CHECK: vceqg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf8]
345 vceqg %v0, %v0, %v31
346 vceqg %v0, %v31, %v0
347 vceqg %v31, %v0, %v0
352 #CHECK: vceqh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf8]
353 #CHECK: vceqh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf8]
354 #CHECK: vceqh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf8]
359 vceqh %v0, %v0, %v31
360 vceqh %v0, %v31, %v0
361 vceqh %v31, %v0, %v0
369 #CHECK: vcgdb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc2]
370 #CHECK: vcgdb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc2]
377 vcgdb %v0, %v31, 0, 0
378 vcgdb %v31, %v0, 0, 0
382 #CHECK: vchb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfb]
383 #CHECK: vchb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfb]
384 #CHECK: vchb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfb]
389 vchb %v0, %v0, %v31
390 vchb %v0, %v31, %v0
391 vchb %v31, %v0, %v0
396 #CHECK: vchf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfb]
397 #CHECK: vchf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfb]
398 #CHECK: vchf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfb]
403 vchf %v0, %v0, %v31
404 vchf %v0, %v31, %v0
405 vchf %v31, %v0, %v0
410 #CHECK: vchg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfb]
411 #CHECK: vchg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfb]
412 #CHECK: vchg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfb]
417 vchg %v0, %v0, %v31
418 vchg %v0, %v31, %v0
419 vchg %v31, %v0, %v0
424 #CHECK: vchh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfb]
425 #CHECK: vchh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfb]
426 #CHECK: vchh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfb]
431 vchh %v0, %v0, %v31
432 vchh %v0, %v31, %v0
433 vchh %v31, %v0, %v0
438 #CHECK: vchlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf9]
439 #CHECK: vchlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf9]
440 #CHECK: vchlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf9]
445 vchlb %v0, %v0, %v31
446 vchlb %v0, %v31, %v0
447 vchlb %v31, %v0, %v0
452 #CHECK: vchlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf9]
453 #CHECK: vchlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf9]
454 #CHECK: vchlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf9]
459 vchlf %v0, %v0, %v31
460 vchlf %v0, %v31, %v0
461 vchlf %v31, %v0, %v0
466 #CHECK: vchlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf9]
467 #CHECK: vchlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf9]
468 #CHECK: vchlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf9]
473 vchlg %v0, %v0, %v31
474 vchlg %v0, %v31, %v0
475 vchlg %v31, %v0, %v0
480 #CHECK: vchlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf9]
481 #CHECK: vchlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf9]
482 #CHECK: vchlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf9]
487 vchlh %v0, %v0, %v31
488 vchlh %v0, %v31, %v0
489 vchlh %v31, %v0, %v0
497 #CHECK: vclgdb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc0]
498 #CHECK: vclgdb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc0]
505 vclgdb %v0, %v31, 0, 0
506 vclgdb %v31, %v0, 0, 0
511 #CHECK: vclzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x53]
513 #CHECK: vclzb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x53]
518 vclzb %v0, %v31
520 vclzb %v31, %v0
525 #CHECK: vclzf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x53]
527 #CHECK: vclzf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x53]
532 vclzf %v0, %v31
534 vclzf %v31, %v0
539 #CHECK: vclzg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x53]
541 #CHECK: vclzg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x53]
546 vclzg %v0, %v31
548 vclzg %v31, %v0
553 #CHECK: vclzh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x53]
555 #CHECK: vclzh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x53]
560 vclzh %v0, %v31
562 vclzh %v31, %v0
567 #CHECK: vctzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x52]
569 #CHECK: vctzb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x52]
574 vctzb %v0, %v31
576 vctzb %v31, %v0
581 #CHECK: vctzf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x52]
583 #CHECK: vctzf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x52]
588 vctzf %v0, %v31
590 vctzf %v31, %v0
595 #CHECK: vctzg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x52]
597 #CHECK: vctzg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x52]
602 vctzg %v0, %v31
604 vctzg %v31, %v0
609 #CHECK: vctzh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x52]
611 #CHECK: vctzh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x52]
616 vctzh %v0, %v31
618 vctzh %v31, %v0
623 #CHECK: vecb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdb]
625 #CHECK: vecb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdb]
630 vecb %v0, %v31
632 vecb %v31, %v0
637 #CHECK: vecf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xdb]
639 #CHECK: vecf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xdb]
644 vecf %v0, %v31
646 vecf %v31, %v0
651 #CHECK: vecg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xdb]
653 #CHECK: vecg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xdb]
658 vecg %v0, %v31
660 vecg %v31, %v0
665 #CHECK: vech %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xdb]
667 #CHECK: vech %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xdb]
672 vech %v0, %v31
674 vech %v31, %v0
679 #CHECK: veclb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd9]
681 #CHECK: veclb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd9]
686 veclb %v0, %v31
688 veclb %v31, %v0
693 #CHECK: veclf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd9]
695 #CHECK: veclf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd9]
700 veclf %v0, %v31
702 veclf %v31, %v0
707 #CHECK: veclg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xd9]
709 #CHECK: veclg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xd9]
714 veclg %v0, %v31
716 veclg %v31, %v0
721 #CHECK: veclh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd9]
723 #CHECK: veclh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd9]
728 veclh %v0, %v31
730 veclh %v31, %v0
735 #CHECK: verimb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x72]
736 #CHECK: verimb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x72]
737 #CHECK: verimb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x72]
742 verimb %v0, %v0, %v31, 0
743 verimb %v0, %v31, %v0, 0
744 verimb %v31, %v0, %v0, 0
749 #CHECK: verimf %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x72]
750 #CHECK: verimf %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x72]
751 #CHECK: verimf %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x72]
756 verimf %v0, %v0, %v31, 0
757 verimf %v0, %v31, %v0, 0
758 verimf %v31, %v0, %v0, 0
763 #CHECK: verimg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x72]
764 #CHECK: verimg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x72]
765 #CHECK: verimg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x72]
770 verimg %v0, %v0, %v31, 0
771 verimg %v0, %v31, %v0, 0
772 verimg %v31, %v0, %v0, 0
777 #CHECK: verimh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x72]
778 #CHECK: verimh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x72]
779 #CHECK: verimh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x72]
784 verimh %v0, %v0, %v31, 0
785 verimh %v0, %v31, %v0, 0
786 verimh %v31, %v0, %v0, 0
790 #CHECK: verllvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x73]
791 #CHECK: verllvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x73]
792 #CHECK: verllvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x73]
796 verllvb %v0, %v0, %v31
797 verllvb %v0, %v31, %v0
798 verllvb %v31, %v0, %v0
802 #CHECK: verllvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x73]
803 #CHECK: verllvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x73]
804 #CHECK: verllvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x73]
808 verllvf %v0, %v0, %v31
809 verllvf %v0, %v31, %v0
810 verllvf %v31, %v0, %v0
814 #CHECK: verllvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x73]
815 #CHECK: verllvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x73]
816 #CHECK: verllvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x73]
820 verllvg %v0, %v0, %v31
821 verllvg %v0, %v31, %v0
822 verllvg %v31, %v0, %v0
826 #CHECK: verllvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x73]
827 #CHECK: verllvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x73]
828 #CHECK: verllvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x73]
832 verllvh %v0, %v0, %v31
833 verllvh %v0, %v31, %v0
834 verllvh %v31, %v0, %v0
840 #CHECK: verllb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x33]
841 #CHECK: verllb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x33]
847 verllb %v0, %v31, 0
848 verllb %v31, %v0, 0
854 #CHECK: verllf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x33]
855 #CHECK: verllf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x33]
861 verllf %v0, %v31, 0
862 verllf %v31, %v0, 0
868 #CHECK: verllg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x33]
869 #CHECK: verllg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x33]
875 verllg %v0, %v31, 0
876 verllg %v31, %v0, 0
882 #CHECK: verllh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x33]
883 #CHECK: verllh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x33]
889 verllh %v0, %v31, 0
890 verllh %v31, %v0, 0
894 #CHECK: veslvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x70]
895 #CHECK: veslvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x70]
896 #CHECK: veslvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x70]
900 veslvb %v0, %v0, %v31
901 veslvb %v0, %v31, %v0
902 veslvb %v31, %v0, %v0
906 #CHECK: veslvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x70]
907 #CHECK: veslvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x70]
908 #CHECK: veslvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x70]
912 veslvf %v0, %v0, %v31
913 veslvf %v0, %v31, %v0
914 veslvf %v31, %v0, %v0
918 #CHECK: veslvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x70]
919 #CHECK: veslvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x70]
920 #CHECK: veslvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x70]
924 veslvg %v0, %v0, %v31
925 veslvg %v0, %v31, %v0
926 veslvg %v31, %v0, %v0
930 #CHECK: veslvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x70]
931 #CHECK: veslvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x70]
932 #CHECK: veslvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x70]
936 veslvh %v0, %v0, %v31
937 veslvh %v0, %v31, %v0
938 veslvh %v31, %v0, %v0
944 #CHECK: veslb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x30]
945 #CHECK: veslb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x30]
951 veslb %v0, %v31, 0
952 veslb %v31, %v0, 0
958 #CHECK: veslf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x30]
959 #CHECK: veslf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x30]
965 veslf %v0, %v31, 0
966 veslf %v31, %v0, 0
972 #CHECK: veslg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x30]
973 #CHECK: veslg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x30]
979 veslg %v0, %v31, 0
980 veslg %v31, %v0, 0
986 #CHECK: veslh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x30]
987 #CHECK: veslh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x30]
993 veslh %v0, %v31, 0
994 veslh %v31, %v0, 0
998 #CHECK: vesravb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7a]
999 #CHECK: vesravb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7a]
1000 #CHECK: vesravb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7a]
1004 vesravb %v0, %v0, %v31
1005 vesravb %v0, %v31, %v0
1006 vesravb %v31, %v0, %v0
1010 #CHECK: vesravf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x7a]
1011 #CHECK: vesravf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x7a]
1012 #CHECK: vesravf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x7a]
1016 vesravf %v0, %v0, %v31
1017 vesravf %v0, %v31, %v0
1018 vesravf %v31, %v0, %v0
1022 #CHECK: vesravg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x7a]
1023 #CHECK: vesravg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x7a]
1024 #CHECK: vesravg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x7a]
1028 vesravg %v0, %v0, %v31
1029 vesravg %v0, %v31, %v0
1030 vesravg %v31, %v0, %v0
1034 #CHECK: vesravh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x7a]
1035 #CHECK: vesravh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x7a]
1036 #CHECK: vesravh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x7a]
1040 vesravh %v0, %v0, %v31
1041 vesravh %v0, %v31, %v0
1042 vesravh %v31, %v0, %v0
1048 #CHECK: vesrab %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3a]
1049 #CHECK: vesrab %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3a]
1055 vesrab %v0, %v31, 0
1056 vesrab %v31, %v0, 0
1062 #CHECK: vesraf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x3a]
1063 #CHECK: vesraf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x3a]
1069 vesraf %v0, %v31, 0
1070 vesraf %v31, %v0, 0
1076 #CHECK: vesrag %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x3a]
1077 #CHECK: vesrag %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x3a]
1083 vesrag %v0, %v31, 0
1084 vesrag %v31, %v0, 0
1090 #CHECK: vesrah %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x3a]
1091 #CHECK: vesrah %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x3a]
1097 vesrah %v0, %v31, 0
1098 vesrah %v31, %v0, 0
1102 #CHECK: vesrlvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x78]
1103 #CHECK: vesrlvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x78]
1104 #CHECK: vesrlvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x78]
1108 vesrlvb %v0, %v0, %v31
1109 vesrlvb %v0, %v31, %v0
1110 vesrlvb %v31, %v0, %v0
1114 #CHECK: vesrlvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x78]
1115 #CHECK: vesrlvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x78]
1116 #CHECK: vesrlvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x78]
1120 vesrlvf %v0, %v0, %v31
1121 vesrlvf %v0, %v31, %v0
1122 vesrlvf %v31, %v0, %v0
1126 #CHECK: vesrlvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x78]
1127 #CHECK: vesrlvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x78]
1128 #CHECK: vesrlvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x78]
1132 vesrlvg %v0, %v0, %v31
1133 vesrlvg %v0, %v31, %v0
1134 vesrlvg %v31, %v0, %v0
1138 #CHECK: vesrlvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x78]
1139 #CHECK: vesrlvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x78]
1140 #CHECK: vesrlvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x78]
1144 vesrlvh %v0, %v0, %v31
1145 vesrlvh %v0, %v31, %v0
1146 vesrlvh %v31, %v0, %v0
1152 #CHECK: vesrlb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x38]
1153 #CHECK: vesrlb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x38]
1159 vesrlb %v0, %v31, 0
1160 vesrlb %v31, %v0, 0
1166 #CHECK: vesrlf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x38]
1167 #CHECK: vesrlf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x38]
1173 vesrlf %v0, %v31, 0
1174 vesrlf %v31, %v0, 0
1180 #CHECK: vesrlg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x38]
1181 #CHECK: vesrlg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x38]
1187 vesrlg %v0, %v31, 0
1188 vesrlg %v31, %v0, 0
1194 #CHECK: vesrlh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x38]
1195 #CHECK: vesrlh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x38]
1201 vesrlh %v0, %v31, 0
1202 vesrlh %v31, %v0, 0
1206 #CHECK: vfadb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe3]
1207 #CHECK: vfadb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe3]
1208 #CHECK: vfadb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe3]
1212 vfadb %v0, %v0, %v31
1213 vfadb %v0, %v31, %v0
1214 vfadb %v31, %v0, %v0
1221 #CHECK: vfaeb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x82]
1223 #CHECK: vfaeb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x82]
1225 #CHECK: vfaeb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x82]
1237 vfaeb %v0, %v0, %v31
1239 vfaeb %v0, %v31, %v0
1241 vfaeb %v31, %v0, %v0
1253 #CHECK: vfaef %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x82]
1255 #CHECK: vfaef %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x82]
1257 #CHECK: vfaef %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x82]
1269 vfaef %v0, %v0, %v31
1271 vfaef %v0, %v31, %v0
1273 vfaef %v31, %v0, %v0
1285 #CHECK: vfaeh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x82]
1287 #CHECK: vfaeh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x82]
1289 #CHECK: vfaeh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x82]
1301 vfaeh %v0, %v0, %v31
1303 vfaeh %v0, %v31, %v0
1305 vfaeh %v31, %v0, %v0
1314 #CHECK: vfcedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe8]
1315 #CHECK: vfcedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe8]
1316 #CHECK: vfcedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe8]
1320 vfcedb %v0, %v0, %v31
1321 vfcedb %v0, %v31, %v0
1322 vfcedb %v31, %v0, %v0
1326 #CHECK: vfcedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xe8]
1327 #CHECK: vfcedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xe8]
1328 #CHECK: vfcedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xe8]
1332 vfcedbs %v0, %v0, %v31
1333 vfcedbs %v0, %v31, %v0
1334 vfcedbs %v31, %v0, %v0
1338 #CHECK: vfchdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xeb]
1339 #CHECK: vfchdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xeb]
1340 #CHECK: vfchdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xeb]
1344 vfchdb %v0, %v0, %v31
1345 vfchdb %v0, %v31, %v0
1346 vfchdb %v31, %v0, %v0
1350 #CHECK: vfchdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xeb]
1351 #CHECK: vfchdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xeb]
1352 #CHECK: vfchdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xeb]
1356 vfchdbs %v0, %v0, %v31
1357 vfchdbs %v0, %v31, %v0
1358 vfchdbs %v31, %v0, %v0
1362 #CHECK: vfchedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xea]
1363 #CHECK: vfchedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xea]
1364 #CHECK: vfchedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xea]
1368 vfchedb %v0, %v0, %v31
1369 vfchedb %v0, %v31, %v0
1370 vfchedb %v31, %v0, %v0
1374 #CHECK: vfchedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xea]
1375 #CHECK: vfchedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xea]
1376 #CHECK: vfchedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xea]
1380 vfchedbs %v0, %v0, %v31
1381 vfchedbs %v0, %v31, %v0
1382 vfchedbs %v31, %v0, %v0
1386 #CHECK: vfddb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe5]
1387 #CHECK: vfddb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe5]
1388 #CHECK: vfddb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe5]
1392 vfddb %v0, %v0, %v31
1393 vfddb %v0, %v31, %v0
1394 vfddb %v31, %v0, %v0
1399 #CHECK: vfeeb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x80]
1401 #CHECK: vfeeb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x80]
1403 #CHECK: vfeeb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x80]
1411 vfeeb %v0, %v0, %v31
1413 vfeeb %v0, %v31, %v0
1415 vfeeb %v31, %v0, %v0
1423 #CFECK: vfeef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x80]
1425 #CFECK: vfeef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x80]
1427 #CFECK: vfeef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x80]
1435 vfeef %v0, %v0, %v31
1437 vfeef %v0, %v31, %v0
1439 vfeef %v31, %v0, %v0
1447 #CHECK: vfeeh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x80]
1449 #CHECK: vfeeh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x80]
1451 #CHECK: vfeeh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x80]
1459 vfeeh %v0, %v0, %v31
1461 vfeeh %v0, %v31, %v0
1463 vfeeh %v31, %v0, %v0
1471 #CHECK: vfeneb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x81]
1473 #CHECK: vfeneb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x81]
1475 #CHECK: vfeneb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x81]
1483 vfeneb %v0, %v0, %v31
1485 vfeneb %v0, %v31, %v0
1487 vfeneb %v31, %v0, %v0
1495 #CFECK: vfenef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x81]
1497 #CFECK: vfenef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x81]
1499 #CFECK: vfenef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x81]
1507 vfenef %v0, %v0, %v31
1509 vfenef %v0, %v31, %v0
1511 vfenef %v31, %v0, %v0
1519 #CHECK: vfeneh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x81]
1521 #CHECK: vfeneh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x81]
1523 #CHECK: vfeneh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x81]
1531 vfeneh %v0, %v0, %v31
1533 vfeneh %v0, %v31, %v0
1535 vfeneh %v31, %v0, %v0
1545 #CHECK: vfidb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc7]
1546 #CHECK: vfidb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc7]
1553 vfidb %v0, %v31, 0, 0
1554 vfidb %v31, %v0, 0, 0
1559 #CHECK: vistrb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5c]
1561 #CHECK: vistrb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5c]
1567 vistrb %v0, %v31
1569 vistrb %v31, %v0
1575 #CBECK: vistrf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x5c]
1577 #CBECK: vistrf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x5c]
1583 vistrf %v0, %v31
1585 vistrf %v31, %v0
1591 #CHECK: vistrh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x5c]
1593 #CHECK: vistrh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x5c]
1599 vistrh %v0, %v31
1601 vistrh %v31, %v0
1607 #CHECK: vflcdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcc]
1609 #CHECK: vflcdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcc]
1614 vflcdb %v0, %v31
1616 vflcdb %v31, %v0
1621 #CHECK: vflndb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xcc]
1623 #CHECK: vflndb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xcc]
1628 vflndb %v0, %v31
1630 vflndb %v31, %v0
1635 #CHECK: vflpdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x34,0xcc]
1637 #CHECK: vflpdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x38,0xcc]
1642 vflpdb %v0, %v31
1644 vflpdb %v31, %v0
1648 #CHECK: vfmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8f]
1649 #CHECK: vfmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8f]
1650 #CHECK: vfmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x8f]
1651 #CHECK: vfmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x8f]
1655 vfmadb %v0, %v0, %v0, %v31
1656 vfmadb %v0, %v0, %v31, %v0
1657 vfmadb %v0, %v31, %v0, %v0
1658 vfmadb %v31, %v0, %v0, %v0
1662 #CHECK: vfmdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe7]
1663 #CHECK: vfmdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe7]
1664 #CHECK: vfmdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe7]
1668 vfmdb %v0, %v0, %v31
1669 vfmdb %v0, %v31, %v0
1670 vfmdb %v31, %v0, %v0
1674 #CHECK: vfmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8e]
1675 #CHECK: vfmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8e]
1676 #CHECK: vfmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x8e]
1677 #CHECK: vfmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x8e]
1681 vfmsdb %v0, %v0, %v0, %v31
1682 vfmsdb %v0, %v0, %v31, %v0
1683 vfmsdb %v0, %v31, %v0, %v0
1684 vfmsdb %v31, %v0, %v0, %v0
1688 #CHECK: vfsdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe2]
1689 #CHECK: vfsdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe2]
1690 #CHECK: vfsdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe2]
1694 vfsdb %v0, %v0, %v31
1695 vfsdb %v0, %v31, %v0
1696 vfsdb %v31, %v0, %v0
1701 #CHECK: vfsqdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xce]
1703 #CHECK: vfsqdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xce]
1708 vfsqdb %v0, %v31
1710 vfsqdb %v31, %v0
1716 #CHECK: vftcidb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x4a]
1718 #CHECK: vftcidb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x4a]
1724 vftcidb %v0, %v31, 0
1726 vftcidb %v31, %v0, 0
1732 #CHECK: vgbm %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x44]
1738 vgbm %v31, 0
1746 #CHECK: vgef %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x13]
1749 #CHECK: vgef %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x13]
1757 vgef %v0, 0(%v31,%r1), 0
1760 vgef %v31, 0(%v0,%r1), 0
1768 #CHECK: vgeg %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x12]
1771 #CHECK: vgeg %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x12]
1779 vgeg %v0, 0(%v31,%r1), 0
1782 vgeg %v31, 0(%v0,%r1), 0
1786 #CHECK: vgfmab %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbc]
1787 #CHECK: vgfmab %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbc]
1788 #CHECK: vgfmab %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbc]
1789 #CHECK: vgfmab %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbc]
1793 vgfmab %v0, %v0, %v0, %v31
1794 vgfmab %v0, %v0, %v31, %v0
1795 vgfmab %v0, %v31, %v0, %v0
1796 vgfmab %v31, %v0, %v0, %v0
1800 #CHECK: vgfmaf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xbc]
1801 #CHECK: vgfmaf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xbc]
1802 #CHECK: vgfmaf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xbc]
1803 #CHECK: vgfmaf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xbc]
1807 vgfmaf %v0, %v0, %v0, %v31
1808 vgfmaf %v0, %v0, %v31, %v0
1809 vgfmaf %v0, %v31, %v0, %v0
1810 vgfmaf %v31, %v0, %v0, %v0
1814 #CHECK: vgfmag %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xbc]
1815 #CHECK: vgfmag %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xbc]
1816 #CHECK: vgfmag %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xbc]
1817 #CHECK: vgfmag %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xbc]
1821 vgfmag %v0, %v0, %v0, %v31
1822 vgfmag %v0, %v0, %v31, %v0
1823 vgfmag %v0, %v31, %v0, %v0
1824 vgfmag %v31, %v0, %v0, %v0
1828 #CHECK: vgfmah %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xbc]
1829 #CHECK: vgfmah %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xbc]
1830 #CHECK: vgfmah %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xbc]
1831 #CHECK: vgfmah %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xbc]
1835 vgfmah %v0, %v0, %v0, %v31
1836 vgfmah %v0, %v0, %v31, %v0
1837 vgfmah %v0, %v31, %v0, %v0
1838 vgfmah %v31, %v0, %v0, %v0
1842 #CHECK: vgfmb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb4]
1843 #CHECK: vgfmb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb4]
1844 #CHECK: vgfmb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb4]
1848 vgfmb %v0, %v0, %v31
1849 vgfmb %v0, %v31, %v0
1850 vgfmb %v31, %v0, %v0
1854 #CHECK: vgfmf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xb4]
1855 #CHECK: vgfmf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xb4]
1856 #CHECK: vgfmf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xb4]
1860 vgfmf %v0, %v0, %v31
1861 vgfmf %v0, %v31, %v0
1862 vgfmf %v31, %v0, %v0
1866 #CHECK: vgfmg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xb4]
1867 #CHECK: vgfmg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xb4]
1868 #CHECK: vgfmg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xb4]
1872 vgfmg %v0, %v0, %v31
1873 vgfmg %v0, %v31, %v0
1874 vgfmg %v31, %v0, %v0
1878 #CHECK: vgfmh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xb4]
1879 #CHECK: vgfmh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xb4]
1880 #CHECK: vgfmh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xb4]
1884 vgfmh %v0, %v0, %v31
1885 vgfmh %v0, %v31, %v0
1886 vgfmh %v31, %v0, %v0
1893 #CHECK: vgmb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x46]
1900 vgmb %v31, 0, 0
1907 #CHECK: vgmf %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x46]
1914 vgmf %v31, 0, 0
1921 #CHECK: vgmg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x46]
1928 vgmg %v31, 0, 0
1935 #CHECK: vgmh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x46]
1942 vgmh %v31, 0, 0
1950 #CHECK: vl %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x06]
1958 vl %v31, 0
1967 #CHECK: vlbb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x07]
1976 vlbb %v31, 0, 0
1981 #CHECK: vlcb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xde]
1983 #CHECK: vlcb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xde]
1988 vlcb %v0, %v31
1990 vlcb %v31, %v0
1995 #CHECK: vlcf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xde]
1997 #CHECK: vlcf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xde]
2002 vlcf %v0, %v31
2004 vlcf %v31, %v0
2009 #CHECK: vlcg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xde]
2011 #CHECK: vlcg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xde]
2016 vlcg %v0, %v31
2018 vlcg %v31, %v0
2023 #CHECK: vlch %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xde]
2025 #CHECK: vlch %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xde]
2030 vlch %v0, %v31
2032 vlch %v31, %v0
2037 #CHECK: vldeb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
2039 #CHECK: vldeb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
2044 vldeb %v0, %v31
2046 vldeb %v31, %v0
2055 #CHECK: vleb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x00]
2064 vleb %v31, 0, 0
2071 #CHECK: vledb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
2072 #CHECK: vledb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
2079 vledb %v0, %v31, 0, 0
2080 vledb %v31, %v0, 0, 0
2089 #CHECK: vlef %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x03]
2098 vlef %v31, 0, 0
2107 #CHECK: vleg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x02]
2116 vleg %v31, 0, 0
2125 #CHECK: vleh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x01]
2134 vleh %v31, 0, 0
2142 #CHECK: vleib %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x40]
2150 vleib %v31, 0, 0
2158 #CHECK: vleif %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x43]
2166 vleif %v31, 0, 0
2174 #CHECK: vleig %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x42]
2182 vleig %v31, 0, 0
2190 #CHECK: vleih %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x41]
2198 vleih %v31, 0, 0
2205 #CHECK: vlgvb %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x21]
2213 vlgvb %r0, %v31, 0
2221 #CHECK: vlgvf %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x21]
2229 vlgvf %r0, %v31, 0
2237 #CHECK: vlgvg %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x21]
2245 vlgvg %r0, %v31, 0
2253 #CHECK: vlgvh %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x21]
2261 vlgvh %r0, %v31, 0
2270 #CHECK: vll %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x37]
2278 vll %v31, %r0, 0
2286 #CHECK: vllezb %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x04]
2294 vllezb %v31, 0
2302 #CHECK: vllezf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x04]
2310 vllezf %v31, 0
2318 #CHECK: vllezg %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x04]
2326 vllezg %v31, 0
2334 #CHECK: vllezh %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x04]
2342 vllezh %v31, 0
2348 #CHECK: vlm %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x36]
2349 #CHECK: vlm %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x36]
2355 vlm %v0, %v31, 0
2356 vlm %v31, %v0, 0
2361 #CHECK: vlpb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdf]
2363 #CHECK: vlpb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdf]
2368 vlpb %v0, %v31
2370 vlpb %v31, %v0
2375 #CHECK: vlpf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xdf]
2377 #CHECK: vlpf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xdf]
2382 vlpf %v0, %v31
2384 vlpf %v31, %v0
2389 #CHECK: vlpg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xdf]
2391 #CHECK: vlpg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xdf]
2396 vlpg %v0, %v31
2398 vlpg %v31, %v0
2403 #CHECK: vlph %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xdf]
2405 #CHECK: vlph %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xdf]
2410 vlph %v0, %v31
2412 vlph %v31, %v0
2417 #CHECK: vlr %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x56]
2419 #CHECK: vlr %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x56]
2424 vlr %v0, %v31
2426 vlr %v31, %v0
2434 #CHECK: vlrepb %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x05]
2442 vlrepb %v31, 0
2450 #CHECK: vlrepf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x05]
2458 vlrepf %v31, 0
2466 #CHECK: vlrepg %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x05]
2474 vlrepg %v31, 0
2482 #CHECK: vlreph %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x05]
2490 vlreph %v31, 0
2498 #CHECK: vlvgb %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x22]
2506 vlvgb %v31, %r0, 0
2514 #CHECK: vlvgf %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x22]
2522 vlvgf %v31, %r0, 0
2530 #CHECK: vlvgg %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x22]
2538 vlvgg %v31, %r0, 0
2546 #CHECK: vlvgh %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x22]
2554 vlvgh %v31, %r0, 0
2561 #CHECK: vlvgp %v31, %r0, %r0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x62]
2568 vlvgp %v31, %r0, %r0
2572 #CHECK: vmaeb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xae]
2573 #CHECK: vmaeb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xae]
2574 #CHECK: vmaeb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xae]
2575 #CHECK: vmaeb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xae]
2579 vmaeb %v0, %v0, %v0, %v31
2580 vmaeb %v0, %v0, %v31, %v0
2581 vmaeb %v0, %v31, %v0, %v0
2582 vmaeb %v31, %v0, %v0, %v0
2586 #CHECK: vmaef %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xae]
2587 #CHECK: vmaef %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xae]
2588 #CHECK: vmaef %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xae]
2589 #CHECK: vmaef %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xae]
2593 vmaef %v0, %v0, %v0, %v31
2594 vmaef %v0, %v0, %v31, %v0
2595 vmaef %v0, %v31, %v0, %v0
2596 vmaef %v31, %v0, %v0, %v0
2600 #CHECK: vmaeh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xae]
2601 #CHECK: vmaeh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xae]
2602 #CHECK: vmaeh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xae]
2603 #CHECK: vmaeh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xae]
2607 vmaeh %v0, %v0, %v0, %v31
2608 vmaeh %v0, %v0, %v31, %v0
2609 vmaeh %v0, %v31, %v0, %v0
2610 vmaeh %v31, %v0, %v0, %v0
2614 #CHECK: vmahb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xab]
2615 #CHECK: vmahb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xab]
2616 #CHECK: vmahb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xab]
2617 #CHECK: vmahb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xab]
2621 vmahb %v0, %v0, %v0, %v31
2622 vmahb %v0, %v0, %v31, %v0
2623 vmahb %v0, %v31, %v0, %v0
2624 vmahb %v31, %v0, %v0, %v0
2628 #CHECK: vmahf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xab]
2629 #CHECK: vmahf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xab]
2630 #CHECK: vmahf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xab]
2631 #CHECK: vmahf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xab]
2635 vmahf %v0, %v0, %v0, %v31
2636 vmahf %v0, %v0, %v31, %v0
2637 vmahf %v0, %v31, %v0, %v0
2638 vmahf %v31, %v0, %v0, %v0
2642 #CHECK: vmahh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xab]
2643 #CHECK: vmahh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xab]
2644 #CHECK: vmahh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xab]
2645 #CHECK: vmahh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xab]
2649 vmahh %v0, %v0, %v0, %v31
2650 vmahh %v0, %v0, %v31, %v0
2651 vmahh %v0, %v31, %v0, %v0
2652 vmahh %v31, %v0, %v0, %v0
2656 #CHECK: vmalb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaa]
2657 #CHECK: vmalb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaa]
2658 #CHECK: vmalb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaa]
2659 #CHECK: vmalb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaa]
2663 vmalb %v0, %v0, %v0, %v31
2664 vmalb %v0, %v0, %v31, %v0
2665 vmalb %v0, %v31, %v0, %v0
2666 vmalb %v31, %v0, %v0, %v0
2670 #CHECK: vmaleb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xac]
2671 #CHECK: vmaleb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xac]
2672 #CHECK: vmaleb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xac]
2673 #CHECK: vmaleb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xac]
2677 vmaleb %v0, %v0, %v0, %v31
2678 vmaleb %v0, %v0, %v31, %v0
2679 vmaleb %v0, %v31, %v0, %v0
2680 vmaleb %v31, %v0, %v0, %v0
2684 #CHECK: vmalef %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xac]
2685 #CHECK: vmalef %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xac]
2686 #CHECK: vmalef %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xac]
2687 #CHECK: vmalef %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xac]
2691 vmalef %v0, %v0, %v0, %v31
2692 vmalef %v0, %v0, %v31, %v0
2693 vmalef %v0, %v31, %v0, %v0
2694 vmalef %v31, %v0, %v0, %v0
2698 #CHECK: vmaleh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xac]
2699 #CHECK: vmaleh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xac]
2700 #CHECK: vmaleh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xac]
2701 #CHECK: vmaleh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xac]
2705 vmaleh %v0, %v0, %v0, %v31
2706 vmaleh %v0, %v0, %v31, %v0
2707 vmaleh %v0, %v31, %v0, %v0
2708 vmaleh %v31, %v0, %v0, %v0
2712 #CHECK: vmalf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xaa]
2713 #CHECK: vmalf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xaa]
2714 #CHECK: vmalf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xaa]
2715 #CHECK: vmalf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xaa]
2719 vmalf %v0, %v0, %v0, %v31
2720 vmalf %v0, %v0, %v31, %v0
2721 vmalf %v0, %v31, %v0, %v0
2722 vmalf %v31, %v0, %v0, %v0
2726 #CHECK: vmalhb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xa9]
2727 #CHECK: vmalhb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa9]
2728 #CHECK: vmalhb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa9]
2729 #CHECK: vmalhb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa9]
2733 vmalhb %v0, %v0, %v0, %v31
2734 vmalhb %v0, %v0, %v31, %v0
2735 vmalhb %v0, %v31, %v0, %v0
2736 vmalhb %v31, %v0, %v0, %v0
2740 #CHECK: vmalhf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xa9]
2741 #CHECK: vmalhf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xa9]
2742 #CHECK: vmalhf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xa9]
2743 #CHECK: vmalhf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xa9]
2747 vmalhf %v0, %v0, %v0, %v31
2748 vmalhf %v0, %v0, %v31, %v0
2749 vmalhf %v0, %v31, %v0, %v0
2750 vmalhf %v31, %v0, %v0, %v0
2754 #CHECK: vmalhh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xa9]
2755 #CHECK: vmalhh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xa9]
2756 #CHECK: vmalhh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xa9]
2757 #CHECK: vmalhh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xa9]
2761 vmalhh %v0, %v0, %v0, %v31
2762 vmalhh %v0, %v0, %v31, %v0
2763 vmalhh %v0, %v31, %v0, %v0
2764 vmalhh %v31, %v0, %v0, %v0
2768 #CHECK: vmalhw %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xaa]
2769 #CHECK: vmalhw %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xaa]
2770 #CHECK: vmalhw %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xaa]
2771 #CHECK: vmalhw %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xaa]
2775 vmalhw %v0, %v0, %v0, %v31
2776 vmalhw %v0, %v0, %v31, %v0
2777 vmalhw %v0, %v31, %v0, %v0
2778 vmalhw %v31, %v0, %v0, %v0
2782 #CHECK: vmalob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xad]
2783 #CHECK: vmalob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xad]
2784 #CHECK: vmalob %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xad]
2785 #CHECK: vmalob %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xad]
2789 vmalob %v0, %v0, %v0, %v31
2790 vmalob %v0, %v0, %v31, %v0
2791 vmalob %v0, %v31, %v0, %v0
2792 vmalob %v31, %v0, %v0, %v0
2796 #CHECK: vmalof %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xad]
2797 #CHECK: vmalof %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xad]
2798 #CHECK: vmalof %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xad]
2799 #CHECK: vmalof %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xad]
2803 vmalof %v0, %v0, %v0, %v31
2804 vmalof %v0, %v0, %v31, %v0
2805 vmalof %v0, %v31, %v0, %v0
2806 vmalof %v31, %v0, %v0, %v0
2810 #CHECK: vmaloh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xad]
2811 #CHECK: vmaloh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xad]
2812 #CHECK: vmaloh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xad]
2813 #CHECK: vmaloh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xad]
2817 vmaloh %v0, %v0, %v0, %v31
2818 vmaloh %v0, %v0, %v31, %v0
2819 vmaloh %v0, %v31, %v0, %v0
2820 vmaloh %v31, %v0, %v0, %v0
2824 #CHECK: vmaob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaf]
2825 #CHECK: vmaob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaf]
2826 #CHECK: vmaob %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaf]
2827 #CHECK: vmaob %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaf]
2831 vmaob %v0, %v0, %v0, %v31
2832 vmaob %v0, %v0, %v31, %v0
2833 vmaob %v0, %v31, %v0, %v0
2834 vmaob %v31, %v0, %v0, %v0
2838 #CHECK: vmaof %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xaf]
2839 #CHECK: vmaof %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xaf]
2840 #CHECK: vmaof %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xaf]
2841 #CHECK: vmaof %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xaf]
2845 vmaof %v0, %v0, %v0, %v31
2846 vmaof %v0, %v0, %v31, %v0
2847 vmaof %v0, %v31, %v0, %v0
2848 vmaof %v31, %v0, %v0, %v0
2852 #CHECK: vmaoh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xaf]
2853 #CHECK: vmaoh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xaf]
2854 #CHECK: vmaoh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xaf]
2855 #CHECK: vmaoh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xaf]
2859 vmaoh %v0, %v0, %v0, %v31
2860 vmaoh %v0, %v0, %v31, %v0
2861 vmaoh %v0, %v31, %v0, %v0
2862 vmaoh %v31, %v0, %v0, %v0
2866 #CHECK: vmeb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa6]
2867 #CHECK: vmeb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa6]
2868 #CHECK: vmeb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa6]
2872 vmeb %v0, %v0, %v31
2873 vmeb %v0, %v31, %v0
2874 vmeb %v31, %v0, %v0
2878 #CHECK: vmef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa6]
2879 #CHECK: vmef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa6]
2880 #CHECK: vmef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa6]
2884 vmef %v0, %v0, %v31
2885 vmef %v0, %v31, %v0
2886 vmef %v31, %v0, %v0
2890 #CHECK: vmeh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa6]
2891 #CHECK: vmeh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa6]
2892 #CHECK: vmeh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa6]
2896 vmeh %v0, %v0, %v31
2897 vmeh %v0, %v31, %v0
2898 vmeh %v31, %v0, %v0
2902 #CHECK: vmhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa3]
2903 #CHECK: vmhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa3]
2904 #CHECK: vmhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa3]
2908 vmhb %v0, %v0, %v31
2909 vmhb %v0, %v31, %v0
2910 vmhb %v31, %v0, %v0
2914 #CHECK: vmhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa3]
2915 #CHECK: vmhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa3]
2916 #CHECK: vmhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa3]
2920 vmhf %v0, %v0, %v31
2921 vmhf %v0, %v31, %v0
2922 vmhf %v31, %v0, %v0
2926 #CHECK: vmhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa3]
2927 #CHECK: vmhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa3]
2928 #CHECK: vmhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa3]
2932 vmhh %v0, %v0, %v31
2933 vmhh %v0, %v31, %v0
2934 vmhh %v31, %v0, %v0
2938 #CHECK: vmlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa2]
2939 #CHECK: vmlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa2]
2940 #CHECK: vmlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa2]
2944 vmlb %v0, %v0, %v31
2945 vmlb %v0, %v31, %v0
2946 vmlb %v31, %v0, %v0
2950 #CHECK: vmleb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa4]
2951 #CHECK: vmleb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa4]
2952 #CHECK: vmleb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa4]
2956 vmleb %v0, %v0, %v31
2957 vmleb %v0, %v31, %v0
2958 vmleb %v31, %v0, %v0
2962 #CHECK: vmlef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa4]
2963 #CHECK: vmlef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa4]
2964 #CHECK: vmlef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa4]
2968 vmlef %v0, %v0, %v31
2969 vmlef %v0, %v31, %v0
2970 vmlef %v31, %v0, %v0
2974 #CHECK: vmleh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa4]
2975 #CHECK: vmleh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa4]
2976 #CHECK: vmleh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa4]
2980 vmleh %v0, %v0, %v31
2981 vmleh %v0, %v31, %v0
2982 vmleh %v31, %v0, %v0
2986 #CHECK: vmlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa2]
2987 #CHECK: vmlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa2]
2988 #CHECK: vmlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa2]
2992 vmlf %v0, %v0, %v31
2993 vmlf %v0, %v31, %v0
2994 vmlf %v31, %v0, %v0
2998 #CHECK: vmlhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa1]
2999 #CHECK: vmlhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa1]
3000 #CHECK: vmlhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa1]
3004 vmlhb %v0, %v0, %v31
3005 vmlhb %v0, %v31, %v0
3006 vmlhb %v31, %v0, %v0
3010 #CHECK: vmlhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa1]
3011 #CHECK: vmlhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa1]
3012 #CHECK: vmlhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa1]
3016 vmlhf %v0, %v0, %v31
3017 vmlhf %v0, %v31, %v0
3018 vmlhf %v31, %v0, %v0
3022 #CHECK: vmlhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa1]
3023 #CHECK: vmlhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa1]
3024 #CHECK: vmlhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa1]
3028 vmlhh %v0, %v0, %v31
3029 vmlhh %v0, %v31, %v0
3030 vmlhh %v31, %v0, %v0
3034 #CHECK: vmlhw %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa2]
3035 #CHECK: vmlhw %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa2]
3036 #CHECK: vmlhw %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa2]
3040 vmlhw %v0, %v0, %v31
3041 vmlhw %v0, %v31, %v0
3042 vmlhw %v31, %v0, %v0
3046 #CHECK: vmlob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa5]
3047 #CHECK: vmlob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa5]
3048 #CHECK: vmlob %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa5]
3052 vmlob %v0, %v0, %v31
3053 vmlob %v0, %v31, %v0
3054 vmlob %v31, %v0, %v0
3058 #CHECK: vmlof %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa5]
3059 #CHECK: vmlof %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa5]
3060 #CHECK: vmlof %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa5]
3064 vmlof %v0, %v0, %v31
3065 vmlof %v0, %v31, %v0
3066 vmlof %v31, %v0, %v0
3070 #CHECK: vmloh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa5]
3071 #CHECK: vmloh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa5]
3072 #CHECK: vmloh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa5]
3076 vmloh %v0, %v0, %v31
3077 vmloh %v0, %v31, %v0
3078 vmloh %v31, %v0, %v0
3082 #CHECK: vmnb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfe]
3083 #CHECK: vmnb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfe]
3084 #CHECK: vmnb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfe]
3088 vmnb %v0, %v0, %v31
3089 vmnb %v0, %v31, %v0
3090 vmnb %v31, %v0, %v0
3094 #CHECK: vmnf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfe]
3095 #CHECK: vmnf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfe]
3096 #CHECK: vmnf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfe]
3100 vmnf %v0, %v0, %v31
3101 vmnf %v0, %v31, %v0
3102 vmnf %v31, %v0, %v0
3106 #CHECK: vmng %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfe]
3107 #CHECK: vmng %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfe]
3108 #CHECK: vmng %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfe]
3112 vmng %v0, %v0, %v31
3113 vmng %v0, %v31, %v0
3114 vmng %v31, %v0, %v0
3118 #CHECK: vmnh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfe]
3119 #CHECK: vmnh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfe]
3120 #CHECK: vmnh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfe]
3124 vmnh %v0, %v0, %v31
3125 vmnh %v0, %v31, %v0
3126 vmnh %v31, %v0, %v0
3130 #CHECK: vmnlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfc]
3131 #CHECK: vmnlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfc]
3132 #CHECK: vmnlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfc]
3136 vmnlb %v0, %v0, %v31
3137 vmnlb %v0, %v31, %v0
3138 vmnlb %v31, %v0, %v0
3142 #CHECK: vmnlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfc]
3143 #CHECK: vmnlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfc]
3144 #CHECK: vmnlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfc]
3148 vmnlf %v0, %v0, %v31
3149 vmnlf %v0, %v31, %v0
3150 vmnlf %v31, %v0, %v0
3154 #CHECK: vmnlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfc]
3155 #CHECK: vmnlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfc]
3156 #CHECK: vmnlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfc]
3160 vmnlg %v0, %v0, %v31
3161 vmnlg %v0, %v31, %v0
3162 vmnlg %v31, %v0, %v0
3166 #CHECK: vmnlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfc]
3167 #CHECK: vmnlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfc]
3168 #CHECK: vmnlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfc]
3172 vmnlh %v0, %v0, %v31
3173 vmnlh %v0, %v31, %v0
3174 vmnlh %v31, %v0, %v0
3178 #CHECK: vmob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa7]
3179 #CHECK: vmob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa7]
3180 #CHECK: vmob %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa7]
3184 vmob %v0, %v0, %v31
3185 vmob %v0, %v31, %v0
3186 vmob %v31, %v0, %v0
3190 #CHECK: vmof %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa7]
3191 #CHECK: vmof %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa7]
3192 #CHECK: vmof %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa7]
3196 vmof %v0, %v0, %v31
3197 vmof %v0, %v31, %v0
3198 vmof %v31, %v0, %v0
3202 #CHECK: vmoh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa7]
3203 #CHECK: vmoh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa7]
3204 #CHECK: vmoh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa7]
3208 vmoh %v0, %v0, %v31
3209 vmoh %v0, %v31, %v0
3210 vmoh %v31, %v0, %v0
3215 #CHECK: vmrhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x61]
3217 #CHECK: vmrhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x61]
3219 #CHECK: vmrhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x61]
3224 vmrhb %v0, %v0, %v31
3226 vmrhb %v0, %v31, %v0
3228 vmrhb %v31, %v0, %v0
3233 #CHECK: vmrhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x61]
3235 #CHECK: vmrhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x61]
3237 #CHECK: vmrhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x61]
3242 vmrhf %v0, %v0, %v31
3244 vmrhf %v0, %v31, %v0
3246 vmrhf %v31, %v0, %v0
3251 #CHECK: vmrhg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x61]
3253 #CHECK: vmrhg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x61]
3255 #CHECK: vmrhg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x61]
3260 vmrhg %v0, %v0, %v31
3262 vmrhg %v0, %v31, %v0
3264 vmrhg %v31, %v0, %v0
3269 #CHECK: vmrhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x61]
3271 #CHECK: vmrhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x61]
3273 #CHECK: vmrhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x61]
3278 vmrhh %v0, %v0, %v31
3280 vmrhh %v0, %v31, %v0
3282 vmrhh %v31, %v0, %v0
3287 #CHECK: vmrlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x60]
3289 #CHECK: vmrlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x60]
3291 #CHECK: vmrlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x60]
3296 vmrlb %v0, %v0, %v31
3298 vmrlb %v0, %v31, %v0
3300 vmrlb %v31, %v0, %v0
3305 #CHECK: vmrlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x60]
3307 #CHECK: vmrlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x60]
3309 #CHECK: vmrlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x60]
3314 vmrlf %v0, %v0, %v31
3316 vmrlf %v0, %v31, %v0
3318 vmrlf %v31, %v0, %v0
3323 #CHECK: vmrlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x60]
3325 #CHECK: vmrlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x60]
3327 #CHECK: vmrlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x60]
3332 vmrlg %v0, %v0, %v31
3334 vmrlg %v0, %v31, %v0
3336 vmrlg %v31, %v0, %v0
3341 #CHECK: vmrlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x60]
3343 #CHECK: vmrlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x60]
3345 #CHECK: vmrlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x60]
3350 vmrlh %v0, %v0, %v31
3352 vmrlh %v0, %v31, %v0
3354 vmrlh %v31, %v0, %v0
3358 #CHECK: vmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xff]
3359 #CHECK: vmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xff]
3360 #CHECK: vmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xff]
3364 vmxb %v0, %v0, %v31
3365 vmxb %v0, %v31, %v0
3366 vmxb %v31, %v0, %v0
3370 #CHECK: vmxf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xff]
3371 #CHECK: vmxf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xff]
3372 #CHECK: vmxf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xff]
3376 vmxf %v0, %v0, %v31
3377 vmxf %v0, %v31, %v0
3378 vmxf %v31, %v0, %v0
3382 #CHECK: vmxg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xff]
3383 #CHECK: vmxg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xff]
3384 #CHECK: vmxg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xff]
3388 vmxg %v0, %v0, %v31
3389 vmxg %v0, %v31, %v0
3390 vmxg %v31, %v0, %v0
3394 #CHECK: vmxh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xff]
3395 #CHECK: vmxh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xff]
3396 #CHECK: vmxh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xff]
3400 vmxh %v0, %v0, %v31
3401 vmxh %v0, %v31, %v0
3402 vmxh %v31, %v0, %v0
3406 #CHECK: vmxlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfd]
3407 #CHECK: vmxlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfd]
3408 #CHECK: vmxlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfd]
3412 vmxlb %v0, %v0, %v31
3413 vmxlb %v0, %v31, %v0
3414 vmxlb %v31, %v0, %v0
3418 #CHECK: vmxlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfd]
3419 #CHECK: vmxlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfd]
3420 #CHECK: vmxlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfd]
3424 vmxlf %v0, %v0, %v31
3425 vmxlf %v0, %v31, %v0
3426 vmxlf %v31, %v0, %v0
3430 #CHECK: vmxlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfd]
3431 #CHECK: vmxlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfd]
3432 #CHECK: vmxlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfd]
3436 vmxlg %v0, %v0, %v31
3437 vmxlg %v0, %v31, %v0
3438 vmxlg %v31, %v0, %v0
3442 #CHECK: vmxlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfd]
3443 #CHECK: vmxlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfd]
3444 #CHECK: vmxlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfd]
3448 vmxlh %v0, %v0, %v31
3449 vmxlh %v0, %v31, %v0
3450 vmxlh %v31, %v0, %v0
3454 #CHECK: vn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x68]
3455 #CHECK: vn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x68]
3456 #CHECK: vn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x68]
3460 vn %v0, %v0, %v31
3461 vn %v0, %v31, %v0
3462 vn %v31, %v0, %v0
3466 #CHECK: vnc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x69]
3467 #CHECK: vnc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x69]
3468 #CHECK: vnc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x69]
3472 vnc %v0, %v0, %v31
3473 vnc %v0, %v31, %v0
3474 vnc %v31, %v0, %v0
3478 #CHECK: vno %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6b]
3479 #CHECK: vno %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6b]
3480 #CHECK: vno %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6b]
3484 vno %v0, %v0, %v31
3485 vno %v0, %v31, %v0
3486 vno %v31, %v0, %v0
3490 #CHECK: vo %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6a]
3491 #CHECK: vo %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6a]
3492 #CHECK: vo %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6a]
3496 vo %v0, %v0, %v31
3497 vo %v0, %v31, %v0
3498 vo %v31, %v0, %v0
3504 #CHECK: vone %v31 # encoding: [0xe7,0xf0,0xff,0xff,0x08,0x44]
3509 vone %v31
3513 #CHECK: vpdi %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x84]
3514 #CHECK: vpdi %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x84]
3515 #CHECK: vpdi %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x84]
3520 vpdi %v0, %v0, %v31, 0
3521 vpdi %v0, %v31, %v0, 0
3522 vpdi %v31, %v0, %v0, 0
3526 #CHECK: vperm %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8c]
3527 #CHECK: vperm %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8c]
3528 #CHECK: vperm %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8c]
3529 #CHECK: vperm %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8c]
3533 vperm %v0, %v0, %v0, %v31
3534 vperm %v0, %v0, %v31, %v0
3535 vperm %v0, %v31, %v0, %v0
3536 vperm %v31, %v0, %v0, %v0
3541 #CHECK: vpkf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x94]
3543 #CHECK: vpkf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x94]
3545 #CHECK: vpkf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x94]
3550 vpkf %v0, %v0, %v31
3552 vpkf %v0, %v31, %v0
3554 vpkf %v31, %v0, %v0
3559 #CHECK: vpkg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x94]
3561 #CHECK: vpkg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x94]
3563 #CHECK: vpkg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x94]
3568 vpkg %v0, %v0, %v31
3570 vpkg %v0, %v31, %v0
3572 vpkg %v31, %v0, %v0
3577 #CHECK: vpkh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x94]
3579 #CHECK: vpkh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x94]
3581 #CHECK: vpkh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x94]
3586 vpkh %v0, %v0, %v31
3588 vpkh %v0, %v31, %v0
3590 vpkh %v31, %v0, %v0
3595 #CHECK: vpklsf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x95]
3597 #CHECK: vpklsf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x95]
3599 #CHECK: vpklsf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x95]
3605 vpklsf %v0, %v0, %v31
3607 vpklsf %v0, %v31, %v0
3609 vpklsf %v31, %v0, %v0
3615 #CHECK: vpklsg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x95]
3617 #CHECK: vpklsg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x95]
3619 #CHECK: vpklsg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x95]
3625 vpklsg %v0, %v0, %v31
3627 vpklsg %v0, %v31, %v0
3629 vpklsg %v31, %v0, %v0
3635 #CHECK: vpklsh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x95]
3637 #CHECK: vpklsh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x95]
3639 #CHECK: vpklsh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x95]
3645 vpklsh %v0, %v0, %v31
3647 vpklsh %v0, %v31, %v0
3649 vpklsh %v31, %v0, %v0
3655 #CHECK: vpksf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x97]
3657 #CHECK: vpksf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x97]
3659 #CHECK: vpksf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x97]
3665 vpksf %v0, %v0, %v31
3667 vpksf %v0, %v31, %v0
3669 vpksf %v31, %v0, %v0
3675 #CHECK: vpksg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x97]
3677 #CHECK: vpksg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x97]
3679 #CHECK: vpksg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x97]
3685 vpksg %v0, %v0, %v31
3687 vpksg %v0, %v31, %v0
3689 vpksg %v31, %v0, %v0
3695 #CHECK: vpksh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x97]
3697 #CHECK: vpksh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x97]
3699 #CHECK: vpksh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x97]
3705 vpksh %v0, %v0, %v31
3707 vpksh %v0, %v31, %v0
3709 vpksh %v31, %v0, %v0
3715 #CHECK: vpopct %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
3717 #CHECK: vpopct %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
3722 vpopct %v0, %v31, 0
3724 vpopct %v31, %v0, 0
3730 #CHECK: vrepb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4d]
3732 #CHECK: vrepb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4d]
3738 vrepb %v0, %v31, 0
3740 vrepb %v31, %v0, 0
3746 #CHECK: vrepf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4d]
3748 #CHECK: vrepf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4d]
3754 vrepf %v0, %v31, 0
3756 vrepf %v31, %v0, 0
3762 #CHECK: vrepg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x4d]
3764 #CHECK: vrepg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x4d]
3770 vrepg %v0, %v31, 0
3772 vrepg %v31, %v0, 0
3778 #CHECK: vreph %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x4d]
3780 #CHECK: vreph %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x4d]
3786 vreph %v0, %v31, 0
3788 vreph %v31, %v0, 0
3795 #CHECK: vrepib %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x45]
3802 vrepib %v31, 0
3809 #CHECK: vrepif %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x45]
3816 vrepif %v31, 0
3823 #CHECK: vrepig %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x45]
3830 vrepig %v31, 0
3837 #CHECK: vrepih %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x45]
3844 vrepih %v31, 0
3848 #CHECK: vsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf7]
3849 #CHECK: vsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf7]
3850 #CHECK: vsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf7]
3854 vsb %v0, %v0, %v31
3855 vsb %v0, %v31, %v0
3856 vsb %v31, %v0, %v0
3860 #CHECK: vsbcbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbd]
3861 #CHECK: vsbcbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbd]
3862 #CHECK: vsbcbiq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbd]
3863 #CHECK: vsbcbiq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbd]
3867 vsbcbiq %v0, %v0, %v0, %v31
3868 vsbcbiq %v0, %v0, %v31, %v0
3869 vsbcbiq %v0, %v31, %v0, %v0
3870 vsbcbiq %v31, %v0, %v0, %v0
3874 #CHECK: vsbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbf]
3875 #CHECK: vsbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbf]
3876 #CHECK: vsbiq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbf]
3877 #CHECK: vsbiq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbf]
3881 vsbiq %v0, %v0, %v0, %v31
3882 vsbiq %v0, %v0, %v31, %v0
3883 vsbiq %v0, %v31, %v0, %v0
3884 vsbiq %v31, %v0, %v0, %v0
3888 #CHECK: vscbib %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf5]
3889 #CHECK: vscbib %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf5]
3890 #CHECK: vscbib %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf5]
3894 vscbib %v0, %v0, %v31
3895 vscbib %v0, %v31, %v0
3896 vscbib %v31, %v0, %v0
3900 #CHECK: vscbif %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf5]
3901 #CHECK: vscbif %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf5]
3902 #CHECK: vscbif %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf5]
3906 vscbif %v0, %v0, %v31
3907 vscbif %v0, %v31, %v0
3908 vscbif %v31, %v0, %v0
3912 #CHECK: vscbig %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf5]
3913 #CHECK: vscbig %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf5]
3914 #CHECK: vscbig %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf5]
3918 vscbig %v0, %v0, %v31
3919 vscbig %v0, %v31, %v0
3920 vscbig %v31, %v0, %v0
3924 #CHECK: vscbih %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf5]
3925 #CHECK: vscbih %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf5]
3926 #CHECK: vscbih %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf5]
3930 vscbih %v0, %v0, %v31
3931 vscbih %v0, %v31, %v0
3932 vscbih %v31, %v0, %v0
3936 #CHECK: vscbiq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf5]
3937 #CHECK: vscbiq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf5]
3938 #CHECK: vscbiq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf5]
3942 vscbiq %v0, %v0, %v31
3943 vscbiq %v0, %v31, %v0
3944 vscbiq %v31, %v0, %v0
3952 #CHECK: vscef %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x1b]
3955 #CHECK: vscef %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x1b]
3963 vscef %v0, 0(%v31,%r1), 0
3966 vscef %v31, 0(%v0,%r1), 0
3974 #CHECK: vsceg %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x1a]
3977 #CHECK: vsceg %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x1a]
3985 vsceg %v0, 0(%v31,%r1), 0
3988 vsceg %v31, 0(%v0,%r1), 0
3992 #CHECK: vsel %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8d]
3993 #CHECK: vsel %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8d]
3994 #CHECK: vsel %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8d]
3995 #CHECK: vsel %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8d]
3999 vsel %v0, %v0, %v0, %v31
4000 vsel %v0, %v0, %v31, %v0
4001 vsel %v0, %v31, %v0, %v0
4002 vsel %v31, %v0, %v0, %v0
4007 #CHECK: vsegb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5f]
4009 #CHECK: vsegb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5f]
4014 vsegb %v0, %v31
4016 vsegb %v31, %v0
4021 #CHECK: vsegf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x5f]
4023 #CHECK: vsegf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x5f]
4028 vsegf %v0, %v31
4030 vsegf %v31, %v0
4035 #CHECK: vsegh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x5f]
4037 #CHECK: vsegh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x5f]
4042 vsegh %v0, %v31
4044 vsegh %v31, %v0
4048 #CHECK: vsf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf7]
4049 #CHECK: vsf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf7]
4050 #CHECK: vsf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf7]
4054 vsf %v0, %v0, %v31
4055 vsf %v0, %v31, %v0
4056 vsf %v31, %v0, %v0
4060 #CHECK: vsg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf7]
4061 #CHECK: vsg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf7]
4062 #CHECK: vsg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf7]
4066 vsg %v0, %v0, %v31
4067 vsg %v0, %v31, %v0
4068 vsg %v31, %v0, %v0
4072 #CHECK: vsh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf7]
4073 #CHECK: vsh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf7]
4074 #CHECK: vsh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf7]
4078 vsh %v0, %v0, %v31
4079 vsh %v0, %v31, %v0
4080 vsh %v31, %v0, %v0
4084 #CHECK: vsl %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x74]
4085 #CHECK: vsl %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x74]
4086 #CHECK: vsl %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x74]
4090 vsl %v0, %v0, %v31
4091 vsl %v0, %v31, %v0
4092 vsl %v31, %v0, %v0
4096 #CHECK: vslb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x75]
4097 #CHECK: vslb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x75]
4098 #CHECK: vslb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x75]
4102 vslb %v0, %v0, %v31
4103 vslb %v0, %v31, %v0
4104 vslb %v31, %v0, %v0
4109 #CHECK: vsldb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x77]
4110 #CHECK: vsldb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x77]
4111 #CHECK: vsldb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x77]
4116 vsldb %v0, %v0, %v31, 0
4117 vsldb %v0, %v31, %v0, 0
4118 vsldb %v31, %v0, %v0, 0
4122 #CHECK: vsq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf7]
4123 #CHECK: vsq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf7]
4124 #CHECK: vsq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf7]
4128 vsq %v0, %v0, %v31
4129 vsq %v0, %v31, %v0
4130 vsq %v31, %v0, %v0
4134 #CHECK: vsra %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7e]
4135 #CHECK: vsra %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7e]
4136 #CHECK: vsra %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7e]
4140 vsra %v0, %v0, %v31
4141 vsra %v0, %v31, %v0
4142 vsra %v31, %v0, %v0
4146 #CHECK: vsrab %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7f]
4147 #CHECK: vsrab %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7f]
4148 #CHECK: vsrab %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7f]
4152 vsrab %v0, %v0, %v31
4153 vsrab %v0, %v31, %v0
4154 vsrab %v31, %v0, %v0
4158 #CHECK: vsrl %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7c]
4159 #CHECK: vsrl %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7c]
4160 #CHECK: vsrl %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7c]
4164 vsrl %v0, %v0, %v31
4165 vsrl %v0, %v31, %v0
4166 vsrl %v31, %v0, %v0
4170 #CHECK: vsrlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7d]
4171 #CHECK: vsrlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7d]
4172 #CHECK: vsrlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7d]
4176 vsrlb %v0, %v0, %v31
4177 vsrlb %v0, %v31, %v0
4178 vsrlb %v31, %v0, %v0
4186 #CHECK: vst %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0e]
4194 vst %v31, 0
4203 #CHECK: vsteb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x08]
4212 vsteb %v31, 0, 0
4221 #CHECK: vstef %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0b]
4230 vstef %v31, 0, 0
4239 #CHECK: vsteg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0a]
4248 vsteg %v31, 0, 0
4257 #CHECK: vsteh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x09]
4266 vsteh %v31, 0, 0
4274 #CHECK: vstl %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3f]
4282 vstl %v31, %r0, 0
4288 #CHECK: vstm %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3e]
4289 #CHECK: vstm %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3e]
4295 vstm %v0, %v31, 0
4296 vstm %v31, %v0, 0
4303 #CHECK: vstrcb %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8a]
4305 #CHECK: vstrcb %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8a]
4307 #CHECK: vstrcb %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8a]
4309 #CHECK: vstrcb %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8a]
4321 vstrcb %v0, %v0, %v0, %v31
4323 vstrcb %v0, %v0, %v31, %v0
4325 vstrcb %v0, %v31, %v0, %v0
4327 vstrcb %v31, %v0, %v0, %v0
4339 #CHECK: vstrcf %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8a]
4341 #CHECK: vstrcf %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8a]
4343 #CHECK: vstrcf %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8a]
4345 #CHECK: vstrcf %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8a]
4357 vstrcf %v0, %v0, %v0, %v31
4359 vstrcf %v0, %v0, %v31, %v0
4361 vstrcf %v0, %v31, %v0, %v0
4363 vstrcf %v31, %v0, %v0, %v0
4375 #CHECK: vstrch %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0x8a]
4377 #CHECK: vstrch %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0x8a]
4379 #CHECK: vstrch %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0x8a]
4381 #CHECK: vstrch %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0x8a]
4393 vstrch %v0, %v0, %v0, %v31
4395 vstrch %v0, %v0, %v31, %v0
4397 vstrch %v0, %v31, %v0, %v0
4399 vstrch %v31, %v0, %v0, %v0
4408 #CHECK: vsumgh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x65]
4409 #CHECK: vsumgh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x65]
4410 #CHECK: vsumgh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x65]
4414 vsumgh %v0, %v0, %v31
4415 vsumgh %v0, %v31, %v0
4416 vsumgh %v31, %v0, %v0
4420 #CHECK: vsumgf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x65]
4421 #CHECK: vsumgf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x65]
4422 #CHECK: vsumgf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x65]
4426 vsumgf %v0, %v0, %v31
4427 vsumgf %v0, %v31, %v0
4428 vsumgf %v31, %v0, %v0
4432 #CHECK: vsumqf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x67]
4433 #CHECK: vsumqf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x67]
4434 #CHECK: vsumqf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x67]
4438 vsumqf %v0, %v0, %v31
4439 vsumqf %v0, %v31, %v0
4440 vsumqf %v31, %v0, %v0
4444 #CHECK: vsumqg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x67]
4445 #CHECK: vsumqg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x67]
4446 #CHECK: vsumqg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x67]
4450 vsumqg %v0, %v0, %v31
4451 vsumqg %v0, %v31, %v0
4452 vsumqg %v31, %v0, %v0
4456 #CHECK: vsumb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x64]
4457 #CHECK: vsumb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x64]
4458 #CHECK: vsumb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x64]
4462 vsumb %v0, %v0, %v31
4463 vsumb %v0, %v31, %v0
4464 vsumb %v31, %v0, %v0
4468 #CHECK: vsumh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x64]
4469 #CHECK: vsumh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x64]
4470 #CHECK: vsumh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x64]
4474 vsumh %v0, %v0, %v31
4475 vsumh %v0, %v31, %v0
4476 vsumh %v31, %v0, %v0
4481 #CHECK: vtm %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd8]
4483 #CHECK: vtm %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd8]
4488 vtm %v0, %v31
4490 vtm %v31, %v0
4495 #CHECK: vuphb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd7]
4497 #CHECK: vuphb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd7]
4502 vuphb %v0, %v31
4504 vuphb %v31, %v0
4509 #CHECK: vuphf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd7]
4511 #CHECK: vuphf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd7]
4516 vuphf %v0, %v31
4518 vuphf %v31, %v0
4523 #CHECK: vuphh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd7]
4525 #CHECK: vuphh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd7]
4530 vuphh %v0, %v31
4532 vuphh %v31, %v0
4537 #CHECK: vuplhb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd5]
4539 #CHECK: vuplhb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd5]
4544 vuplhb %v0, %v31
4546 vuplhb %v31, %v0
4551 #CHECK: vuplhf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd5]
4553 #CHECK: vuplhf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd5]
4558 vuplhf %v0, %v31
4560 vuplhf %v31, %v0
4565 #CHECK: vuplhh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd5]
4567 #CHECK: vuplhh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd5]
4572 vuplhh %v0, %v31
4574 vuplhh %v31, %v0
4579 #CHECK: vuplb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd6]
4581 #CHECK: vuplb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd6]
4586 vuplb %v0, %v31
4588 vuplb %v31, %v0
4593 #CHECK: vuplf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd6]
4595 #CHECK: vuplf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd6]
4600 vuplf %v0, %v31
4602 vuplf %v31, %v0
4607 #CHECK: vuplhw %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd6]
4609 #CHECK: vuplhw %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd6]
4614 vuplhw %v0, %v31
4616 vuplhw %v31, %v0
4621 #CHECK: vupllb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd4]
4623 #CHECK: vupllb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd4]
4628 vupllb %v0, %v31
4630 vupllb %v31, %v0
4635 #CHECK: vupllf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd4]
4637 #CHECK: vupllf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd4]
4642 vupllf %v0, %v31
4644 vupllf %v31, %v0
4649 #CHECK: vupllh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd4]
4651 #CHECK: vupllh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd4]
4656 vupllh %v0, %v31
4658 vupllh %v31, %v0
4662 #CHECK: vx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6d]
4663 #CHECK: vx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6d]
4664 #CHECK: vx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6d]
4668 vx %v0, %v0, %v31
4669 vx %v0, %v31, %v0
4670 vx %v31, %v0, %v0
4676 #CHECK: vzero %v31 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x44]
4681 vzero %v31
4688 #CHECK: wcdgb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc3]
4689 #CHECK: wcdgb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc3]
4697 wcdgb %v0, %v31, 0, 0
4698 wcdgb %v31, %v0, 0, 0
4706 #CHECK: wcdlgb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc1]
4707 #CHECK: wcdlgb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc1]
4715 wcdlgb %v0, %v31, 0, 0
4716 wcdlgb %v31, %v0, 0, 0
4724 #CHECK: wcgdb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc2]
4725 #CHECK: wcgdb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc2]
4733 wcgdb %v0, %v31, 0, 0
4734 wcgdb %v31, %v0, 0, 0
4742 #CHECK: wclgdb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc0]
4743 #CHECK: wclgdb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc0]
4751 wclgdb %v0, %v31, 0, 0
4752 wclgdb %v31, %v0, 0, 0
4757 #CHECK: wfadb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe3]
4758 #CHECK: wfadb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe3]
4759 #CHECK: wfadb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe3]
4764 wfadb %v0, %v0, %v31
4765 wfadb %v0, %v31, %v0
4766 wfadb %v31, %v0, %v0
4772 #CHECK: wfcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcb]
4774 #CHECK: wfcdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcb]
4780 wfcdb %v0, %v31
4782 wfcdb %v31, %v0
4787 #CHECK: wfcedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe8]
4788 #CHECK: wfcedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe8]
4789 #CHECK: wfcedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe8]
4794 wfcedb %v0, %v0, %v31
4795 wfcedb %v0, %v31, %v0
4796 wfcedb %v31, %v0, %v0
4801 #CHECK: wfcedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xe8]
4802 #CHECK: wfcedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xe8]
4803 #CHECK: wfcedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xe8]
4808 wfcedbs %v0, %v0, %v31
4809 wfcedbs %v0, %v31, %v0
4810 wfcedbs %v31, %v0, %v0
4815 #CHECK: wfchdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xeb]
4816 #CHECK: wfchdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xeb]
4817 #CHECK: wfchdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xeb]
4822 wfchdb %v0, %v0, %v31
4823 wfchdb %v0, %v31, %v0
4824 wfchdb %v31, %v0, %v0
4829 #CHECK: wfchdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xeb]
4830 #CHECK: wfchdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xeb]
4831 #CHECK: wfchdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xeb]
4836 wfchdbs %v0, %v0, %v31
4837 wfchdbs %v0, %v31, %v0
4838 wfchdbs %v31, %v0, %v0
4843 #CHECK: wfchedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xea]
4844 #CHECK: wfchedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xea]
4845 #CHECK: wfchedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xea]
4850 wfchedb %v0, %v0, %v31
4851 wfchedb %v0, %v31, %v0
4852 wfchedb %v31, %v0, %v0
4857 #CHECK: wfchedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xea]
4858 #CHECK: wfchedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xea]
4859 #CHECK: wfchedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xea]
4864 wfchedbs %v0, %v0, %v31
4865 wfchedbs %v0, %v31, %v0
4866 wfchedbs %v31, %v0, %v0
4871 #CHECK: wfddb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe5]
4872 #CHECK: wfddb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe5]
4873 #CHECK: wfddb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe5]
4878 wfddb %v0, %v0, %v31
4879 wfddb %v0, %v31, %v0
4880 wfddb %v31, %v0, %v0
4888 #CHECK: wfidb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc7]
4889 #CHECK: wfidb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc7]
4897 wfidb %v0, %v31, 0, 0
4898 wfidb %v31, %v0, 0, 0
4904 #CHECK: wfkdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xca]
4906 #CHECK: wfkdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xca]
4912 wfkdb %v0, %v31
4914 wfkdb %v31, %v0
4920 #CHECK: wflcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xcc]
4922 #CHECK: wflcdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xcc]
4928 wflcdb %v0, %v31
4930 wflcdb %v31, %v0
4936 #CHECK: wflndb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xcc]
4938 #CHECK: wflndb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xcc]
4944 wflndb %v0, %v31
4946 wflndb %v31, %v0
4952 #CHECK: wflpdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x34,0xcc]
4954 #CHECK: wflpdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x38,0xcc]
4960 wflpdb %v0, %v31
4962 wflpdb %v31, %v0
4967 #CHECK: wfmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8f]
4968 #CHECK: wfmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8f]
4969 #CHECK: wfmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x8f]
4970 #CHECK: wfmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x8f]
4975 wfmadb %v0, %v0, %v0, %v31
4976 wfmadb %v0, %v0, %v31, %v0
4977 wfmadb %v0, %v31, %v0, %v0
4978 wfmadb %v31, %v0, %v0, %v0
4983 #CHECK: wfmdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe7]
4984 #CHECK: wfmdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe7]
4985 #CHECK: wfmdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe7]
4990 wfmdb %v0, %v0, %v31
4991 wfmdb %v0, %v31, %v0
4992 wfmdb %v31, %v0, %v0
4997 #CHECK: wfmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8e]
4998 #CHECK: wfmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8e]
4999 #CHECK: wfmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x8e]
5000 #CHECK: wfmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x8e]
5005 wfmsdb %v0, %v0, %v0, %v31
5006 wfmsdb %v0, %v0, %v31, %v0
5007 wfmsdb %v0, %v31, %v0, %v0
5008 wfmsdb %v31, %v0, %v0, %v0
5013 #CHECK: wfsdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe2]
5014 #CHECK: wfsdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe2]
5015 #CHECK: wfsdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe2]
5020 wfsdb %v0, %v0, %v31
5021 wfsdb %v0, %v31, %v0
5022 wfsdb %v31, %v0, %v0
5028 #CHECK: wfsqdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xce]
5030 #CHECK: wfsqdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xce]
5036 wfsqdb %v0, %v31
5038 wfsqdb %v31, %v0
5045 #CHECK: wftcidb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0x4a]
5047 #CHECK: wftcidb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0x4a]
5054 wftcidb %v0, %v31, 0
5056 wftcidb %v31, %v0, 0
5062 #CHECK: wldeb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
5064 #CHECK: wldeb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
5070 wldeb %v0, %v31
5072 wldeb %v31, %v0
5080 #CHECK: wledb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
5081 #CHECK: wledb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
5089 wledb %v0, %v31, 0, 0
5090 wledb %v31, %v0, 0, 0