#CHECK: lcbb %r15, 4095(%r15,%r15), 15
0xe7 0xff 0xff 0xff 0xf0 0x27
+#CHECK: va %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf3
+
+#CHECK: va %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf3
+
+#CHECK: va %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf3
+
#CHECK: vab %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf3
#CHECK: vab %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x0e 0xf3
+#CHECK: vacc %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf1
+
+#CHECK: vacc %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf1
+
+#CHECK: vacc %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf1
+
#CHECK: vaccb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf1
#CHECK: vaccb %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x0e 0xf1
+#CHECK: vaccc %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xb9
+
+#CHECK: vaccc %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xb9
+
+#CHECK: vaccc %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xb9
+
#CHECK: vacccq %v0, %v0, %v0, %v0
0xe7 0x00 0x04 0x00 0x00 0xb9
#CHECK: vaccq %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x4e 0xf1
+#CHECK: vac %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xbb
+
+#CHECK: vac %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xbb
+
+#CHECK: vac %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xbb
+
#CHECK: vacq %v0, %v0, %v0, %v0
0xe7 0x00 0x04 0x00 0x00 0xbb
#CHECK: vaq %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x4e 0xf3
+#CHECK: vavg %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf2
+
+#CHECK: vavg %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf2
+
+#CHECK: vavg %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf2
+
#CHECK: vavgb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf2
#CHECK: vavgh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xf2
+#CHECK: vavgl %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf0
+
+#CHECK: vavgl %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf0
+
+#CHECK: vavgl %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf0
+
#CHECK: vavglb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf0
#CHECK: vavglh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xf0
+#CHECK: vcdg %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc3
+
+#CHECK: vcdg %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc3
+
+#CHECK: vcdg %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc3
+
#CHECK: vcdgb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc3
#CHECK: vcdgb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xf7 0x3c 0xc3
+#CHECK: vcdlg %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc1
+
+#CHECK: vcdlg %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc1
+
+#CHECK: vcdlg %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc1
+
#CHECK: vcdlgb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc1
#CHECK: vcdlgb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xf7 0x3c 0xc1
+#CHECK: vceq %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x90 0xb0 0xf8
+
+#CHECK: vceq %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x90 0xba 0xf8
+
+#CHECK: vceq %v7, %v24, %v9, 11, 9
+0xe7 0x78 0x90 0x90 0xb4 0xf8
+
+#CHECK: vceq %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x90 0xbe 0xf8
+
#CHECK: vceqb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf8
#CHECK: vceqh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xf8
+#CHECK: vcgd %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc2
+
+#CHECK: vcgd %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc2
+
+#CHECK: vcgd %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc2
+
#CHECK: vcgdb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc2
#CHECK: vcgdb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xf7 0x3c 0xc2
+#CHECK: vch %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x90 0xb0 0xfb
+
+#CHECK: vch %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x90 0xba 0xfb
+
+#CHECK: vch %v7, %v24, %v9, 11, 9
+0xe7 0x78 0x90 0x90 0xb4 0xfb
+
+#CHECK: vch %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x90 0xbe 0xfb
+
#CHECK: vchb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xfb
#CHECK: vchh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xfb
+#CHECK: vchl %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x90 0xb0 0xf9
+
+#CHECK: vchl %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x90 0xba 0xf9
+
+#CHECK: vchl %v7, %v24, %v9, 11, 9
+0xe7 0x78 0x90 0x90 0xb4 0xf9
+
+#CHECK: vchl %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x90 0xbe 0xf9
+
#CHECK: vchlb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf9
#CHECK: vcksm %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x0e 0x66
+#CHECK: vclgd %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc0
+
+#CHECK: vclgd %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc0
+
+#CHECK: vclgd %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc0
+
#CHECK: vclgdb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc0
#CHECK: vclgdb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xf7 0x3c 0xc0
+#CHECK: vclz %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x53
+
+#CHECK: vclz %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0x53
+
+#CHECK: vclz %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0x53
+
#CHECK: vclzb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x53
#CHECK: vclzh %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0x53
+#CHECK: vctz %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x52
+
+#CHECK: vctz %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0x52
+
+#CHECK: vctz %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0x52
+
#CHECK: vctzb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x52
#CHECK: vctzh %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0x52
+#CHECK: vec %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xdb
+
+#CHECK: vec %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xdb
+
+#CHECK: vec %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xdb
+
#CHECK: vecb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xdb
#CHECK: vech %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xdb
+#CHECK: vecl %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xd9
+
+#CHECK: vecl %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xd9
+
+#CHECK: vecl %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xd9
+
#CHECK: veclb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xd9
#CHECK: veclh %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xd9
+#CHECK: verim %v0, %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x72
+
+#CHECK: verim %v3, %v20, %v5, 103, 11
+0xe7 0x34 0x50 0x67 0xb4 0x72
+
+#CHECK: verim %v31, %v31, %v31, 255, 11
+0xe7 0xff 0xf0 0xff 0xbe 0x72
+
#CHECK: verimb %v0, %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x72
#CHECK: verimh %v31, %v31, %v31, 255
0xe7 0xff 0xf0 0xff 0x1e 0x72
+#CHECK: verllv %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x73
+
+#CHECK: verllv %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x73
+
+#CHECK: verllv %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x73
+
#CHECK: verllvb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x73
#CHECK: verllvh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x73
+#CHECK: verll %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x33
+
+#CHECK: verll %v12, %v18, 1110(%r3), 11
+0xe7 0xc2 0x34 0x56 0xb4 0x33
+
+#CHECK: verll %v31, %v31, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xbc 0x33
+
#CHECK: verllb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x33
#CHECK: verllh %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x1c 0x33
+#CHECK: veslv %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x70
+
+#CHECK: veslv %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x70
+
+#CHECK: veslv %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x70
+
#CHECK: veslvb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x70
#CHECK: veslvh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x70
+#CHECK: vesl %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x30
+
+#CHECK: vesl %v12, %v18, 1110(%r3), 11
+0xe7 0xc2 0x34 0x56 0xb4 0x30
+
+#CHECK: vesl %v31, %v31, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xbc 0x30
+
#CHECK: veslb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x30
#CHECK: veslh %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x1c 0x30
+#CHECK: vesrav %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x7a
+
+#CHECK: vesrav %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x7a
+
+#CHECK: vesrav %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x7a
+
#CHECK: vesravb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x7a
#CHECK: vesravh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x7a
+#CHECK: vesra %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x3a
+
+#CHECK: vesra %v12, %v18, 1110(%r3), 11
+0xe7 0xc2 0x34 0x56 0xb4 0x3a
+
+#CHECK: vesra %v31, %v31, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xbc 0x3a
+
#CHECK: vesrab %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x3a
#CHECK: vesrah %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x1c 0x3a
+#CHECK: vesrlv %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x78
+
+#CHECK: vesrlv %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x78
+
+#CHECK: vesrlv %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x78
+
#CHECK: vesrlvb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x78
#CHECK: vesrlvh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x78
+#CHECK: vesrl %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x38
+
+#CHECK: vesrl %v12, %v18, 1110(%r3), 11
+0xe7 0xc2 0x34 0x56 0xb4 0x38
+
+#CHECK: vesrl %v31, %v31, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xbc 0x38
+
#CHECK: vesrlb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x38
#CHECK: vesrlh %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x1c 0x38
+#CHECK: vfa %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xe3
+
+#CHECK: vfa %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xe3
+
+#CHECK: vfa %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xe3
+
#CHECK: vfadb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xe3
#CHECK: vfadb %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x3e 0xe3
+#CHECK: vfae %v0, %v0, %v0, 11, 0
+0xe7 0x00 0x00 0x00 0xb0 0x82
+
+#CHECK: vfae %v0, %v0, %v0, 11, 12
+0xe7 0x00 0x00 0xc0 0xb0 0x82
+
+#CHECK: vfae %v18, %v3, %v20, 11, 0
+0xe7 0x23 0x40 0x00 0xba 0x82
+
+#CHECK: vfae %v31, %v31, %v31, 11, 4
+0xe7 0xff 0xf0 0x40 0xbe 0x82
+
#CHECK: vfaeb %v0, %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x82
#CHECK: vfaezhs %v31, %v31, %v31, 8
0xe7 0xff 0xf0 0xb0 0x1e 0x82
+#CHECK: vfce %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xe8
+
+#CHECK: vfce %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xe8
+
+#CHECK: vfce %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xe8
+
#CHECK: vfcedb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xe8
#CHECK: vfcedbs %v31, %v31, %v31
0xe7 0xff 0xf0 0x10 0x3e 0xe8
+#CHECK: vfch %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xeb
+
+#CHECK: vfch %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xeb
+
+#CHECK: vfch %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xeb
+
#CHECK: vfchdb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xeb
#CHECK: vfchdbs %v31, %v31, %v31
0xe7 0xff 0xf0 0x10 0x3e 0xeb
+#CHECK: vfche %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xea
+
+#CHECK: vfche %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xea
+
+#CHECK: vfche %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xea
+
#CHECK: vfchedb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xea
#CHECK: vfchedbs %v31, %v31, %v31
0xe7 0xff 0xf0 0x10 0x3e 0xea
+#CHECK: vfd %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xe5
+
+#CHECK: vfd %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xe5
+
+#CHECK: vfd %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xe5
+
#CHECK: vfddb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xe5
#CHECK: vfddb %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x3e 0xe5
+#CHECK: vfee %v0, %v0, %v0, 11, 0
+0xe7 0x00 0x00 0x00 0xb0 0x80
+
+#CHECK: vfee %v0, %v0, %v0, 11, 12
+0xe7 0x00 0x00 0xc0 0xb0 0x80
+
+#CHECK: vfee %v18, %v3, %v20, 11, 0
+0xe7 0x23 0x40 0x00 0xba 0x80
+
+#CHECK: vfee %v31, %v31, %v31, 11, 0
+0xe7 0xff 0xf0 0x00 0xbe 0x80
+
#CHECK: vfeeb %v0, %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x80
#CHECK: vfeeh %v31, %v31, %v31, 0
0xe7 0xff 0xf0 0x00 0x1e 0x80
+#CHECK: vfene %v0, %v0, %v0, 11, 0
+0xe7 0x00 0x00 0x00 0xb0 0x81
+
+#CHECK: vfene %v0, %v0, %v0, 11, 12
+0xe7 0x00 0x00 0xc0 0xb0 0x81
+
+#CHECK: vfene %v18, %v3, %v20, 11, 0
+0xe7 0x23 0x40 0x00 0xba 0x81
+
+#CHECK: vfene %v31, %v31, %v31, 11, 0
+0xe7 0xff 0xf0 0x00 0xbe 0x81
+
#CHECK: vfeneb %v0, %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x81
#CHECK: vfeneh %v31, %v31, %v31, 0
0xe7 0xff 0xf0 0x00 0x1e 0x81
+#CHECK: vfi %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc7
+
+#CHECK: vfi %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc7
+
+#CHECK: vfi %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc7
+
#CHECK: vfidb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc7
#CHECK: vfidb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xf7 0x3c 0xc7
+#CHECK: vistr %v0, %v0, 11, 0
+0xe7 0x00 0x00 0x00 0xb0 0x5c
+
+#CHECK: vistr %v0, %v0, 11, 12
+0xe7 0x00 0x00 0xc0 0xb0 0x5c
+
+#CHECK: vistr %v18, %v3, 11, 0
+0xe7 0x23 0x00 0x00 0xb8 0x5c
+
+#CHECK: vistr %v31, %v31, 11, 0
+0xe7 0xff 0x00 0x00 0xbc 0x5c
+
#CHECK: vistrb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x5c
#CHECK: vistrh %v31, %v31, 0
0xe7 0xff 0x00 0x00 0x1c 0x5c
+#CHECK: vfma %v0, %v0, %v0, %v0, 9, 11
+0xe7 0x00 0x0b 0x09 0x00 0x8f
+
+#CHECK: vfma %v3, %v20, %v5, %v22, 9, 11
+0xe7 0x34 0x5b 0x09 0x65 0x8f
+
+#CHECK: vfma %v31, %v31, %v31, %v31, 9, 11
+0xe7 0xff 0xfb 0x09 0xff 0x8f
+
#CHECK: vfmadb %v0, %v0, %v0, %v0
0xe7 0x00 0x03 0x00 0x00 0x8f
#CHECK: vfmadb %v31, %v31, %v31, %v31
0xe7 0xff 0xf3 0x00 0xff 0x8f
+#CHECK: vfm %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xe7
+
+#CHECK: vfm %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xe7
+
+#CHECK: vfm %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xe7
+
#CHECK: vfmdb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xe7
#CHECK: vfmdb %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x3e 0xe7
+#CHECK: vfms %v0, %v0, %v0, %v0, 9, 11
+0xe7 0x00 0x0b 0x09 0x00 0x8e
+
+#CHECK: vfms %v3, %v20, %v5, %v22, 9, 11
+0xe7 0x34 0x5b 0x09 0x65 0x8e
+
+#CHECK: vfms %v31, %v31, %v31, %v31, 9, 11
+0xe7 0xff 0xfb 0x09 0xff 0x8e
+
#CHECK: vfmsdb %v0, %v0, %v0, %v0
0xe7 0x00 0x03 0x00 0x00 0x8e
#CHECK: vfmsdb %v31, %v31, %v31, %v31
0xe7 0xff 0xf3 0x00 0xff 0x8e
+#CHECK: vfs %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xe2
+
+#CHECK: vfs %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x09 0xba 0xe2
+
+#CHECK: vfs %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x09 0xbe 0xe2
+
#CHECK: vfsdb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xe2
#CHECK: vgeg %v31, 4095(%v31,%r15), 1
0xe7 0xff 0xff 0xff 0x1c 0x12
+#CHECK: vgfma %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xbc
+
+#CHECK: vgfma %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xbc
+
+#CHECK: vgfma %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xbc
+
#CHECK: vgfmab %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xbc
#CHECK: vgfmah %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xbc
+#CHECK: vgfm %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xb4
+
+#CHECK: vgfm %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xb4
+
+#CHECK: vgfm %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xb4
+
#CHECK: vgfmb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xb4
#CHECK: vgfmh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xb4
+#CHECK: vgm %v0, 0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x46
+
+#CHECK: vgm %v22, 55, 66, 11
+0xe7 0x60 0x37 0x42 0xb8 0x46
+
+#CHECK: vgm %v31, 255, 255, 11
+0xe7 0xf0 0xff 0xff 0xb8 0x46
+
#CHECK: vgmb %v0, 0, 0
0xe7 0x00 0x00 0x00 0x00 0x46
#CHECK: vlbb %v31, 4095(%r15,%r15), 15
0xe7 0xff 0xff 0xff 0xf8 0x07
+#CHECK: vlc %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xde
+
+#CHECK: vlc %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xde
+
+#CHECK: vlc %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xde
+
#CHECK: vlcb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xde
#CHECK: vlch %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xde
+#CHECK: vlde %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xc4
+
+#CHECK: vlde %v19, %v14, 11, 9
+0xe7 0x3e 0x00 0x09 0xb8 0xc4
+
+#CHECK: vlde %v31, %v31, 11, 9
+0xe7 0xff 0x00 0x09 0xbc 0xc4
+
#CHECK: vldeb %v0, %v0
0xe7 0x00 0x00 0x00 0x20 0xc4
#CHECK: vleb %v31, 4095(%r15,%r15), 15
0xe7 0xff 0xff 0xff 0xf8 0x00
+#CHECK: vled %v0, %v0, 11, 0, 0
+0xe7 0x00 0x00 0x00 0xb0 0xc5
+
+#CHECK: vled %v19, %v14, 11, 4, 10
+0xe7 0x3e 0x00 0xa4 0xb8 0xc5
+
+#CHECK: vled %v31, %v31, 11, 7, 15
+0xe7 0xff 0x00 0xf7 0xbc 0xc5
+
#CHECK: vledb %v0, %v0, 0, 0
0xe7 0x00 0x00 0x00 0x30 0xc5
#CHECK: vleih %v31, -1, 7
0xe7 0xf0 0xff 0xff 0x78 0x41
+#CHECK: vfpso %v0, %v0, 11, 9, 7
+0xe7 0x00 0x00 0x79 0xb0 0xcc
+
+#CHECK: vfpso %v19, %v14, 11, 9, 7
+0xe7 0x3e 0x00 0x79 0xb8 0xcc
+
+#CHECK: vfpso %v31, %v31, 11, 9, 7
+0xe7 0xff 0x00 0x79 0xbc 0xcc
+
+#CHECK: vfpsodb %v0, %v0, 7
+0xe7 0x00 0x00 0x70 0x30 0xcc
+
+#CHECK: vfpsodb %v19, %v14, 7
+0xe7 0x3e 0x00 0x70 0x38 0xcc
+
+#CHECK: vfpsodb %v31, %v31, 7
+0xe7 0xff 0x00 0x70 0x3c 0xcc
+
#CHECK: vflcdb %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xcc
#CHECK: vflpdb %v31, %v31
0xe7 0xff 0x00 0x20 0x3c 0xcc
+#CHECK: vlgv %r0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x21
+
+#CHECK: vlgv %r2, %v19, 1383(%r4), 11
+0xe7 0x23 0x45 0x67 0xb4 0x21
+
+#CHECK: vlgv %r15, %v31, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xb4 0x21
+
#CHECK: vlgvb %r0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x21
#CHECK: vlgvh %r15, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x14 0x21
+#CHECK: vfsq %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xce
+
+#CHECK: vfsq %v19, %v14, 11, 9
+0xe7 0x3e 0x00 0x09 0xb8 0xce
+
+#CHECK: vfsq %v31, %v31, 11, 9
+0xe7 0xff 0x00 0x09 0xbc 0xce
+
#CHECK: vfsqdb %v0, %v0
0xe7 0x00 0x00 0x00 0x30 0xce
#CHECK: vfsqdb %v31, %v31
0xe7 0xff 0x00 0x00 0x3c 0xce
+#CHECK: vftci %v0, %v0, 0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0x4a
+
+#CHECK: vftci %v19, %v4, 1383, 11, 9
+0xe7 0x34 0x56 0x79 0xb8 0x4a
+
+#CHECK: vftci %v31, %v31, 4095, 11, 9
+0xe7 0xff 0xff 0xf9 0xbc 0x4a
+
#CHECK: vftcidb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x30 0x4a
#CHECK: vll %v31, %r15, 4095(%r15)
0xe7 0xff 0xff 0xff 0x08 0x37
+#CHECK: vllez %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x04
+
+#CHECK: vllez %v17, 2475(%r7,%r8), 11
+0xe7 0x17 0x89 0xab 0xb8 0x04
+
+#CHECK: vllez %v31, 4095(%r15,%r15), 11
+0xe7 0xff 0xff 0xff 0xb8 0x04
+
#CHECK: vllezb %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x04
#CHECK: vlm %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x0c 0x36
+#CHECK: vlp %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xdf
+
+#CHECK: vlp %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xdf
+
+#CHECK: vlp %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xdf
+
#CHECK: vlpb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xdf
#CHECK: vlr %v31, %v31
0xe7 0xff 0x00 0x00 0x0c 0x56
+#CHECK: vlrep %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x05
+
+#CHECK: vlrep %v17, 2475(%r7,%r8), 11
+0xe7 0x17 0x89 0xab 0xb8 0x05
+
+#CHECK: vlrep %v31, 4095(%r15,%r15), 11
+0xe7 0xff 0xff 0xff 0xb8 0x05
+
#CHECK: vlrepb %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x05
#CHECK: vlreph %v31, 4095(%r15,%r15)
0xe7 0xff 0xff 0xff 0x18 0x05
+#CHECK: vlvg %v0, %r0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x22
+
+#CHECK: vlvg %v18, %r3, 1383(%r4), 11
+0xe7 0x23 0x45 0x67 0xb8 0x22
+
+#CHECK: vlvg %v31, %r15, 4095(%r15), 11
+0xe7 0xff 0xff 0xff 0xb8 0x22
+
#CHECK: vlvgb %v0, %r0, 0
0xe7 0x00 0x00 0x00 0x00 0x22
#CHECK: vlvgp %v31, %r15, %r15
0xe7 0xff 0xf0 0x00 0x08 0x62
+#CHECK: vmae %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xae
+
+#CHECK: vmae %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xae
+
+#CHECK: vmae %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xae
+
#CHECK: vmaeb %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xae
#CHECK: vmaeh %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xae
+#CHECK: vmah %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xab
+
+#CHECK: vmah %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xab
+
+#CHECK: vmah %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xab
+
#CHECK: vmahb %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xab
#CHECK: vmahh %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xab
+#CHECK: vmal %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xaa
+
+#CHECK: vmal %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xaa
+
+#CHECK: vmal %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xaa
+
#CHECK: vmalb %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xaa
#CHECK: vmalb %v31, %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0xff 0xaa
+#CHECK: vmale %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xac
+
+#CHECK: vmale %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xac
+
+#CHECK: vmale %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xac
+
#CHECK: vmaleb %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xac
#CHECK: vmalf %v31, %v31, %v31, %v31
0xe7 0xff 0xf2 0x00 0xff 0xaa
+#CHECK: vmalh %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xa9
+
+#CHECK: vmalh %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xa9
+
+#CHECK: vmalh %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xa9
+
#CHECK: vmalhb %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa9
#CHECK: vmalhw %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xaa
+#CHECK: vmalo %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xad
+
+#CHECK: vmalo %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xad
+
+#CHECK: vmalo %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xad
+
#CHECK: vmalob %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xad
#CHECK: vmaloh %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xad
+#CHECK: vmao %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xaf
+
+#CHECK: vmao %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xaf
+
+#CHECK: vmao %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xaf
+
#CHECK: vmaob %v0, %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xaf
#CHECK: vmaoh %v31, %v31, %v31, %v31
0xe7 0xff 0xf1 0x00 0xff 0xaf
+#CHECK: vme %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa6
+
+#CHECK: vme %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa6
+
+#CHECK: vme %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa6
+
#CHECK: vmeb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa6
#CHECK: vmeh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa6
+#CHECK: vmh %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa3
+
+#CHECK: vmh %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa3
+
+#CHECK: vmh %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa3
+
#CHECK: vmhb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa3
#CHECK: vmhh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa3
+#CHECK: vml %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa2
+
+#CHECK: vml %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa2
+
+#CHECK: vml %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa2
+
#CHECK: vmlb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa2
#CHECK: vmlf %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x2e 0xa2
+#CHECK: vmle %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa4
+
+#CHECK: vmle %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa4
+
+#CHECK: vmle %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa4
+
#CHECK: vmleb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa4
#CHECK: vmleh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa4
+#CHECK: vmlh %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa1
+
+#CHECK: vmlh %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa1
+
+#CHECK: vmlh %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa1
+
#CHECK: vmlhb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa1
#CHECK: vmlhw %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa2
+#CHECK: vmlo %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa5
+
+#CHECK: vmlo %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa5
+
+#CHECK: vmlo %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa5
+
#CHECK: vmlob %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa5
#CHECK: vmloh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa5
+#CHECK: vmn %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xfe
+
+#CHECK: vmn %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xfe
+
+#CHECK: vmn %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xfe
+
#CHECK: vmnb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xfe
#CHECK: vmnh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xfe
+#CHECK: vmnl %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xfc
+
+#CHECK: vmnl %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xfc
+
+#CHECK: vmnl %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xfc
+
#CHECK: vmnlb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xfc
#CHECK: vmnlh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xfc
+#CHECK: vmo %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xa7
+
+#CHECK: vmo %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xa7
+
+#CHECK: vmo %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xa7
+
#CHECK: vmob %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xa7
#CHECK: vmoh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xa7
+#CHECK: vmrh %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x61
+
+#CHECK: vmrh %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x61
+
+#CHECK: vmrh %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x61
+
#CHECK: vmrhb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x61
#CHECK: vmrhh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x61
+#CHECK: vmrl %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x60
+
+#CHECK: vmrl %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x60
+
+#CHECK: vmrl %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x60
+
#CHECK: vmrlb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x60
#CHECK: vmrlh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x60
+#CHECK: vmx %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xff
+
+#CHECK: vmx %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xff
+
+#CHECK: vmx %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xff
+
#CHECK: vmxb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xff
#CHECK: vmxh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0xff
+#CHECK: vmxl %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xfd
+
+#CHECK: vmxl %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xfd
+
+#CHECK: vmxl %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xfd
+
#CHECK: vmxlb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xfd
#CHECK: vperm %v31, %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0xff 0x8c
+#CHECK: vpk %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x94
+
+#CHECK: vpk %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x94
+
+#CHECK: vpk %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x94
+
#CHECK: vpkf %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x20 0x94
#CHECK: vpkh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x94
+#CHECK: vpkls %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x90 0xb0 0x95
+
+#CHECK: vpkls %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x90 0xba 0x95
+
+#CHECK: vpkls %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x90 0xbe 0x95
+
#CHECK: vpklsf %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x20 0x95
#CHECK: vpklsh %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x1e 0x95
+#CHECK: vpks %v0, %v0, %v0, 11, 9
+0xe7 0x00 0x00 0x90 0xb0 0x97
+
+#CHECK: vpks %v18, %v3, %v20, 11, 9
+0xe7 0x23 0x40 0x90 0xba 0x97
+
+#CHECK: vpks %v31, %v31, %v31, 11, 9
+0xe7 0xff 0xf0 0x90 0xbe 0x97
+
#CHECK: vpksf %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x20 0x97
#CHECK: vpopct %v31, %v31
0xe7 0xff 0x00 0x00 0x0c 0x50
+#CHECK: vrep %v0, %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x4d
+
+#CHECK: vrep %v19, %v4, 22136, 11
+0xe7 0x34 0x56 0x78 0xb8 0x4d
+
+#CHECK: vrep %v31, %v31, 65535, 11
+0xe7 0xff 0xff 0xff 0xbc 0x4d
+
#CHECK: vrepb %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x4d
#CHECK: vreph %v31, %v31, 65535
0xe7 0xff 0xff 0xff 0x1c 0x4d
+#CHECK: vrepi %v0, 0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x45
+
+#CHECK: vrepi %v23, -30293, 11
+0xe7 0x70 0x89 0xab 0xb8 0x45
+
+#CHECK: vrepi %v31, -1, 11
+0xe7 0xf0 0xff 0xff 0xb8 0x45
+
#CHECK: vrepib %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x45
#CHECK: vrepih %v31, -1
0xe7 0xf0 0xff 0xff 0x18 0x45
+#CHECK: vs %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf7
+
+#CHECK: vs %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf7
+
+#CHECK: vs %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf7
+
#CHECK: vsb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf7
#CHECK: vsb %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x0e 0xf7
+#CHECK: vsbi %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xbf
+
+#CHECK: vsbi %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xbf
+
+#CHECK: vsbi %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xbf
+
#CHECK: vsbiq %v0, %v0, %v0, %v0
0xe7 0x00 0x04 0x00 0x00 0xbf
#CHECK: vsbiq %v31, %v31, %v31, %v31
0xe7 0xff 0xf4 0x00 0xff 0xbf
+#CHECK: vsbcbi %v0, %v0, %v0, %v0, 11
+0xe7 0x00 0x0b 0x00 0x00 0xbd
+
+#CHECK: vsbcbi %v3, %v20, %v5, %v22, 11
+0xe7 0x34 0x5b 0x00 0x65 0xbd
+
+#CHECK: vsbcbi %v31, %v31, %v31, %v31, 11
+0xe7 0xff 0xfb 0x00 0xff 0xbd
+
#CHECK: vsbcbiq %v0, %v0, %v0, %v0
0xe7 0x00 0x04 0x00 0x00 0xbd
#CHECK: vsbcbiq %v31, %v31, %v31, %v31
0xe7 0xff 0xf4 0x00 0xff 0xbd
+#CHECK: vscbi %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xf5
+
+#CHECK: vscbi %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0xf5
+
+#CHECK: vscbi %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0xf5
+
#CHECK: vscbib %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xf5
#CHECK: vsceg %v31, 4095(%v31,%r15), 1
0xe7 0xff 0xff 0xff 0x1c 0x1a
+#CHECK: vseg %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x5f
+
+#CHECK: vseg %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0x5f
+
+#CHECK: vseg %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0x5f
+
#CHECK: vsegb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x5f
#CHECK: vstm %v31, %v31, 4095(%r15)
0xe7 0xff 0xff 0xff 0x0c 0x3e
+#CHECK: vstrc %v0, %v0, %v0, %v0, 11, 0
+0xe7 0x00 0x0b 0x00 0x00 0x8a
+
+#CHECK: vstrc %v0, %v0, %v0, %v0, 11, 12
+0xe7 0x00 0x0b 0xc0 0x00 0x8a
+
+#CHECK: vstrc %v18, %v3, %v20, %v5, 11, 0
+0xe7 0x23 0x4b 0x00 0x5a 0x8a
+
+#CHECK: vstrc %v31, %v31, %v31, %v31, 11, 4
+0xe7 0xff 0xfb 0x40 0xff 0x8a
+
#CHECK: vstrcb %v0, %v0, %v0, %v0, 0
0xe7 0x00 0x00 0x00 0x00 0x8a
#CHECK: vstrczhs %v31, %v31, %v31, %v31, 8
0xe7 0xff 0xf1 0xb0 0xff 0x8a
+#CHECK: vsumg %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x65
+
+#CHECK: vsumg %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x65
+
+#CHECK: vsumg %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x65
+
#CHECK: vsumgh %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x10 0x65
#CHECK: vsumgf %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x2e 0x65
+#CHECK: vsumq %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x67
+
+#CHECK: vsumq %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x67
+
+#CHECK: vsumq %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x67
+
#CHECK: vsumqf %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x20 0x67
#CHECK: vsumqg %v31, %v31, %v31
0xe7 0xff 0xf0 0x00 0x3e 0x67
+#CHECK: vsum %v0, %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0x64
+
+#CHECK: vsum %v18, %v3, %v20, 11
+0xe7 0x23 0x40 0x00 0xba 0x64
+
+#CHECK: vsum %v31, %v31, %v31, 11
+0xe7 0xff 0xf0 0x00 0xbe 0x64
+
#CHECK: vsumb %v0, %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0x64
#CHECK: vtm %v31, %v31
0xe7 0xff 0x00 0x00 0x0c 0xd8
+#CHECK: vuph %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xd7
+
+#CHECK: vuph %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xd7
+
+#CHECK: vuph %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xd7
+
#CHECK: vuphb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xd7
#CHECK: vuphh %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xd7
+#CHECK: vuplh %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xd5
+
+#CHECK: vuplh %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xd5
+
+#CHECK: vuplh %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xd5
+
#CHECK: vuplhb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xd5
#CHECK: vuplhh %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xd5
+#CHECK: vupl %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xd6
+
+#CHECK: vupl %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xd6
+
+#CHECK: vupl %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xd6
+
#CHECK: vuplb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xd6
#CHECK: vuplhw %v31, %v31
0xe7 0xff 0x00 0x00 0x1c 0xd6
+#CHECK: vupll %v0, %v0, 11
+0xe7 0x00 0x00 0x00 0xb0 0xd4
+
+#CHECK: vupll %v19, %v14, 11
+0xe7 0x3e 0x00 0x00 0xb8 0xd4
+
+#CHECK: vupll %v31, %v31, 11
+0xe7 0xff 0x00 0x00 0xbc 0xd4
+
#CHECK: vupllb %v0, %v0
0xe7 0x00 0x00 0x00 0x00 0xd4
#CHECK: wfadb %v31, %v31, %v31
0xe7 0xff 0xf0 0x08 0x3e 0xe3
+#CHECK: wfc %f0, %f0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xcb
+
+#CHECK: wfc %v19, %f14, 11, 9
+0xe7 0x3e 0x00 0x09 0xb8 0xcb
+
+#CHECK: wfc %v31, %v31, 11, 9
+0xe7 0xff 0x00 0x09 0xbc 0xcb
+
#CHECK: wfcdb %f0, %f0
0xe7 0x00 0x00 0x00 0x30 0xcb
#CHECK: wfidb %v31, %v31, 7, 15
0xe7 0xff 0x00 0xff 0x3c 0xc7
+#CHECK: wfk %f0, %f0, 11, 9
+0xe7 0x00 0x00 0x09 0xb0 0xca
+
+#CHECK: wfk %v19, %f14, 11, 9
+0xe7 0x3e 0x00 0x09 0xb8 0xca
+
+#CHECK: wfk %v31, %v31, 11, 9
+0xe7 0xff 0x00 0x09 0xbc 0xca
+
#CHECK: wfkdb %f0, %f0
0xe7 0x00 0x00 0x00 0x30 0xca
#CHECK: wfkdb %v31, %v31
0xe7 0xff 0x00 0x00 0x3c 0xca
+#CHECK: wfpsodb %f0, %f0, 7
+0xe7 0x00 0x00 0x78 0x30 0xcc
+
+#CHECK: wfpsodb %v19, %f14, 7
+0xe7 0x3e 0x00 0x78 0x38 0xcc
+
+#CHECK: wfpsodb %v31, %v31, 7
+0xe7 0xff 0x00 0x78 0x3c 0xcc
+
#CHECK: wflcdb %f0, %f0
0xe7 0x00 0x00 0x08 0x30 0xcc
lcbb %r15, 0, 0
lcbb %r2, 1383(%r3,%r4), 8
+#CHECK: va %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf3]
+#CHECK: va %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf3]
+#CHECK: va %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf3]
+#CHECK: va %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf3]
+#CHECK: va %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf3]
+#CHECK: va %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf3]
+
+ va %v0, %v0, %v0, 0
+ va %v0, %v0, %v0, 15
+ va %v0, %v0, %v31, 0
+ va %v0, %v31, %v0, 0
+ va %v31, %v0, %v0, 0
+ va %v18, %v3, %v20, 11
+
#CHECK: vab %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf3]
#CHECK: vab %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf3]
#CHECK: vab %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf3]
vab %v31, %v0, %v0
vab %v18, %v3, %v20
+#CHECK: vac %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xbb]
+#CHECK: vac %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xbb]
+#CHECK: vac %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbb]
+#CHECK: vac %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbb]
+#CHECK: vac %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbb]
+#CHECK: vac %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbb]
+#CHECK: vac %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xbb]
+
+ vac %v0, %v0, %v0, %v0, 0
+ vac %v0, %v0, %v0, %v0, 15
+ vac %v0, %v0, %v0, %v31, 0
+ vac %v0, %v0, %v31, %v0, 0
+ vac %v0, %v31, %v0, %v0, 0
+ vac %v31, %v0, %v0, %v0, 0
+ vac %v13, %v17, %v21, %v25, 11
+
+#CHECK: vacc %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf1]
+#CHECK: vacc %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf1]
+#CHECK: vacc %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf1]
+#CHECK: vacc %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf1]
+#CHECK: vacc %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf1]
+#CHECK: vacc %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf1]
+
+ vacc %v0, %v0, %v0, 0
+ vacc %v0, %v0, %v0, 15
+ vacc %v0, %v0, %v31, 0
+ vacc %v0, %v31, %v0, 0
+ vacc %v31, %v0, %v0, 0
+ vacc %v18, %v3, %v20, 11
+
#CHECK: vaccb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf1]
#CHECK: vaccb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf1]
#CHECK: vaccb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf1]
vaccb %v31, %v0, %v0
vaccb %v18, %v3, %v20
+#CHECK: vaccc %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb9]
+#CHECK: vaccc %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xb9]
+#CHECK: vaccc %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb9]
+#CHECK: vaccc %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb9]
+#CHECK: vaccc %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb9]
+#CHECK: vaccc %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb9]
+#CHECK: vaccc %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xb9]
+
+ vaccc %v0, %v0, %v0, %v0, 0
+ vaccc %v0, %v0, %v0, %v0, 15
+ vaccc %v0, %v0, %v0, %v31, 0
+ vaccc %v0, %v0, %v31, %v0, 0
+ vaccc %v0, %v31, %v0, %v0, 0
+ vaccc %v31, %v0, %v0, %v0, 0
+ vaccc %v13, %v17, %v21, %v25, 11
+
#CHECK: vacccq %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x00,0x00,0xb9]
#CHECK: vacccq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xb9]
#CHECK: vacccq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xb9]
vaq %v31, %v0, %v0
vaq %v18, %v3, %v20
+#CHECK: vavg %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf2]
+#CHECK: vavg %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf2]
+#CHECK: vavg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf2]
+#CHECK: vavg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf2]
+#CHECK: vavg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf2]
+#CHECK: vavg %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf2]
+
+ vavg %v0, %v0, %v0, 0
+ vavg %v0, %v0, %v0, 15
+ vavg %v0, %v0, %v31, 0
+ vavg %v0, %v31, %v0, 0
+ vavg %v31, %v0, %v0, 0
+ vavg %v18, %v3, %v20, 11
+
#CHECK: vavgb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf2]
#CHECK: vavgb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf2]
#CHECK: vavgb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf2]
vavgh %v31, %v0, %v0
vavgh %v18, %v3, %v20
+#CHECK: vavgl %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf0]
+#CHECK: vavgl %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf0]
+#CHECK: vavgl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf0]
+#CHECK: vavgl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf0]
+#CHECK: vavgl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf0]
+#CHECK: vavgl %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf0]
+
+ vavgl %v0, %v0, %v0, 0
+ vavgl %v0, %v0, %v0, 15
+ vavgl %v0, %v0, %v31, 0
+ vavgl %v0, %v31, %v0, 0
+ vavgl %v31, %v0, %v0, 0
+ vavgl %v18, %v3, %v20, 11
+
#CHECK: vavglb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf0]
#CHECK: vavglb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf0]
#CHECK: vavglb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf0]
vavglh %v31, %v0, %v0
vavglh %v18, %v3, %v20
+#CHECK: vcdg %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc3]
+#CHECK: vcdg %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc3]
+#CHECK: vcdg %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc3]
+#CHECK: vcdg %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc3]
+#CHECK: vcdg %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc3]
+#CHECK: vcdg %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc3]
+#CHECK: vcdg %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc3]
+#CHECK: vcdg %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc3]
+
+ vcdg %v0, %v0, 0, 0, 0
+ vcdg %v0, %v0, 15, 0, 0
+ vcdg %v0, %v0, 0, 0, 15
+ vcdg %v0, %v0, 0, 4, 0
+ vcdg %v0, %v0, 0, 12, 0
+ vcdg %v0, %v31, 0, 0, 0
+ vcdg %v31, %v0, 0, 0, 0
+ vcdg %v14, %v17, 11, 4, 10
+
#CHECK: vcdgb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc3]
#CHECK: vcdgb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc3]
#CHECK: vcdgb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc3]
vcdgb %v31, %v0, 0, 0
vcdgb %v14, %v17, 4, 10
+#CHECK: vcdlg %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc1]
+#CHECK: vcdlg %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc1]
+#CHECK: vcdlg %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc1]
+#CHECK: vcdlg %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc1]
+#CHECK: vcdlg %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc1]
+#CHECK: vcdlg %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc1]
+#CHECK: vcdlg %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc1]
+#CHECK: vcdlg %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc1]
+
+ vcdlg %v0, %v0, 0, 0, 0
+ vcdlg %v0, %v0, 15, 0, 0
+ vcdlg %v0, %v0, 0, 0, 15
+ vcdlg %v0, %v0, 0, 4, 0
+ vcdlg %v0, %v0, 0, 12, 0
+ vcdlg %v0, %v31, 0, 0, 0
+ vcdlg %v31, %v0, 0, 0, 0
+ vcdlg %v14, %v17, 11, 4, 10
+
#CHECK: vcdlgb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc1]
#CHECK: vcdlgb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc1]
#CHECK: vcdlgb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc1]
vcksm %v31, %v0, %v0
vcksm %v18, %v3, %v20
+#CHECK: vceq %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf8]
+#CHECK: vceq %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf8]
+#CHECK: vceq %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xf8]
+#CHECK: vceq %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf8]
+#CHECK: vceq %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf8]
+#CHECK: vceq %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf8]
+#CHECK: vceq %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x90,0xba,0xf8]
+
+ vceq %v0, %v0, %v0, 0, 0
+ vceq %v0, %v0, %v0, 15, 0
+ vceq %v0, %v0, %v0, 0, 15
+ vceq %v0, %v0, %v31, 0, 0
+ vceq %v0, %v31, %v0, 0, 0
+ vceq %v31, %v0, %v0, 0, 0
+ vceq %v18, %v3, %v20, 11, 9
+
#CHECK: vceqb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf8]
#CHECK: vceqb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf8]
#CHECK: vceqb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf8]
vceqh %v18, %v3, %v20
vceqhs %v5, %v22, %v7
+#CHECK: vcgd %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc2]
+#CHECK: vcgd %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc2]
+#CHECK: vcgd %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc2]
+#CHECK: vcgd %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc2]
+#CHECK: vcgd %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc2]
+#CHECK: vcgd %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc2]
+#CHECK: vcgd %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc2]
+#CHECK: vcgd %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc2]
+
+ vcgd %v0, %v0, 0, 0, 0
+ vcgd %v0, %v0, 15, 0, 0
+ vcgd %v0, %v0, 0, 0, 15
+ vcgd %v0, %v0, 0, 4, 0
+ vcgd %v0, %v0, 0, 12, 0
+ vcgd %v0, %v31, 0, 0, 0
+ vcgd %v31, %v0, 0, 0, 0
+ vcgd %v14, %v17, 11, 4, 10
+
#CHECK: vcgdb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc2]
#CHECK: vcgdb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc2]
#CHECK: vcgdb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc2]
vcgdb %v31, %v0, 0, 0
vcgdb %v14, %v17, 4, 10
+#CHECK: vch %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfb]
+#CHECK: vch %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xfb]
+#CHECK: vch %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xfb]
+#CHECK: vch %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfb]
+#CHECK: vch %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfb]
+#CHECK: vch %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfb]
+#CHECK: vch %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x90,0xba,0xfb]
+
+ vch %v0, %v0, %v0, 0, 0
+ vch %v0, %v0, %v0, 15, 0
+ vch %v0, %v0, %v0, 0, 15
+ vch %v0, %v0, %v31, 0, 0
+ vch %v0, %v31, %v0, 0, 0
+ vch %v31, %v0, %v0, 0, 0
+ vch %v18, %v3, %v20, 11, 9
+
#CHECK: vchb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfb]
#CHECK: vchb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfb]
#CHECK: vchb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfb]
vchh %v18, %v3, %v20
vchhs %v5, %v22, %v7
+#CHECK: vchl %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf9]
+#CHECK: vchl %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf9]
+#CHECK: vchl %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xf9]
+#CHECK: vchl %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf9]
+#CHECK: vchl %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf9]
+#CHECK: vchl %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf9]
+#CHECK: vchl %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x90,0xba,0xf9]
+
+ vchl %v0, %v0, %v0, 0, 0
+ vchl %v0, %v0, %v0, 15, 0
+ vchl %v0, %v0, %v0, 0, 15
+ vchl %v0, %v0, %v31, 0, 0
+ vchl %v0, %v31, %v0, 0, 0
+ vchl %v31, %v0, %v0, 0, 0
+ vchl %v18, %v3, %v20, 11, 9
+
#CHECK: vchlb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf9]
#CHECK: vchlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf9]
#CHECK: vchlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf9]
vchlh %v18, %v3, %v20
vchlhs %v5, %v22, %v7
+#CHECK: vclgd %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc0]
+#CHECK: vclgd %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc0]
+#CHECK: vclgd %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc0]
+#CHECK: vclgd %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc0]
+#CHECK: vclgd %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc0]
+#CHECK: vclgd %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc0]
+#CHECK: vclgd %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc0]
+#CHECK: vclgd %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc0]
+
+ vclgd %v0, %v0, 0, 0, 0
+ vclgd %v0, %v0, 15, 0, 0
+ vclgd %v0, %v0, 0, 0, 15
+ vclgd %v0, %v0, 0, 4, 0
+ vclgd %v0, %v0, 0, 12, 0
+ vclgd %v0, %v31, 0, 0, 0
+ vclgd %v31, %v0, 0, 0, 0
+ vclgd %v14, %v17, 11, 4, 10
+
#CHECK: vclgdb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc0]
#CHECK: vclgdb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc0]
#CHECK: vclgdb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc0]
vclgdb %v31, %v0, 0, 0
vclgdb %v14, %v17, 4, 10
+#CHECK: vclz %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x53]
+#CHECK: vclz %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x53]
+#CHECK: vclz %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x53]
+#CHECK: vclz %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x53]
+#CHECK: vclz %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x53]
+#CHECK: vclz %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x53]
+#CHECK: vclz %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0x53]
+
+ vclz %v0, %v0, 0
+ vclz %v0, %v0, 15
+ vclz %v0, %v15, 0
+ vclz %v0, %v31, 0
+ vclz %v15, %v0, 0
+ vclz %v31, %v0, 0
+ vclz %v14, %v17, 11
+
#CHECK: vclzb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x53]
#CHECK: vclzb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x53]
#CHECK: vclzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x53]
vclzh %v31, %v0
vclzh %v14, %v17
+#CHECK: vctz %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x52]
+#CHECK: vctz %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x52]
+#CHECK: vctz %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x52]
+#CHECK: vctz %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x52]
+#CHECK: vctz %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x52]
+#CHECK: vctz %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x52]
+#CHECK: vctz %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0x52]
+
+ vctz %v0, %v0, 0
+ vctz %v0, %v0, 15
+ vctz %v0, %v15, 0
+ vctz %v0, %v31, 0
+ vctz %v15, %v0, 0
+ vctz %v31, %v0, 0
+ vctz %v14, %v17, 11
+
#CHECK: vctzb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x52]
#CHECK: vctzb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x52]
#CHECK: vctzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x52]
vctzh %v31, %v0
vctzh %v14, %v17
+#CHECK: vec %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xdb]
+#CHECK: vec %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xdb]
+#CHECK: vec %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xdb]
+#CHECK: vec %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdb]
+#CHECK: vec %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xdb]
+#CHECK: vec %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdb]
+#CHECK: vec %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xdb]
+
+ vec %v0, %v0, 0
+ vec %v0, %v0, 15
+ vec %v0, %v15, 0
+ vec %v0, %v31, 0
+ vec %v15, %v0, 0
+ vec %v31, %v0, 0
+ vec %v14, %v17, 11
+
#CHECK: vecb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xdb]
#CHECK: vecb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xdb]
#CHECK: vecb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdb]
vech %v31, %v0
vech %v14, %v17
+#CHECK: vecl %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd9]
+#CHECK: vecl %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xd9]
+#CHECK: vecl %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd9]
+#CHECK: vecl %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd9]
+#CHECK: vecl %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xd9]
+#CHECK: vecl %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd9]
+#CHECK: vecl %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xd9]
+
+ vecl %v0, %v0, 0
+ vecl %v0, %v0, 15
+ vecl %v0, %v15, 0
+ vecl %v0, %v31, 0
+ vecl %v15, %v0, 0
+ vecl %v31, %v0, 0
+ vecl %v14, %v17, 11
+
#CHECK: veclb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd9]
#CHECK: veclb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd9]
#CHECK: veclb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd9]
veclh %v31, %v0
veclh %v14, %v17
+#CHECK: verim %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x72]
+#CHECK: verim %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x72]
+#CHECK: verim %v0, %v0, %v0, 255, 0 # encoding: [0xe7,0x00,0x00,0xff,0x00,0x72]
+#CHECK: verim %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x72]
+#CHECK: verim %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x72]
+#CHECK: verim %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x72]
+#CHECK: verim %v13, %v17, %v21, 121, 11 # encoding: [0xe7,0xd1,0x50,0x79,0xb6,0x72]
+
+ verim %v0, %v0, %v0, 0, 0
+ verim %v0, %v0, %v0, 0, 15
+ verim %v0, %v0, %v0, 255, 0
+ verim %v0, %v0, %v31, 0, 0
+ verim %v0, %v31, %v0, 0, 0
+ verim %v31, %v0, %v0, 0, 0
+ verim %v13, %v17, %v21, 0x79, 11
+
#CHECK: verimb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x72]
#CHECK: verimb %v0, %v0, %v0, 255 # encoding: [0xe7,0x00,0x00,0xff,0x00,0x72]
#CHECK: verimb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x72]
verimh %v31, %v0, %v0, 0
verimh %v13, %v17, %v21, 0x79
+#CHECK: verllv %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x73]
+#CHECK: verllv %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x73]
+#CHECK: verllv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x73]
+#CHECK: verllv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x73]
+#CHECK: verllv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x73]
+#CHECK: verllv %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x73]
+
+ verllv %v0, %v0, %v0, 0
+ verllv %v0, %v0, %v0, 15
+ verllv %v0, %v0, %v31, 0
+ verllv %v0, %v31, %v0, 0
+ verllv %v31, %v0, %v0, 0
+ verllv %v18, %v3, %v20, 11
+
#CHECK: verllvb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x73]
#CHECK: verllvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x73]
#CHECK: verllvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x73]
verllvh %v31, %v0, %v0
verllvh %v18, %v3, %v20
+#CHECK: verll %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x33]
+#CHECK: verll %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x33]
+#CHECK: verll %v0, %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x33]
+#CHECK: verll %v0, %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x33]
+#CHECK: verll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x33]
+#CHECK: verll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x33]
+#CHECK: verll %v14, %v17, 1074(%r5), 11 # encoding: [0xe7,0xe1,0x54,0x32,0xb4,0x33]
+
+ verll %v0, %v0, 0, 0
+ verll %v0, %v0, 0, 15
+ verll %v0, %v0, 4095, 0
+ verll %v0, %v0, 0(%r15), 0
+ verll %v0, %v31, 0, 0
+ verll %v31, %v0, 0, 0
+ verll %v14, %v17, 1074(%r5), 11
+
#CHECK: verllb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x33]
#CHECK: verllb %v0, %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x33]
#CHECK: verllb %v0, %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x33]
verllh %v31, %v0, 0
verllh %v14, %v17, 1074(%r5)
+#CHECK: veslv %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x70]
+#CHECK: veslv %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x70]
+#CHECK: veslv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x70]
+#CHECK: veslv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x70]
+#CHECK: veslv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x70]
+#CHECK: veslv %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x70]
+
+ veslv %v0, %v0, %v0, 0
+ veslv %v0, %v0, %v0, 15
+ veslv %v0, %v0, %v31, 0
+ veslv %v0, %v31, %v0, 0
+ veslv %v31, %v0, %v0, 0
+ veslv %v18, %v3, %v20, 11
+
#CHECK: veslvb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x70]
#CHECK: veslvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x70]
#CHECK: veslvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x70]
veslvh %v31, %v0, %v0
veslvh %v18, %v3, %v20
+#CHECK: vesl %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x30]
+#CHECK: vesl %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x30]
+#CHECK: vesl %v0, %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x30]
+#CHECK: vesl %v0, %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x30]
+#CHECK: vesl %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x30]
+#CHECK: vesl %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x30]
+#CHECK: vesl %v14, %v17, 1074(%r5), 11 # encoding: [0xe7,0xe1,0x54,0x32,0xb4,0x30]
+
+ vesl %v0, %v0, 0, 0
+ vesl %v0, %v0, 0, 15
+ vesl %v0, %v0, 4095, 0
+ vesl %v0, %v0, 0(%r15), 0
+ vesl %v0, %v31, 0, 0
+ vesl %v31, %v0, 0, 0
+ vesl %v14, %v17, 1074(%r5), 11
+
#CHECK: veslb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x30]
#CHECK: veslb %v0, %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x30]
#CHECK: veslb %v0, %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x30]
veslh %v31, %v0, 0
veslh %v14, %v17, 1074(%r5)
+#CHECK: vesrav %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x7a]
+#CHECK: vesrav %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x7a]
+#CHECK: vesrav %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7a]
+#CHECK: vesrav %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7a]
+#CHECK: vesrav %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7a]
+#CHECK: vesrav %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x7a]
+
+ vesrav %v0, %v0, %v0, 0
+ vesrav %v0, %v0, %v0, 15
+ vesrav %v0, %v0, %v31, 0
+ vesrav %v0, %v31, %v0, 0
+ vesrav %v31, %v0, %v0, 0
+ vesrav %v18, %v3, %v20, 11
+
#CHECK: vesravb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x7a]
#CHECK: vesravb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7a]
#CHECK: vesravb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7a]
vesravh %v31, %v0, %v0
vesravh %v18, %v3, %v20
+#CHECK: vesra %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x3a]
+#CHECK: vesra %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x3a]
+#CHECK: vesra %v0, %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x3a]
+#CHECK: vesra %v0, %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x3a]
+#CHECK: vesra %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3a]
+#CHECK: vesra %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3a]
+#CHECK: vesra %v14, %v17, 1074(%r5), 11 # encoding: [0xe7,0xe1,0x54,0x32,0xb4,0x3a]
+
+ vesra %v0, %v0, 0, 0
+ vesra %v0, %v0, 0, 15
+ vesra %v0, %v0, 4095, 0
+ vesra %v0, %v0, 0(%r15), 0
+ vesra %v0, %v31, 0, 0
+ vesra %v31, %v0, 0, 0
+ vesra %v14, %v17, 1074(%r5), 11
+
#CHECK: vesrab %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x3a]
#CHECK: vesrab %v0, %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x3a]
#CHECK: vesrab %v0, %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x3a]
vesrah %v31, %v0, 0
vesrah %v14, %v17, 1074(%r5)
+#CHECK: vesrlv %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x78]
+#CHECK: vesrlv %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x78]
+#CHECK: vesrlv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x78]
+#CHECK: vesrlv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x78]
+#CHECK: vesrlv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x78]
+#CHECK: vesrlv %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x78]
+
+ vesrlv %v0, %v0, %v0, 0
+ vesrlv %v0, %v0, %v0, 15
+ vesrlv %v0, %v0, %v31, 0
+ vesrlv %v0, %v31, %v0, 0
+ vesrlv %v31, %v0, %v0, 0
+ vesrlv %v18, %v3, %v20, 11
+
#CHECK: vesrlvb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x78]
#CHECK: vesrlvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x78]
#CHECK: vesrlvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x78]
vesrlvh %v31, %v0, %v0
vesrlvh %v18, %v3, %v20
+#CHECK: vesrl %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x38]
+#CHECK: vesrl %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x38]
+#CHECK: vesrl %v0, %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x38]
+#CHECK: vesrl %v0, %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x38]
+#CHECK: vesrl %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x38]
+#CHECK: vesrl %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x38]
+#CHECK: vesrl %v14, %v17, 1074(%r5), 11 # encoding: [0xe7,0xe1,0x54,0x32,0xb4,0x38]
+
+ vesrl %v0, %v0, 0, 0
+ vesrl %v0, %v0, 0, 15
+ vesrl %v0, %v0, 4095, 0
+ vesrl %v0, %v0, 0(%r15), 0
+ vesrl %v0, %v31, 0, 0
+ vesrl %v31, %v0, 0, 0
+ vesrl %v14, %v17, 1074(%r5), 11
+
#CHECK: vesrlb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x38]
#CHECK: vesrlb %v0, %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x38]
#CHECK: vesrlb %v0, %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x38]
vesrlh %v31, %v0, 0
vesrlh %v14, %v17, 1074(%r5)
+#CHECK: vfa %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xe3]
+#CHECK: vfa %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xe3]
+#CHECK: vfa %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xe3]
+#CHECK: vfa %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe3]
+#CHECK: vfa %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe3]
+#CHECK: vfa %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe3]
+#CHECK: vfa %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x09,0xba,0xe3]
+
+ vfa %v0, %v0, %v0, 0, 0
+ vfa %v0, %v0, %v0, 15, 0
+ vfa %v0, %v0, %v0, 0, 15
+ vfa %v0, %v0, %v31, 0, 0
+ vfa %v0, %v31, %v0, 0, 0
+ vfa %v31, %v0, %v0, 0, 0
+ vfa %v18, %v3, %v20, 11, 9
+
#CHECK: vfadb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xe3]
#CHECK: vfadb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe3]
#CHECK: vfadb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe3]
vfadb %v31, %v0, %v0
vfadb %v18, %v3, %v20
+#CHECK: vfae %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x82]
+#CHECK: vfae %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x82]
+#CHECK: vfae %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x82]
+#CHECK: vfae %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x82]
+#CHECK: vfae %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x82]
+#CHECK: vfae %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x82]
+#CHECK: vfae %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x82]
+#CHECK: vfae %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x82]
+#CHECK: vfae %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x82]
+#CHECK: vfae %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x82]
+#CHECK: vfae %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x82]
+#CHECK: vfae %v18, %v3, %v20, 11, 4 # encoding: [0xe7,0x23,0x40,0x40,0xba,0x82]
+#CHECK: vfae %v18, %v3, %v20, 0, 15 # encoding: [0xe7,0x23,0x40,0xf0,0x0a,0x82]
+
+ vfae %v0, %v0, %v0, 0
+ vfae %v0, %v0, %v0, 15
+ vfae %v0, %v0, %v0, 0, 0
+ vfae %v0, %v0, %v0, 15, 0
+ vfae %v0, %v0, %v0, 0, 12
+ vfae %v0, %v0, %v15, 0
+ vfae %v0, %v0, %v31, 0
+ vfae %v0, %v15, %v0, 0
+ vfae %v0, %v31, %v0, 0
+ vfae %v15, %v0, %v0, 0
+ vfae %v31, %v0, %v0, 0
+ vfae %v18, %v3, %v20, 11, 4
+ vfae %v18, %v3, %v20, 0, 15
+
#CHECK: vfaeb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x82]
#CHECK: vfaeb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x82]
#CHECK: vfaeb %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x82]
vfaezhs %v18, %v3, %v20, 8
vfaezhs %v18, %v3, %v20, 15
+#CHECK: vfce %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xe8]
+#CHECK: vfce %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xe8]
+#CHECK: vfce %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xe8]
+#CHECK: vfce %v0, %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xe8]
+#CHECK: vfce %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe8]
+#CHECK: vfce %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe8]
+#CHECK: vfce %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe8]
+#CHECK: vfce %v18, %v3, %v20, 11, 9, 7 # encoding: [0xe7,0x23,0x40,0x79,0xba,0xe8]
+
+ vfce %v0, %v0, %v0, 0, 0, 0
+ vfce %v0, %v0, %v0, 15, 0, 0
+ vfce %v0, %v0, %v0, 0, 15, 0
+ vfce %v0, %v0, %v0, 0, 0, 15
+ vfce %v0, %v0, %v31, 0, 0, 0
+ vfce %v0, %v31, %v0, 0, 0, 0
+ vfce %v31, %v0, %v0, 0, 0, 0
+ vfce %v18, %v3, %v20, 11, 9, 7
+
#CHECK: vfcedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xe8]
#CHECK: vfcedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe8]
#CHECK: vfcedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe8]
vfcedbs %v31, %v0, %v0
vfcedbs %v18, %v3, %v20
+#CHECK: vfch %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xeb]
+#CHECK: vfch %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xeb]
+#CHECK: vfch %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xeb]
+#CHECK: vfch %v0, %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xeb]
+#CHECK: vfch %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xeb]
+#CHECK: vfch %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xeb]
+#CHECK: vfch %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xeb]
+#CHECK: vfch %v18, %v3, %v20, 11, 9, 7 # encoding: [0xe7,0x23,0x40,0x79,0xba,0xeb]
+
+ vfch %v0, %v0, %v0, 0, 0, 0
+ vfch %v0, %v0, %v0, 15, 0, 0
+ vfch %v0, %v0, %v0, 0, 15, 0
+ vfch %v0, %v0, %v0, 0, 0, 15
+ vfch %v0, %v0, %v31, 0, 0, 0
+ vfch %v0, %v31, %v0, 0, 0, 0
+ vfch %v31, %v0, %v0, 0, 0, 0
+ vfch %v18, %v3, %v20, 11, 9, 7
+
#CHECK: vfchdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xeb]
#CHECK: vfchdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xeb]
#CHECK: vfchdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xeb]
vfchdbs %v31, %v0, %v0
vfchdbs %v18, %v3, %v20
+#CHECK: vfche %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xea]
+#CHECK: vfche %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xea]
+#CHECK: vfche %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xea]
+#CHECK: vfche %v0, %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xea]
+#CHECK: vfche %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xea]
+#CHECK: vfche %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xea]
+#CHECK: vfche %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xea]
+#CHECK: vfche %v18, %v3, %v20, 11, 9, 7 # encoding: [0xe7,0x23,0x40,0x79,0xba,0xea]
+
+ vfche %v0, %v0, %v0, 0, 0, 0
+ vfche %v0, %v0, %v0, 15, 0, 0
+ vfche %v0, %v0, %v0, 0, 15, 0
+ vfche %v0, %v0, %v0, 0, 0, 15
+ vfche %v0, %v0, %v31, 0, 0, 0
+ vfche %v0, %v31, %v0, 0, 0, 0
+ vfche %v31, %v0, %v0, 0, 0, 0
+ vfche %v18, %v3, %v20, 11, 9, 7
+
#CHECK: vfchedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xea]
#CHECK: vfchedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xea]
#CHECK: vfchedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xea]
vfchedbs %v31, %v0, %v0
vfchedbs %v18, %v3, %v20
+#CHECK: vfd %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xe5]
+#CHECK: vfd %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xe5]
+#CHECK: vfd %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xe5]
+#CHECK: vfd %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe5]
+#CHECK: vfd %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe5]
+#CHECK: vfd %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe5]
+#CHECK: vfd %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x09,0xba,0xe5]
+
+ vfd %v0, %v0, %v0, 0, 0
+ vfd %v0, %v0, %v0, 15, 0
+ vfd %v0, %v0, %v0, 0, 15
+ vfd %v0, %v0, %v31, 0, 0
+ vfd %v0, %v31, %v0, 0, 0
+ vfd %v31, %v0, %v0, 0, 0
+ vfd %v18, %v3, %v20, 11, 9
+
#CHECK: vfddb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xe5]
#CHECK: vfddb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe5]
#CHECK: vfddb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe5]
vfddb %v31, %v0, %v0
vfddb %v18, %v3, %v20
+#CHECK: vfee %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x80]
+#CHECK: vfee %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x80]
+#CHECK: vfee %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x80]
+#CHECK: vfee %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x80]
+#CHECK: vfee %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x80]
+#CHECK: vfee %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x80]
+#CHECK: vfee %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x80]
+#CHECK: vfee %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x80]
+#CHECK: vfee %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x80]
+#CHECK: vfee %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x80]
+#CHECK: vfee %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x80]
+#CHECK: vfee %v18, %v3, %v20, 11, 4 # encoding: [0xe7,0x23,0x40,0x40,0xba,0x80]
+#CHECK: vfee %v18, %v3, %v20, 0, 15 # encoding: [0xe7,0x23,0x40,0xf0,0x0a,0x80]
+
+ vfee %v0, %v0, %v0, 0
+ vfee %v0, %v0, %v0, 15
+ vfee %v0, %v0, %v0, 0, 0
+ vfee %v0, %v0, %v0, 15, 0
+ vfee %v0, %v0, %v0, 0, 12
+ vfee %v0, %v0, %v15, 0
+ vfee %v0, %v0, %v31, 0
+ vfee %v0, %v15, %v0, 0
+ vfee %v0, %v31, %v0, 0
+ vfee %v15, %v0, %v0, 0
+ vfee %v31, %v0, %v0, 0
+ vfee %v18, %v3, %v20, 11, 4
+ vfee %v18, %v3, %v20, 0, 15
+
#CHECK: vfeeb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x80]
#CHECK: vfeeb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x80]
#CHECK: vfeeb %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x80]
vfeezh %v18, %v3, %v20
vfeezhs %v5, %v22, %v7
+#CHECK: vfene %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x81]
+#CHECK: vfene %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x81]
+#CHECK: vfene %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x81]
+#CHECK: vfene %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x81]
+#CHECK: vfene %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x81]
+#CHECK: vfene %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x81]
+#CHECK: vfene %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x81]
+#CHECK: vfene %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x81]
+#CHECK: vfene %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x81]
+#CHECK: vfene %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x81]
+#CHECK: vfene %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x81]
+#CHECK: vfene %v18, %v3, %v20, 11, 4 # encoding: [0xe7,0x23,0x40,0x40,0xba,0x81]
+#CHECK: vfene %v18, %v3, %v20, 0, 15 # encoding: [0xe7,0x23,0x40,0xf0,0x0a,0x81]
+
+ vfene %v0, %v0, %v0, 0
+ vfene %v0, %v0, %v0, 15
+ vfene %v0, %v0, %v0, 0, 0
+ vfene %v0, %v0, %v0, 15, 0
+ vfene %v0, %v0, %v0, 0, 12
+ vfene %v0, %v0, %v15, 0
+ vfene %v0, %v0, %v31, 0
+ vfene %v0, %v15, %v0, 0
+ vfene %v0, %v31, %v0, 0
+ vfene %v15, %v0, %v0, 0
+ vfene %v31, %v0, %v0, 0
+ vfene %v18, %v3, %v20, 11, 4
+ vfene %v18, %v3, %v20, 0, 15
+
#CHECK: vfeneb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x81]
#CHECK: vfeneb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x81]
#CHECK: vfeneb %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x81]
vfenezh %v18, %v3, %v20
vfenezhs %v5, %v22, %v7
+#CHECK: vfi %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc7]
+#CHECK: vfi %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc7]
+#CHECK: vfi %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc7]
+#CHECK: vfi %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc7]
+#CHECK: vfi %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc7]
+#CHECK: vfi %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc7]
+#CHECK: vfi %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc7]
+#CHECK: vfi %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc7]
+
+ vfi %v0, %v0, 0, 0, 0
+ vfi %v0, %v0, 15, 0, 0
+ vfi %v0, %v0, 0, 0, 15
+ vfi %v0, %v0, 0, 4, 0
+ vfi %v0, %v0, 0, 12, 0
+ vfi %v0, %v31, 0, 0, 0
+ vfi %v31, %v0, 0, 0, 0
+ vfi %v14, %v17, 11, 4, 10
+
#CHECK: vfidb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc7]
#CHECK: vfidb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc7]
#CHECK: vfidb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc7]
vfidb %v31, %v0, 0, 0
vfidb %v14, %v17, 4, 10
+#CHECK: vistr %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5c]
+#CHECK: vistr %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x5c]
+#CHECK: vistr %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5c]
+#CHECK: vistr %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x5c]
+#CHECK: vistr %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x5c]
+#CHECK: vistr %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x5c]
+#CHECK: vistr %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5c]
+#CHECK: vistr %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x5c]
+#CHECK: vistr %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5c]
+#CHECK: vistr %v18, %v3, 11, 9 # encoding: [0xe7,0x23,0x00,0x90,0xb8,0x5c]
+
+ vistr %v0, %v0, 0
+ vistr %v0, %v0, 15
+ vistr %v0, %v0, 0, 0
+ vistr %v0, %v0, 15, 0
+ vistr %v0, %v0, 0, 12
+ vistr %v0, %v15, 0
+ vistr %v0, %v31, 0
+ vistr %v15, %v0, 0
+ vistr %v31, %v0, 0
+ vistr %v18, %v3, 11, 9
+
#CHECK: vistrb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5c]
#CHECK: vistrb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5c]
#CHECK: vistrb %v0, %v0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x5c]
vistrh %v18, %v3
vistrhs %v5, %v22
+#CHECK: vfpso %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xcc]
+#CHECK: vfpso %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xcc]
+#CHECK: vfpso %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xcc]
+#CHECK: vfpso %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xcc]
+#CHECK: vfpso %v0, %v15, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xcc]
+#CHECK: vfpso %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xcc]
+#CHECK: vfpso %v15, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xcc]
+#CHECK: vfpso %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xcc]
+#CHECK: vfpso %v14, %v17, 11, 9, 7 # encoding: [0xe7,0xe1,0x00,0x79,0xb4,0xcc]
+
+ vfpso %v0, %v0, 0, 0, 0
+ vfpso %v0, %v0, 15, 0, 0
+ vfpso %v0, %v0, 0, 15, 0
+ vfpso %v0, %v0, 0, 0, 15
+ vfpso %v0, %v15, 0, 0, 0
+ vfpso %v0, %v31, 0, 0, 0
+ vfpso %v15, %v0, 0, 0, 0
+ vfpso %v31, %v0, 0, 0, 0
+ vfpso %v14, %v17, 11, 9, 7
+
+#CHECK: vfpsodb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xcc]
+#CHECK: vfpsodb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xcc]
+#CHECK: vfpsodb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcc]
+#CHECK: vfpsodb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0xcc]
+#CHECK: vfpsodb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcc]
+#CHECK: vfpsodb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x70,0x34,0xcc]
+
+ vfpsodb %v0, %v0, 0
+ vfpsodb %v0, %v0, 15
+ vfpsodb %v0, %v15, 0
+ vfpsodb %v0, %v31, 0
+ vfpsodb %v15, %v0, 0
+ vfpsodb %v31, %v0, 0
+ vfpsodb %v14, %v17, 7
+
#CHECK: vflcdb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xcc]
#CHECK: vflcdb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xcc]
#CHECK: vflcdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcc]
vflpdb %v31, %v0
vflpdb %v14, %v17
+#CHECK: vfma %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8f]
+#CHECK: vfma %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8f]
+#CHECK: vfma %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x8f]
+#CHECK: vfma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8f]
+#CHECK: vfma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8f]
+#CHECK: vfma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8f]
+#CHECK: vfma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8f]
+#CHECK: vfma %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x8f]
+
+ vfma %v0, %v0, %v0, %v0, 0, 0
+ vfma %v0, %v0, %v0, %v0, 0, 15
+ vfma %v0, %v0, %v0, %v0, 15, 0
+ vfma %v0, %v0, %v0, %v31, 0, 0
+ vfma %v0, %v0, %v31, %v0, 0, 0
+ vfma %v0, %v31, %v0, %v0, 0, 0
+ vfma %v31, %v0, %v0, %v0, 0, 0
+ vfma %v13, %v17, %v21, %v25, 9, 11
+
#CHECK: vfmadb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x8f]
#CHECK: vfmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8f]
#CHECK: vfmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8f]
vfmadb %v31, %v0, %v0, %v0
vfmadb %v13, %v17, %v21, %v25
+#CHECK: vfm %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xe7]
+#CHECK: vfm %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xe7]
+#CHECK: vfm %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xe7]
+#CHECK: vfm %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe7]
+#CHECK: vfm %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe7]
+#CHECK: vfm %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe7]
+#CHECK: vfm %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x09,0xba,0xe7]
+
+ vfm %v0, %v0, %v0, 0, 0
+ vfm %v0, %v0, %v0, 15, 0
+ vfm %v0, %v0, %v0, 0, 15
+ vfm %v0, %v0, %v31, 0, 0
+ vfm %v0, %v31, %v0, 0, 0
+ vfm %v31, %v0, %v0, 0, 0
+ vfm %v18, %v3, %v20, 11, 9
+
#CHECK: vfmdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xe7]
#CHECK: vfmdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe7]
#CHECK: vfmdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe7]
vfmdb %v31, %v0, %v0
vfmdb %v18, %v3, %v20
+#CHECK: vfms %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8e]
+#CHECK: vfms %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8e]
+#CHECK: vfms %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x8e]
+#CHECK: vfms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8e]
+#CHECK: vfms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8e]
+#CHECK: vfms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8e]
+#CHECK: vfms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8e]
+#CHECK: vfms %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x8e]
+
+ vfms %v0, %v0, %v0, %v0, 0, 0
+ vfms %v0, %v0, %v0, %v0, 0, 15
+ vfms %v0, %v0, %v0, %v0, 15, 0
+ vfms %v0, %v0, %v0, %v31, 0, 0
+ vfms %v0, %v0, %v31, %v0, 0, 0
+ vfms %v0, %v31, %v0, %v0, 0, 0
+ vfms %v31, %v0, %v0, %v0, 0, 0
+ vfms %v13, %v17, %v21, %v25, 9, 11
+
#CHECK: vfmsdb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x8e]
#CHECK: vfmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8e]
#CHECK: vfmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8e]
vfmsdb %v31, %v0, %v0, %v0
vfmsdb %v13, %v17, %v21, %v25
+#CHECK: vfs %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xe2]
+#CHECK: vfs %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xe2]
+#CHECK: vfs %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xe2]
+#CHECK: vfs %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe2]
+#CHECK: vfs %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe2]
+#CHECK: vfs %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe2]
+#CHECK: vfs %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x09,0xba,0xe2]
+
+ vfs %v0, %v0, %v0, 0, 0
+ vfs %v0, %v0, %v0, 15, 0
+ vfs %v0, %v0, %v0, 0, 15
+ vfs %v0, %v0, %v31, 0, 0
+ vfs %v0, %v31, %v0, 0, 0
+ vfs %v31, %v0, %v0, 0, 0
+ vfs %v18, %v3, %v20, 11, 9
+
#CHECK: vfsdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xe2]
#CHECK: vfsdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe2]
#CHECK: vfsdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe2]
vfsdb %v31, %v0, %v0
vfsdb %v18, %v3, %v20
+#CHECK: vfsq %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xce]
+#CHECK: vfsq %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xce]
+#CHECK: vfsq %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xce]
+#CHECK: vfsq %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xce]
+#CHECK: vfsq %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xce]
+#CHECK: vfsq %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xce]
+#CHECK: vfsq %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xce]
+#CHECK: vfsq %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xce]
+
+ vfsq %v0, %v0, 0, 0
+ vfsq %v0, %v0, 15, 0
+ vfsq %v0, %v0, 0, 15
+ vfsq %v0, %v15, 0, 0
+ vfsq %v0, %v31, 0, 0
+ vfsq %v15, %v0, 0, 0
+ vfsq %v31, %v0, 0, 0
+ vfsq %v14, %v17, 11, 9
+
#CHECK: vfsqdb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xce]
#CHECK: vfsqdb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xce]
#CHECK: vfsqdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xce]
vfsqdb %v31, %v0
vfsqdb %v14, %v17
+#CHECK: vftci %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x4a]
+#CHECK: vftci %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x4a]
+#CHECK: vftci %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x4a]
+#CHECK: vftci %v0, %v0, 4095, 0, 0 # encoding: [0xe7,0x00,0xff,0xf0,0x00,0x4a]
+#CHECK: vftci %v0, %v15, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x4a]
+#CHECK: vftci %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4a]
+#CHECK: vftci %v15, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x4a]
+#CHECK: vftci %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4a]
+#CHECK: vftci %v4, %v21, 1656, 11, 9 # encoding: [0xe7,0x45,0x67,0x89,0xb4,0x4a]
+
+ vftci %v0, %v0, 0, 0, 0
+ vftci %v0, %v0, 0, 15, 0
+ vftci %v0, %v0, 0, 0, 15
+ vftci %v0, %v0, 4095, 0, 0
+ vftci %v0, %v15, 0, 0, 0
+ vftci %v0, %v31, 0, 0, 0
+ vftci %v15, %v0, 0, 0, 0
+ vftci %v31, %v0, 0, 0, 0
+ vftci %v4, %v21, 0x678, 11, 9
+
#CHECK: vftcidb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0x4a]
#CHECK: vftcidb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf0,0x30,0x4a]
#CHECK: vftcidb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0x4a]
vgeg %v31, 0(%v0,%r1), 0
vgeg %v10, 1000(%v19,%r7), 1
+#CHECK: vgfma %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xbc]
+#CHECK: vgfma %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xbc]
+#CHECK: vgfma %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbc]
+#CHECK: vgfma %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbc]
+#CHECK: vgfma %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbc]
+#CHECK: vgfma %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbc]
+#CHECK: vgfma %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xbc]
+
+ vgfma %v0, %v0, %v0, %v0, 0
+ vgfma %v0, %v0, %v0, %v0, 15
+ vgfma %v0, %v0, %v0, %v31, 0
+ vgfma %v0, %v0, %v31, %v0, 0
+ vgfma %v0, %v31, %v0, %v0, 0
+ vgfma %v31, %v0, %v0, %v0, 0
+ vgfma %v13, %v17, %v21, %v25, 11
+
#CHECK: vgfmab %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xbc]
#CHECK: vgfmab %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbc]
#CHECK: vgfmab %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbc]
vgfmah %v31, %v0, %v0, %v0
vgfmah %v13, %v17, %v21, %v25
+#CHECK: vgfm %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb4]
+#CHECK: vgfm %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xb4]
+#CHECK: vgfm %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb4]
+#CHECK: vgfm %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb4]
+#CHECK: vgfm %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb4]
+#CHECK: vgfm %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xb4]
+
+ vgfm %v0, %v0, %v0, 0
+ vgfm %v0, %v0, %v0, 15
+ vgfm %v0, %v0, %v31, 0
+ vgfm %v0, %v31, %v0, 0
+ vgfm %v31, %v0, %v0, 0
+ vgfm %v18, %v3, %v20, 11
+
#CHECK: vgfmb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb4]
#CHECK: vgfmb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb4]
#CHECK: vgfmb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb4]
vgfmh %v31, %v0, %v0
vgfmh %v18, %v3, %v20
+#CHECK: vgm %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x46]
+#CHECK: vgm %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x46]
+#CHECK: vgm %v0, 0, 255, 0 # encoding: [0xe7,0x00,0x00,0xff,0x00,0x46]
+#CHECK: vgm %v0, 255, 0, 0 # encoding: [0xe7,0x00,0xff,0x00,0x00,0x46]
+#CHECK: vgm %v15, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x46]
+#CHECK: vgm %v31, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x46]
+#CHECK: vgm %v21, 2, 3, 11 # encoding: [0xe7,0x50,0x02,0x03,0xb8,0x46]
+
+ vgm %v0, 0, 0, 0
+ vgm %v0, 0, 0, 15
+ vgm %v0, 0, 255, 0
+ vgm %v0, 255, 0, 0
+ vgm %v15, 0, 0, 0
+ vgm %v31, 0, 0, 0
+ vgm %v21, 2, 3, 11
+
#CHECK: vgmb %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x46]
#CHECK: vgmb %v0, 0, 255 # encoding: [0xe7,0x00,0x00,0xff,0x00,0x46]
#CHECK: vgmb %v0, 255, 0 # encoding: [0xe7,0x00,0xff,0x00,0x00,0x46]
vlbb %v31, 0, 0
vlbb %v18, 1383(%r3,%r4), 8
+#CHECK: vlc %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xde]
+#CHECK: vlc %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xde]
+#CHECK: vlc %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xde]
+#CHECK: vlc %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xde]
+#CHECK: vlc %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xde]
+#CHECK: vlc %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xde]
+#CHECK: vlc %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xde]
+
+ vlc %v0, %v0, 0
+ vlc %v0, %v0, 15
+ vlc %v0, %v15, 0
+ vlc %v0, %v31, 0
+ vlc %v15, %v0, 0
+ vlc %v31, %v0, 0
+ vlc %v14, %v17, 11
+
#CHECK: vlcb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xde]
#CHECK: vlcb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xde]
#CHECK: vlcb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xde]
vlch %v31, %v0
vlch %v14, %v17
+#CHECK: vlde %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc4]
+#CHECK: vlde %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc4]
+#CHECK: vlde %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xc4]
+#CHECK: vlde %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xc4]
+#CHECK: vlde %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
+#CHECK: vlde %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xc4]
+#CHECK: vlde %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
+#CHECK: vlde %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xc4]
+
+ vlde %v0, %v0, 0, 0
+ vlde %v0, %v0, 15, 0
+ vlde %v0, %v0, 0, 15
+ vlde %v0, %v15, 0, 0
+ vlde %v0, %v31, 0, 0
+ vlde %v15, %v0, 0, 0
+ vlde %v31, %v0, 0, 0
+ vlde %v14, %v17, 11, 9
+
#CHECK: vldeb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc4]
#CHECK: vldeb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xc4]
#CHECK: vldeb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
vleb %v31, 0, 0
vleb %v18, 1383(%r3,%r4), 8
+#CHECK: vled %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc5]
+#CHECK: vled %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc5]
+#CHECK: vled %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc5]
+#CHECK: vled %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc5]
+#CHECK: vled %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc5]
+#CHECK: vled %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
+#CHECK: vled %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
+#CHECK: vled %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc5]
+
+ vled %v0, %v0, 0, 0, 0
+ vled %v0, %v0, 15, 0, 0
+ vled %v0, %v0, 0, 0, 15
+ vled %v0, %v0, 0, 4, 0
+ vled %v0, %v0, 0, 12, 0
+ vled %v0, %v31, 0, 0, 0
+ vled %v31, %v0, 0, 0, 0
+ vled %v14, %v17, 11, 4, 10
+
#CHECK: vledb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc5]
#CHECK: vledb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc5]
#CHECK: vledb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc5]
vleih %v31, 0, 0
vleih %v18, 0x3456, 7
+#CHECK: vlgv %r0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x21]
+#CHECK: vlgv %r0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x21]
+#CHECK: vlgv %r0, %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x21]
+#CHECK: vlgv %r0, %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x21]
+#CHECK: vlgv %r0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x21]
+#CHECK: vlgv %r0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x21]
+#CHECK: vlgv %r15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x21]
+#CHECK: vlgv %r2, %v19, 1383(%r4), 11 # encoding: [0xe7,0x23,0x45,0x67,0xb4,0x21]
+
+ vlgv %r0, %v0, 0, 0
+ vlgv %r0, %v0, 0, 15
+ vlgv %r0, %v0, 4095, 0
+ vlgv %r0, %v0, 0(%r15), 0
+ vlgv %r0, %v15, 0, 0
+ vlgv %r0, %v31, 0, 0
+ vlgv %r15, %v0, 0, 0
+ vlgv %r2, %v19, 1383(%r4), 11
+
#CHECK: vlgvb %r0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x21]
#CHECK: vlgvb %r0, %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x21]
#CHECK: vlgvb %r0, %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x21]
vll %v31, %r0, 0
vll %v18, %r3, 1383(%r4)
+#CHECK: vllez %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x04]
+#CHECK: vllez %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x04]
+#CHECK: vllez %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x04]
+#CHECK: vllez %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x04]
+#CHECK: vllez %v0, 0(%r15,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x00,0x04]
+#CHECK: vllez %v15, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x04]
+#CHECK: vllez %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x04]
+#CHECK: vllez %v18, 1383(%r3,%r4), 11 # encoding: [0xe7,0x23,0x45,0x67,0xb8,0x04]
+
+ vllez %v0, 0, 0
+ vllez %v0, 0, 15
+ vllez %v0, 4095, 0
+ vllez %v0, 0(%r15), 0
+ vllez %v0, 0(%r15,%r1), 0
+ vllez %v15, 0, 0
+ vllez %v31, 0, 0
+ vllez %v18, 0x567(%r3,%r4), 11
+
#CHECK: vllezb %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x04]
#CHECK: vllezb %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x04]
#CHECK: vllezb %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x04]
vlm %v31, %v0, 0
vlm %v14, %v17, 1074(%r5)
+#CHECK: vlp %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xdf]
+#CHECK: vlp %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xdf]
+#CHECK: vlp %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xdf]
+#CHECK: vlp %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdf]
+#CHECK: vlp %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xdf]
+#CHECK: vlp %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdf]
+#CHECK: vlp %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xdf]
+
+ vlp %v0, %v0, 0
+ vlp %v0, %v0, 15
+ vlp %v0, %v15, 0
+ vlp %v0, %v31, 0
+ vlp %v15, %v0, 0
+ vlp %v31, %v0, 0
+ vlp %v14, %v17, 11
+
#CHECK: vlpb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xdf]
#CHECK: vlpb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xdf]
#CHECK: vlpb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdf]
vlr %v31, %v0
vlr %v14, %v17
+#CHECK: vlrep %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x05]
+#CHECK: vlrep %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x05]
+#CHECK: vlrep %v0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x05]
+#CHECK: vlrep %v0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x05]
+#CHECK: vlrep %v0, 0(%r15,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x00,0x05]
+#CHECK: vlrep %v15, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x05]
+#CHECK: vlrep %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x05]
+#CHECK: vlrep %v18, 1383(%r3,%r4), 11 # encoding: [0xe7,0x23,0x45,0x67,0xb8,0x05]
+
+ vlrep %v0, 0, 0
+ vlrep %v0, 0, 15
+ vlrep %v0, 4095, 0
+ vlrep %v0, 0(%r15), 0
+ vlrep %v0, 0(%r15,%r1), 0
+ vlrep %v15, 0, 0
+ vlrep %v31, 0, 0
+ vlrep %v18, 0x567(%r3,%r4), 11
+
#CHECK: vlrepb %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x05]
#CHECK: vlrepb %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x05]
#CHECK: vlrepb %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x05]
vlreph %v31, 0
vlreph %v18, 0x567(%r3,%r4)
+#CHECK: vlvg %v0, %r0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x22]
+#CHECK: vlvg %v0, %r0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x22]
+#CHECK: vlvg %v0, %r0, 4095, 0 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x22]
+#CHECK: vlvg %v0, %r0, 0(%r15), 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x22]
+#CHECK: vlvg %v0, %r15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x22]
+#CHECK: vlvg %v15, %r0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x22]
+#CHECK: vlvg %v31, %r0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x22]
+#CHECK: vlvg %v18, %r3, 1383(%r4), 11 # encoding: [0xe7,0x23,0x45,0x67,0xb8,0x22]
+
+ vlvg %v0, %r0, 0, 0
+ vlvg %v0, %r0, 0, 15
+ vlvg %v0, %r0, 4095, 0
+ vlvg %v0, %r0, 0(%r15), 0
+ vlvg %v0, %r15, 0, 0
+ vlvg %v15, %r0, 0, 0
+ vlvg %v31, %r0, 0, 0
+ vlvg %v18, %r3, 1383(%r4), 11
+
#CHECK: vlvgb %v0, %r0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x22]
#CHECK: vlvgb %v0, %r0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x00,0x22]
#CHECK: vlvgb %v0, %r0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x22]
vlvgp %v31, %r0, %r0
vlvgp %v18, %r3, %r4
+#CHECK: vmae %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xae]
+#CHECK: vmae %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xae]
+#CHECK: vmae %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xae]
+#CHECK: vmae %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xae]
+#CHECK: vmae %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xae]
+#CHECK: vmae %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xae]
+#CHECK: vmae %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xae]
+
+ vmae %v0, %v0, %v0, %v0, 0
+ vmae %v0, %v0, %v0, %v0, 15
+ vmae %v0, %v0, %v0, %v31, 0
+ vmae %v0, %v0, %v31, %v0, 0
+ vmae %v0, %v31, %v0, %v0, 0
+ vmae %v31, %v0, %v0, %v0, 0
+ vmae %v13, %v17, %v21, %v25, 11
+
#CHECK: vmaeb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xae]
#CHECK: vmaeb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xae]
#CHECK: vmaeb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xae]
vmaeh %v31, %v0, %v0, %v0
vmaeh %v13, %v17, %v21, %v25
+#CHECK: vmah %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xab]
+#CHECK: vmah %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xab]
+#CHECK: vmah %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xab]
+#CHECK: vmah %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xab]
+#CHECK: vmah %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xab]
+#CHECK: vmah %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xab]
+#CHECK: vmah %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xab]
+
+ vmah %v0, %v0, %v0, %v0, 0
+ vmah %v0, %v0, %v0, %v0, 15
+ vmah %v0, %v0, %v0, %v31, 0
+ vmah %v0, %v0, %v31, %v0, 0
+ vmah %v0, %v31, %v0, %v0, 0
+ vmah %v31, %v0, %v0, %v0, 0
+ vmah %v13, %v17, %v21, %v25, 11
+
#CHECK: vmahb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xab]
#CHECK: vmahb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xab]
#CHECK: vmahb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xab]
vmahh %v31, %v0, %v0, %v0
vmahh %v13, %v17, %v21, %v25
+#CHECK: vmal %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xaa]
+#CHECK: vmal %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xaa]
+#CHECK: vmal %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaa]
+#CHECK: vmal %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaa]
+#CHECK: vmal %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaa]
+#CHECK: vmal %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaa]
+#CHECK: vmal %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xaa]
+
+ vmal %v0, %v0, %v0, %v0, 0
+ vmal %v0, %v0, %v0, %v0, 15
+ vmal %v0, %v0, %v0, %v31, 0
+ vmal %v0, %v0, %v31, %v0, 0
+ vmal %v0, %v31, %v0, %v0, 0
+ vmal %v31, %v0, %v0, %v0, 0
+ vmal %v13, %v17, %v21, %v25, 11
+
#CHECK: vmalb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xaa]
#CHECK: vmalb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaa]
#CHECK: vmalb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaa]
vmalb %v31, %v0, %v0, %v0
vmalb %v13, %v17, %v21, %v25
+#CHECK: vmale %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xac]
+#CHECK: vmale %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xac]
+#CHECK: vmale %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xac]
+#CHECK: vmale %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xac]
+#CHECK: vmale %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xac]
+#CHECK: vmale %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xac]
+#CHECK: vmale %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xac]
+
+ vmale %v0, %v0, %v0, %v0, 0
+ vmale %v0, %v0, %v0, %v0, 15
+ vmale %v0, %v0, %v0, %v31, 0
+ vmale %v0, %v0, %v31, %v0, 0
+ vmale %v0, %v31, %v0, %v0, 0
+ vmale %v31, %v0, %v0, %v0, 0
+ vmale %v13, %v17, %v21, %v25, 11
+
#CHECK: vmaleb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xac]
#CHECK: vmaleb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xac]
#CHECK: vmaleb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xac]
vmalf %v31, %v0, %v0, %v0
vmalf %v13, %v17, %v21, %v25
+#CHECK: vmalh %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa9]
+#CHECK: vmalh %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xa9]
+#CHECK: vmalh %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xa9]
+#CHECK: vmalh %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa9]
+#CHECK: vmalh %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa9]
+#CHECK: vmalh %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa9]
+#CHECK: vmalh %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xa9]
+
+ vmalh %v0, %v0, %v0, %v0, 0
+ vmalh %v0, %v0, %v0, %v0, 15
+ vmalh %v0, %v0, %v0, %v31, 0
+ vmalh %v0, %v0, %v31, %v0, 0
+ vmalh %v0, %v31, %v0, %v0, 0
+ vmalh %v31, %v0, %v0, %v0, 0
+ vmalh %v13, %v17, %v21, %v25, 11
+
#CHECK: vmalhb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa9]
#CHECK: vmalhb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xa9]
#CHECK: vmalhb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa9]
vmalhw %v31, %v0, %v0, %v0
vmalhw %v13, %v17, %v21, %v25
+#CHECK: vmalo %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xad]
+#CHECK: vmalo %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xad]
+#CHECK: vmalo %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xad]
+#CHECK: vmalo %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xad]
+#CHECK: vmalo %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xad]
+#CHECK: vmalo %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xad]
+#CHECK: vmalo %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xad]
+
+ vmalo %v0, %v0, %v0, %v0, 0
+ vmalo %v0, %v0, %v0, %v0, 15
+ vmalo %v0, %v0, %v0, %v31, 0
+ vmalo %v0, %v0, %v31, %v0, 0
+ vmalo %v0, %v31, %v0, %v0, 0
+ vmalo %v31, %v0, %v0, %v0, 0
+ vmalo %v13, %v17, %v21, %v25, 11
+
#CHECK: vmalob %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xad]
#CHECK: vmalob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xad]
#CHECK: vmalob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xad]
vmaloh %v31, %v0, %v0, %v0
vmaloh %v13, %v17, %v21, %v25
+#CHECK: vmao %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xaf]
+#CHECK: vmao %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xaf]
+#CHECK: vmao %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaf]
+#CHECK: vmao %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaf]
+#CHECK: vmao %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaf]
+#CHECK: vmao %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaf]
+#CHECK: vmao %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xaf]
+
+ vmao %v0, %v0, %v0, %v0, 0
+ vmao %v0, %v0, %v0, %v0, 15
+ vmao %v0, %v0, %v0, %v31, 0
+ vmao %v0, %v0, %v31, %v0, 0
+ vmao %v0, %v31, %v0, %v0, 0
+ vmao %v31, %v0, %v0, %v0, 0
+ vmao %v13, %v17, %v21, %v25, 11
+
#CHECK: vmaob %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xaf]
#CHECK: vmaob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaf]
#CHECK: vmaob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaf]
vmaoh %v31, %v0, %v0, %v0
vmaoh %v13, %v17, %v21, %v25
+#CHECK: vme %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa6]
+#CHECK: vme %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa6]
+#CHECK: vme %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa6]
+#CHECK: vme %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa6]
+#CHECK: vme %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa6]
+#CHECK: vme %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa6]
+
+ vme %v0, %v0, %v0, 0
+ vme %v0, %v0, %v0, 15
+ vme %v0, %v0, %v31, 0
+ vme %v0, %v31, %v0, 0
+ vme %v31, %v0, %v0, 0
+ vme %v18, %v3, %v20, 11
+
#CHECK: vmeb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa6]
#CHECK: vmeb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa6]
#CHECK: vmeb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa6]
vmeh %v31, %v0, %v0
vmeh %v18, %v3, %v20
+#CHECK: vmh %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa3]
+#CHECK: vmh %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa3]
+#CHECK: vmh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa3]
+#CHECK: vmh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa3]
+#CHECK: vmh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa3]
+#CHECK: vmh %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa3]
+
+ vmh %v0, %v0, %v0, 0
+ vmh %v0, %v0, %v0, 15
+ vmh %v0, %v0, %v31, 0
+ vmh %v0, %v31, %v0, 0
+ vmh %v31, %v0, %v0, 0
+ vmh %v18, %v3, %v20, 11
+
#CHECK: vmhb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa3]
#CHECK: vmhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa3]
#CHECK: vmhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa3]
vmhh %v31, %v0, %v0
vmhh %v18, %v3, %v20
+#CHECK: vml %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa2]
+#CHECK: vml %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa2]
+#CHECK: vml %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa2]
+#CHECK: vml %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa2]
+#CHECK: vml %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa2]
+#CHECK: vml %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa2]
+
+ vml %v0, %v0, %v0, 0
+ vml %v0, %v0, %v0, 15
+ vml %v0, %v0, %v31, 0
+ vml %v0, %v31, %v0, 0
+ vml %v31, %v0, %v0, 0
+ vml %v18, %v3, %v20, 11
+
#CHECK: vmlb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa2]
#CHECK: vmlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa2]
#CHECK: vmlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa2]
vmlb %v31, %v0, %v0
vmlb %v18, %v3, %v20
+#CHECK: vmle %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa4]
+#CHECK: vmle %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa4]
+#CHECK: vmle %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa4]
+#CHECK: vmle %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa4]
+#CHECK: vmle %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa4]
+#CHECK: vmle %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa4]
+
+ vmle %v0, %v0, %v0, 0
+ vmle %v0, %v0, %v0, 15
+ vmle %v0, %v0, %v31, 0
+ vmle %v0, %v31, %v0, 0
+ vmle %v31, %v0, %v0, 0
+ vmle %v18, %v3, %v20, 11
+
#CHECK: vmleb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa4]
#CHECK: vmleb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa4]
#CHECK: vmleb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa4]
vmlf %v31, %v0, %v0
vmlf %v18, %v3, %v20
+#CHECK: vmlh %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa1]
+#CHECK: vmlh %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa1]
+#CHECK: vmlh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa1]
+#CHECK: vmlh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa1]
+#CHECK: vmlh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa1]
+#CHECK: vmlh %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa1]
+
+ vmlh %v0, %v0, %v0, 0
+ vmlh %v0, %v0, %v0, 15
+ vmlh %v0, %v0, %v31, 0
+ vmlh %v0, %v31, %v0, 0
+ vmlh %v31, %v0, %v0, 0
+ vmlh %v18, %v3, %v20, 11
+
#CHECK: vmlhb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa1]
#CHECK: vmlhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa1]
#CHECK: vmlhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa1]
vmlhw %v31, %v0, %v0
vmlhw %v18, %v3, %v20
+#CHECK: vmlo %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa5]
+#CHECK: vmlo %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa5]
+#CHECK: vmlo %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa5]
+#CHECK: vmlo %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa5]
+#CHECK: vmlo %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa5]
+#CHECK: vmlo %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa5]
+
+ vmlo %v0, %v0, %v0, 0
+ vmlo %v0, %v0, %v0, 15
+ vmlo %v0, %v0, %v31, 0
+ vmlo %v0, %v31, %v0, 0
+ vmlo %v31, %v0, %v0, 0
+ vmlo %v18, %v3, %v20, 11
+
#CHECK: vmlob %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa5]
#CHECK: vmlob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa5]
#CHECK: vmlob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa5]
vmloh %v31, %v0, %v0
vmloh %v18, %v3, %v20
+#CHECK: vmn %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfe]
+#CHECK: vmn %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xfe]
+#CHECK: vmn %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfe]
+#CHECK: vmn %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfe]
+#CHECK: vmn %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfe]
+#CHECK: vmn %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xfe]
+
+ vmn %v0, %v0, %v0, 0
+ vmn %v0, %v0, %v0, 15
+ vmn %v0, %v0, %v31, 0
+ vmn %v0, %v31, %v0, 0
+ vmn %v31, %v0, %v0, 0
+ vmn %v18, %v3, %v20, 11
+
#CHECK: vmnb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfe]
#CHECK: vmnb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfe]
#CHECK: vmnb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfe]
vmnh %v31, %v0, %v0
vmnh %v18, %v3, %v20
+#CHECK: vmnl %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfc]
+#CHECK: vmnl %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xfc]
+#CHECK: vmnl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfc]
+#CHECK: vmnl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfc]
+#CHECK: vmnl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfc]
+#CHECK: vmnl %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xfc]
+
+ vmnl %v0, %v0, %v0, 0
+ vmnl %v0, %v0, %v0, 15
+ vmnl %v0, %v0, %v31, 0
+ vmnl %v0, %v31, %v0, 0
+ vmnl %v31, %v0, %v0, 0
+ vmnl %v18, %v3, %v20, 11
+
#CHECK: vmnlb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfc]
#CHECK: vmnlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfc]
#CHECK: vmnlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfc]
vmnlh %v31, %v0, %v0
vmnlh %v18, %v3, %v20
+#CHECK: vmo %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa7]
+#CHECK: vmo %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xa7]
+#CHECK: vmo %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa7]
+#CHECK: vmo %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa7]
+#CHECK: vmo %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa7]
+#CHECK: vmo %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xa7]
+
+ vmo %v0, %v0, %v0, 0
+ vmo %v0, %v0, %v0, 15
+ vmo %v0, %v0, %v31, 0
+ vmo %v0, %v31, %v0, 0
+ vmo %v31, %v0, %v0, 0
+ vmo %v18, %v3, %v20, 11
+
#CHECK: vmob %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xa7]
#CHECK: vmob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa7]
#CHECK: vmob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa7]
vmoh %v31, %v0, %v0
vmoh %v18, %v3, %v20
+#CHECK: vmrh %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x61]
+#CHECK: vmrh %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x61]
+#CHECK: vmrh %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x61]
+#CHECK: vmrh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x61]
+#CHECK: vmrh %v0, %v15, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x61]
+#CHECK: vmrh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x61]
+#CHECK: vmrh %v15, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x61]
+#CHECK: vmrh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x61]
+#CHECK: vmrh %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x61]
+
+ vmrh %v0, %v0, %v0, 0
+ vmrh %v0, %v0, %v0, 15
+ vmrh %v0, %v0, %v15, 0
+ vmrh %v0, %v0, %v31, 0
+ vmrh %v0, %v15, %v0, 0
+ vmrh %v0, %v31, %v0, 0
+ vmrh %v15, %v0, %v0, 0
+ vmrh %v31, %v0, %v0, 0
+ vmrh %v18, %v3, %v20, 11
+
#CHECK: vmrhb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x61]
#CHECK: vmrhb %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x61]
#CHECK: vmrhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x61]
vmrhh %v31, %v0, %v0
vmrhh %v18, %v3, %v20
+#CHECK: vmrl %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x60]
+#CHECK: vmrl %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x60]
+#CHECK: vmrl %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x60]
+#CHECK: vmrl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x60]
+#CHECK: vmrl %v0, %v15, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x60]
+#CHECK: vmrl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x60]
+#CHECK: vmrl %v15, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x60]
+#CHECK: vmrl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x60]
+#CHECK: vmrl %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x60]
+
+ vmrl %v0, %v0, %v0, 0
+ vmrl %v0, %v0, %v0, 15
+ vmrl %v0, %v0, %v15, 0
+ vmrl %v0, %v0, %v31, 0
+ vmrl %v0, %v15, %v0, 0
+ vmrl %v0, %v31, %v0, 0
+ vmrl %v15, %v0, %v0, 0
+ vmrl %v31, %v0, %v0, 0
+ vmrl %v18, %v3, %v20, 11
+
#CHECK: vmrlb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x60]
#CHECK: vmrlb %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x60]
#CHECK: vmrlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x60]
vmrlh %v31, %v0, %v0
vmrlh %v18, %v3, %v20
+#CHECK: vmx %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xff]
+#CHECK: vmx %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xff]
+#CHECK: vmx %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xff]
+#CHECK: vmx %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xff]
+#CHECK: vmx %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xff]
+#CHECK: vmx %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xff]
+
+ vmx %v0, %v0, %v0, 0
+ vmx %v0, %v0, %v0, 15
+ vmx %v0, %v0, %v31, 0
+ vmx %v0, %v31, %v0, 0
+ vmx %v31, %v0, %v0, 0
+ vmx %v18, %v3, %v20, 11
+
#CHECK: vmxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xff]
#CHECK: vmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xff]
#CHECK: vmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xff]
vmxh %v31, %v0, %v0
vmxh %v18, %v3, %v20
+#CHECK: vmxl %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfd]
+#CHECK: vmxl %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xfd]
+#CHECK: vmxl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfd]
+#CHECK: vmxl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfd]
+#CHECK: vmxl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfd]
+#CHECK: vmxl %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xfd]
+
+ vmxl %v0, %v0, %v0, 0
+ vmxl %v0, %v0, %v0, 15
+ vmxl %v0, %v0, %v31, 0
+ vmxl %v0, %v31, %v0, 0
+ vmxl %v31, %v0, %v0, 0
+ vmxl %v18, %v3, %v20, 11
+
#CHECK: vmxlb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xfd]
#CHECK: vmxlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfd]
#CHECK: vmxlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfd]
vno %v31, %v0, %v0
vno %v18, %v3, %v20
+#CHECK: vno %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6b]
+#CHECK: vno %v0, %v31, %v31 # encoding: [0xe7,0x0f,0xf0,0x00,0x06,0x6b]
+#CHECK: vno %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6b]
+#CHECK: vno %v3, %v20, %v20 # encoding: [0xe7,0x34,0x40,0x00,0x06,0x6b]
+
+ vnot %v0, %v0
+ vnot %v0, %v31
+ vnot %v31, %v0
+ vnot %v3, %v20
+
#CHECK: vo %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6a]
#CHECK: vo %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6a]
#CHECK: vo %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6a]
vperm %v31, %v0, %v0, %v0
vperm %v13, %v17, %v21, %v25
+#CHECK: vpk %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x94]
+#CHECK: vpk %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x94]
+#CHECK: vpk %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x94]
+#CHECK: vpk %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x94]
+#CHECK: vpk %v0, %v15, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x94]
+#CHECK: vpk %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x94]
+#CHECK: vpk %v15, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x94]
+#CHECK: vpk %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x94]
+#CHECK: vpk %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x94]
+
+ vpk %v0, %v0, %v0, 0
+ vpk %v0, %v0, %v0, 15
+ vpk %v0, %v0, %v15, 0
+ vpk %v0, %v0, %v31, 0
+ vpk %v0, %v15, %v0, 0
+ vpk %v0, %v31, %v0, 0
+ vpk %v15, %v0, %v0, 0
+ vpk %v31, %v0, %v0, 0
+ vpk %v18, %v3, %v20, 11
+
#CHECK: vpkf %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x94]
#CHECK: vpkf %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x20,0x94]
#CHECK: vpkf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x94]
vpkh %v31, %v0, %v0
vpkh %v18, %v3, %v20
+#CHECK: vpkls %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x95]
+#CHECK: vpkls %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x95]
+#CHECK: vpkls %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0x95]
+#CHECK: vpkls %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x95]
+#CHECK: vpkls %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x95]
+#CHECK: vpkls %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x95]
+#CHECK: vpkls %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x95]
+#CHECK: vpkls %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x95]
+#CHECK: vpkls %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x95]
+#CHECK: vpkls %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x90,0xba,0x95]
+
+ vpkls %v0, %v0, %v0, 0, 0
+ vpkls %v0, %v0, %v0, 15, 0
+ vpkls %v0, %v0, %v0, 0, 15
+ vpkls %v0, %v0, %v15, 0, 0
+ vpkls %v0, %v0, %v31, 0, 0
+ vpkls %v0, %v15, %v0, 0, 0
+ vpkls %v0, %v31, %v0, 0, 0
+ vpkls %v15, %v0, %v0, 0, 0
+ vpkls %v31, %v0, %v0, 0, 0
+ vpkls %v18, %v3, %v20, 11, 9
+
#CHECK: vpklsf %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x95]
#CHECK: vpklsf %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x20,0x95]
#CHECK: vpklsf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x95]
vpklsh %v18, %v3, %v20
vpklshs %v5, %v22, %v7
+#CHECK: vpks %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x97]
+#CHECK: vpks %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x97]
+#CHECK: vpks %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0x97]
+#CHECK: vpks %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x97]
+#CHECK: vpks %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x97]
+#CHECK: vpks %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x97]
+#CHECK: vpks %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x97]
+#CHECK: vpks %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x97]
+#CHECK: vpks %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x97]
+#CHECK: vpks %v18, %v3, %v20, 11, 9 # encoding: [0xe7,0x23,0x40,0x90,0xba,0x97]
+
+ vpks %v0, %v0, %v0, 0, 0
+ vpks %v0, %v0, %v0, 15, 0
+ vpks %v0, %v0, %v0, 0, 15
+ vpks %v0, %v0, %v15, 0, 0
+ vpks %v0, %v0, %v31, 0, 0
+ vpks %v0, %v15, %v0, 0, 0
+ vpks %v0, %v31, %v0, 0, 0
+ vpks %v15, %v0, %v0, 0, 0
+ vpks %v31, %v0, %v0, 0, 0
+ vpks %v18, %v3, %v20, 11, 9
+
#CHECK: vpksf %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x97]
#CHECK: vpksf %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x20,0x97]
#CHECK: vpksf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x97]
vpopct %v31, %v0, 0
vpopct %v14, %v17, 0
+#CHECK: vrep %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x4d]
+#CHECK: vrep %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x4d]
+#CHECK: vrep %v0, %v0, 65535, 0 # encoding: [0xe7,0x00,0xff,0xff,0x00,0x4d]
+#CHECK: vrep %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x4d]
+#CHECK: vrep %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4d]
+#CHECK: vrep %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x4d]
+#CHECK: vrep %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4d]
+#CHECK: vrep %v4, %v21, 26505, 11 # encoding: [0xe7,0x45,0x67,0x89,0xb4,0x4d]
+
+ vrep %v0, %v0, 0, 0
+ vrep %v0, %v0, 0, 15
+ vrep %v0, %v0, 65535, 0
+ vrep %v0, %v15, 0, 0
+ vrep %v0, %v31, 0, 0
+ vrep %v15, %v0, 0, 0
+ vrep %v31, %v0, 0, 0
+ vrep %v4, %v21, 0x6789, 11
+
#CHECK: vrepb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x4d]
#CHECK: vrepb %v0, %v0, 65535 # encoding: [0xe7,0x00,0xff,0xff,0x00,0x4d]
#CHECK: vrepb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x4d]
vreph %v31, %v0, 0
vreph %v4, %v21, 0x6789
+#CHECK: vrepi %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x45]
+#CHECK: vrepi %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x45]
+#CHECK: vrepi %v0, -32768, 0 # encoding: [0xe7,0x00,0x80,0x00,0x00,0x45]
+#CHECK: vrepi %v0, 32767, 0 # encoding: [0xe7,0x00,0x7f,0xff,0x00,0x45]
+#CHECK: vrepi %v15, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x45]
+#CHECK: vrepi %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x45]
+#CHECK: vrepi %v18, 13398, 11 # encoding: [0xe7,0x20,0x34,0x56,0xb8,0x45]
+
+ vrepi %v0, 0, 0
+ vrepi %v0, 0, 15
+ vrepi %v0, -32768, 0
+ vrepi %v0, 32767, 0
+ vrepi %v15, 0, 0
+ vrepi %v31, 0, 0
+ vrepi %v18, 0x3456, 11
+
#CHECK: vrepib %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x45]
#CHECK: vrepib %v0, -32768 # encoding: [0xe7,0x00,0x80,0x00,0x00,0x45]
#CHECK: vrepib %v0, 32767 # encoding: [0xe7,0x00,0x7f,0xff,0x00,0x45]
vrepih %v31, 0
vrepih %v18, 0x3456
+#CHECK: vs %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf7]
+#CHECK: vs %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf7]
+#CHECK: vs %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf7]
+#CHECK: vs %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf7]
+#CHECK: vs %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf7]
+#CHECK: vs %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf7]
+
+ vs %v0, %v0, %v0, 0
+ vs %v0, %v0, %v0, 15
+ vs %v0, %v0, %v31, 0
+ vs %v0, %v31, %v0, 0
+ vs %v31, %v0, %v0, 0
+ vs %v18, %v3, %v20, 11
+
#CHECK: vsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf7]
#CHECK: vsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf7]
#CHECK: vsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf7]
vsb %v31, %v0, %v0
vsb %v18, %v3, %v20
+#CHECK: vsbcbi %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xbd]
+#CHECK: vsbcbi %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xbd]
+#CHECK: vsbcbi %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbd]
+#CHECK: vsbcbi %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbd]
+#CHECK: vsbcbi %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbd]
+#CHECK: vsbcbi %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbd]
+#CHECK: vsbcbi %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xbd]
+
+ vsbcbi %v0, %v0, %v0, %v0, 0
+ vsbcbi %v0, %v0, %v0, %v0, 15
+ vsbcbi %v0, %v0, %v0, %v31, 0
+ vsbcbi %v0, %v0, %v31, %v0, 0
+ vsbcbi %v0, %v31, %v0, %v0, 0
+ vsbcbi %v31, %v0, %v0, %v0, 0
+ vsbcbi %v13, %v17, %v21, %v25, 11
+
#CHECK: vsbcbiq %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x00,0x00,0xbd]
#CHECK: vsbcbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbd]
#CHECK: vsbcbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbd]
vsbcbiq %v31, %v0, %v0, %v0
vsbcbiq %v13, %v17, %v21, %v25
+#CHECK: vsbi %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xbf]
+#CHECK: vsbi %v0, %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xbf]
+#CHECK: vsbi %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbf]
+#CHECK: vsbi %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbf]
+#CHECK: vsbi %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbf]
+#CHECK: vsbi %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbf]
+#CHECK: vsbi %v13, %v17, %v21, %v25, 11 # encoding: [0xe7,0xd1,0x5b,0x00,0x97,0xbf]
+
+ vsbi %v0, %v0, %v0, %v0, 0
+ vsbi %v0, %v0, %v0, %v0, 15
+ vsbi %v0, %v0, %v0, %v31, 0
+ vsbi %v0, %v0, %v31, %v0, 0
+ vsbi %v0, %v31, %v0, %v0, 0
+ vsbi %v31, %v0, %v0, %v0, 0
+ vsbi %v13, %v17, %v21, %v25, 11
+
#CHECK: vsbiq %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x00,0x00,0xbf]
#CHECK: vsbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbf]
#CHECK: vsbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbf]
vsbiq %v31, %v0, %v0, %v0
vsbiq %v13, %v17, %v21, %v25
+#CHECK: vscbi %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf5]
+#CHECK: vscbi %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xf5]
+#CHECK: vscbi %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf5]
+#CHECK: vscbi %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf5]
+#CHECK: vscbi %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf5]
+#CHECK: vscbi %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0xf5]
+
+ vscbi %v0, %v0, %v0, 0
+ vscbi %v0, %v0, %v0, 15
+ vscbi %v0, %v0, %v31, 0
+ vscbi %v0, %v31, %v0, 0
+ vscbi %v31, %v0, %v0, 0
+ vscbi %v18, %v3, %v20, 11
+
#CHECK: vscbib %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xf5]
#CHECK: vscbib %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf5]
#CHECK: vscbib %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf5]
vsel %v31, %v0, %v0, %v0
vsel %v13, %v17, %v21, %v25
+#CHECK: vseg %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5f]
+#CHECK: vseg %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x5f]
+#CHECK: vseg %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x5f]
+#CHECK: vseg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5f]
+#CHECK: vseg %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x5f]
+#CHECK: vseg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5f]
+#CHECK: vseg %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0x5f]
+
+ vseg %v0, %v0, 0
+ vseg %v0, %v0, 15
+ vseg %v0, %v15, 0
+ vseg %v0, %v31, 0
+ vseg %v15, %v0, 0
+ vseg %v31, %v0, 0
+ vseg %v14, %v17, 11
+
#CHECK: vsegb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x5f]
#CHECK: vsegb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x5f]
#CHECK: vsegb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5f]
vstm %v31, %v0, 0
vstm %v14, %v17, 1074(%r5)
+#CHECK: vstrc %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x8a]
+#CHECK: vstrc %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8a]
+#CHECK: vstrc %v0, %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8a]
+#CHECK: vstrc %v0, %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x8a]
+#CHECK: vstrc %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8a]
+#CHECK: vstrc %v15, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x8a]
+#CHECK: vstrc %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8a]
+#CHECK: vstrc %v18, %v3, %v20, %v5, 11, 4 # encoding: [0xe7,0x23,0x4b,0x40,0x5a,0x8a]
+#CHECK: vstrc %v18, %v3, %v20, %v5, 0, 15 # encoding: [0xe7,0x23,0x40,0xf0,0x5a,0x8a]
+
+ vstrc %v0, %v0, %v0, %v0, 0
+ vstrc %v0, %v0, %v0, %v0, 15
+ vstrc %v0, %v0, %v0, %v0, 0, 0
+ vstrc %v0, %v0, %v0, %v0, 15, 0
+ vstrc %v0, %v0, %v0, %v0, 0, 12
+ vstrc %v0, %v0, %v0, %v15, 0
+ vstrc %v0, %v0, %v0, %v31, 0
+ vstrc %v0, %v0, %v15, %v0, 0
+ vstrc %v0, %v0, %v31, %v0, 0
+ vstrc %v0, %v15, %v0, %v0, 0
+ vstrc %v0, %v31, %v0, %v0, 0
+ vstrc %v15, %v0, %v0, %v0, 0
+ vstrc %v31, %v0, %v0, %v0, 0
+ vstrc %v18, %v3, %v20, %v5, 11, 4
+ vstrc %v18, %v3, %v20, %v5, 0, 15
+
#CHECK: vstrcb %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8a]
#CHECK: vstrcb %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8a]
#CHECK: vstrcb %v0, %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x8a]
vstrczhs %v18, %v3, %v20, %v5, 8
vstrczhs %v18, %v3, %v20, %v5, 15
+#CHECK: vsum %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x64]
+#CHECK: vsum %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x64]
+#CHECK: vsum %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x64]
+#CHECK: vsum %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x64]
+#CHECK: vsum %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x64]
+#CHECK: vsum %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x64]
+
+ vsum %v0, %v0, %v0, 0
+ vsum %v0, %v0, %v0, 15
+ vsum %v0, %v0, %v31, 0
+ vsum %v0, %v31, %v0, 0
+ vsum %v31, %v0, %v0, 0
+ vsum %v18, %v3, %v20, 11
+
+#CHECK: vsumg %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x65]
+#CHECK: vsumg %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x65]
+#CHECK: vsumg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x65]
+#CHECK: vsumg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x65]
+#CHECK: vsumg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x65]
+#CHECK: vsumg %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x65]
+
+ vsumg %v0, %v0, %v0, 0
+ vsumg %v0, %v0, %v0, 15
+ vsumg %v0, %v0, %v31, 0
+ vsumg %v0, %v31, %v0, 0
+ vsumg %v31, %v0, %v0, 0
+ vsumg %v18, %v3, %v20, 11
+
#CHECK: vsumgh %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x10,0x65]
#CHECK: vsumgh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x65]
#CHECK: vsumgh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x65]
vsumgf %v31, %v0, %v0
vsumgf %v18, %v3, %v20
+#CHECK: vsumq %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x67]
+#CHECK: vsumq %v0, %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x67]
+#CHECK: vsumq %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x67]
+#CHECK: vsumq %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x67]
+#CHECK: vsumq %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x67]
+#CHECK: vsumq %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0x00,0xba,0x67]
+
+ vsumq %v0, %v0, %v0, 0
+ vsumq %v0, %v0, %v0, 15
+ vsumq %v0, %v0, %v31, 0
+ vsumq %v0, %v31, %v0, 0
+ vsumq %v31, %v0, %v0, 0
+ vsumq %v18, %v3, %v20, 11
+
#CHECK: vsumqf %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x67]
#CHECK: vsumqf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x67]
#CHECK: vsumqf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x67]
vtm %v31, %v0
vtm %v14, %v17
+#CHECK: vuph %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd7]
+#CHECK: vuph %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xd7]
+#CHECK: vuph %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd7]
+#CHECK: vuph %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd7]
+#CHECK: vuph %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xd7]
+#CHECK: vuph %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd7]
+#CHECK: vuph %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xd7]
+
+ vuph %v0, %v0, 0
+ vuph %v0, %v0, 15
+ vuph %v0, %v15, 0
+ vuph %v0, %v31, 0
+ vuph %v15, %v0, 0
+ vuph %v31, %v0, 0
+ vuph %v14, %v17, 11
+
#CHECK: vuphb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd7]
#CHECK: vuphb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd7]
#CHECK: vuphb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd7]
vuphh %v31, %v0
vuphh %v14, %v17
+#CHECK: vuplh %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd5]
+#CHECK: vuplh %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xd5]
+#CHECK: vuplh %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd5]
+#CHECK: vuplh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd5]
+#CHECK: vuplh %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xd5]
+#CHECK: vuplh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd5]
+#CHECK: vuplh %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xd5]
+
+ vuplh %v0, %v0, 0
+ vuplh %v0, %v0, 15
+ vuplh %v0, %v15, 0
+ vuplh %v0, %v31, 0
+ vuplh %v15, %v0, 0
+ vuplh %v31, %v0, 0
+ vuplh %v14, %v17, 11
+
#CHECK: vuplhb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd5]
#CHECK: vuplhb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd5]
#CHECK: vuplhb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd5]
vuplhh %v31, %v0
vuplhh %v14, %v17
+#CHECK: vupl %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd6]
+#CHECK: vupl %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xd6]
+#CHECK: vupl %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd6]
+#CHECK: vupl %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd6]
+#CHECK: vupl %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xd6]
+#CHECK: vupl %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd6]
+#CHECK: vupl %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xd6]
+
+ vupl %v0, %v0, 0
+ vupl %v0, %v0, 15
+ vupl %v0, %v15, 0
+ vupl %v0, %v31, 0
+ vupl %v15, %v0, 0
+ vupl %v31, %v0, 0
+ vupl %v14, %v17, 11
+
#CHECK: vuplb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd6]
#CHECK: vuplb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd6]
#CHECK: vuplb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd6]
vuplhw %v31, %v0
vuplhw %v14, %v17
+#CHECK: vupll %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd4]
+#CHECK: vupll %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xd4]
+#CHECK: vupll %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd4]
+#CHECK: vupll %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd4]
+#CHECK: vupll %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xd4]
+#CHECK: vupll %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd4]
+#CHECK: vupll %v14, %v17, 11 # encoding: [0xe7,0xe1,0x00,0x00,0xb4,0xd4]
+
+ vupll %v0, %v0, 0
+ vupll %v0, %v0, 15
+ vupll %v0, %v15, 0
+ vupll %v0, %v31, 0
+ vupll %v15, %v0, 0
+ vupll %v31, %v0, 0
+ vupll %v14, %v17, 11
+
#CHECK: vupllb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xd4]
#CHECK: vupllb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xd4]
#CHECK: vupllb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd4]
wfadb %v31, %v0, %v0
wfadb %v18, %v3, %v20
+#CHECK: wfc %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xcb]
+#CHECK: wfc %f0, %f0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xcb]
+#CHECK: wfc %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xcb]
+#CHECK: wfc %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xcb]
+#CHECK: wfc %f0, %f15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xcb]
+#CHECK: wfc %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xcb]
+#CHECK: wfc %f15, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xcb]
+#CHECK: wfc %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xcb]
+#CHECK: wfc %f14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xcb]
+
+ wfc %v0, %v0, 0, 0
+ wfc %v0, %v0, 15, 0
+ wfc %v0, %v0, 0, 15
+ wfc %f0, %f0, 0, 0
+ wfc %v0, %v15, 0, 0
+ wfc %v0, %v31, 0, 0
+ wfc %v15, %v0, 0, 0
+ wfc %v31, %v0, 0, 0
+ wfc %v14, %v17, 11, 9
+
#CHECK: wfcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xcb]
wfcdb %v15, %v0
wfcdb %v31, %v0
wfcdb %v14, %v17
-
+
#CHECK: wfcedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe8]
#CHECK: wfcedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe8]
#CHECK: wfcedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe8]
wfidb %v31, %v0, 0, 0
wfidb %v14, %v17, 4, 10
+#CHECK: wfk %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xca]
+#CHECK: wfk %f0, %f0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xca]
+#CHECK: wfk %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xca]
+#CHECK: wfk %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xca]
+#CHECK: wfk %f0, %f15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xca]
+#CHECK: wfk %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xca]
+#CHECK: wfk %f15, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xca]
+#CHECK: wfk %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xca]
+#CHECK: wfk %f14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xca]
+
+ wfk %v0, %v0, 0, 0
+ wfk %v0, %v0, 15, 0
+ wfk %v0, %v0, 0, 15
+ wfk %f0, %f0, 0, 0
+ wfk %v0, %v15, 0, 0
+ wfk %v0, %v31, 0, 0
+ wfk %v15, %v0, 0, 0
+ wfk %v31, %v0, 0, 0
+ wfk %v14, %v17, 11, 9
+
#CHECK: wfkdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xca]
#CHECK: wfkdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xca]
#CHECK: wfkdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xca]
wfkdb %v31, %v0
wfkdb %v14, %v17
+#CHECK: wfpsodb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
+#CHECK: wfpsodb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
+#CHECK: wfpsodb %f0, %f0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xcc]
+#CHECK: wfpsodb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xcc]
+#CHECK: wfpsodb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xcc]
+#CHECK: wfpsodb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xcc]
+#CHECK: wfpsodb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xcc]
+#CHECK: wfpsodb %f14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x34,0xcc]
+
+ wfpsodb %v0, %v0, 0
+ wfpsodb %f0, %f0, 0
+ wfpsodb %v0, %v0, 15
+ wfpsodb %v0, %v15, 0
+ wfpsodb %v0, %v31, 0
+ wfpsodb %v15, %v0, 0
+ wfpsodb %v31, %v0, 0
+ wfpsodb %v14, %v17, 7
+
#CHECK: wflcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
#CHECK: wflcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
#CHECK: wflcdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xcc]