llvm/llvm/test/MC/Disassembler/PowerPC/ppc64-encoding-vmx.txt

# RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-unknown -mcpu=pwr7 | FileCheck %s

# CHECK: lvebx 2, 3, 4                   
0x7c 0x43 0x20 0x0e

# CHECK: lvehx 2, 3, 4                   
0x7c 0x43 0x20 0x4e

# CHECK: lvewx 2, 3, 4                   
0x7c 0x43 0x20 0x8e

# CHECK: lvx 2, 3, 4                     
0x7c 0x43 0x20 0xce

# CHECK: lvxl 2, 3, 4                    
0x7c 0x43 0x22 0xce

# CHECK: stvebx 2, 3, 4                  
0x7c 0x43 0x21 0x0e

# CHECK: stvehx 2, 3, 4                  
0x7c 0x43 0x21 0x4e

# CHECK: stvewx 2, 3, 4                  
0x7c 0x43 0x21 0x8e

# CHECK: stvx 2, 3, 4                    
0x7c 0x43 0x21 0xce

# CHECK: stvxl 2, 3, 4                   
0x7c 0x43 0x23 0xce

# CHECK: lvsl 2, 3, 4                    
0x7c 0x43 0x20 0x0c

# CHECK: lvsr 2, 3, 4                    
0x7c 0x43 0x20 0x4c

# CHECK: vpkpx 2, 3, 4                   
0x10 0x43 0x23 0x0e

# CHECK: vpkshss 2, 3, 4                 
0x10 0x43 0x21 0x8e

# CHECK: vpkshus 2, 3, 4                 
0x10 0x43 0x21 0x0e

# CHECK: vpkswss 2, 3, 4                 
0x10 0x43 0x21 0xce

# CHECK: vpkswus 2, 3, 4                 
0x10 0x43 0x21 0x4e

# CHECK: vpkuhum 2, 3, 4                 
0x10 0x43 0x20 0x0e

# CHECK: vpkuhus 2, 3, 4                 
0x10 0x43 0x20 0x8e

# CHECK: vpkuwum 2, 3, 4                 
0x10 0x43 0x20 0x4e

# CHECK: vpkuwus 2, 3, 4                 
0x10 0x43 0x20 0xce

# CHECK: vupkhpx 2, 3                    
0x10 0x40 0x1b 0x4e

# CHECK: vupkhsb 2, 3                    
0x10 0x40 0x1a 0x0e

# CHECK: vupkhsh 2, 3                    
0x10 0x40 0x1a 0x4e

# CHECK: vupklpx 2, 3                    
0x10 0x40 0x1b 0xce

# CHECK: vupklsb 2, 3                    
0x10 0x40 0x1a 0x8e

# CHECK: vupklsh 2, 3                    
0x10 0x40 0x1a 0xce

# CHECK: vmrghb 2, 3, 4                  
0x10 0x43 0x20 0x0c

# CHECK: vmrghh 2, 3, 4                  
0x10 0x43 0x20 0x4c

# CHECK: vmrghw 2, 3, 4                  
0x10 0x43 0x20 0x8c

# CHECK: vmrglb 2, 3, 4                  
0x10 0x43 0x21 0x0c

# CHECK: vmrglh 2, 3, 4                  
0x10 0x43 0x21 0x4c

# CHECK: vmrglw 2, 3, 4                  
0x10 0x43 0x21 0x8c

# CHECK: vmrgew 2, 3, 4
0x10 0x43 0x27 0x8c

# CHECK: vmrgow 2, 3, 4
0x10 0x43 0x26 0x8c

# CHECK: vspltb 2, 3, 1                  
0x10 0x41 0x1a 0x0c

# CHECK: vsplth 2, 3, 1                  
0x10 0x41 0x1a 0x4c

# CHECK: vspltw 2, 3, 1                  
0x10 0x41 0x1a 0x8c

# CHECK: vspltisb 2, 3                   
0x10 0x43 0x03 0x0c

# CHECK: vspltish 2, 3                   
0x10 0x43 0x03 0x4c

# CHECK: vspltisw 2, 3                   
0x10 0x43 0x03 0x8c

# CHECK: vperm 2, 3, 4, 5                
0x10 0x43 0x21 0x6b

# CHECK: vpermxor 2, 3, 4, 5
0x10 0x43 0x21 0x6d

# CHECK: vsbox 2, 5
0x10 0x45 0x05 0xc8

# CHECK: vcipher 2, 5, 17
0x10 0x45 0x8d 0x08

# CHECK: vcipherlast 2, 5, 17
0x10 0x45 0x8d 0x09

# CHECK: vncipher 2, 5, 17
0x10,0x45,0x8d,0x48

# CHECK: vncipherlast 2, 5, 17
0x10,0x45,0x8d,0x49

# CHECK: vpmsumb 2, 5, 17
0x10 0x45 0x8c 0x08

# CHECK: vpmsumh 2, 5, 17
0x10 0x45 0x8c 0x48

# CHECK: vpmsumw 2, 5, 17
0x10 0x45 0x8c 0x88

# CHECK: vpmsumd 2, 5, 17
0x10 0x45 0x8c 0xc8

# CHECK: vshasigmaw 2, 3, 0, 11
0x10 0x43 0x5e 0x82

# CHECK: vshasigmad 2, 3, 1, 15
0x10 0x43 0xfe 0xc2

# CHECK: vsel 2, 3, 4, 5                 
0x10 0x43 0x21 0x6a

# CHECK: vsl 2, 3, 4                     
0x10 0x43 0x21 0xc4

# CHECK: vsldoi 2, 3, 4, 5               
0x10 0x43 0x21 0x6c

# CHECK: vslo 2, 3, 4                    
0x10 0x43 0x24 0x0c

# CHECK: vsr 2, 3, 4                     
0x10 0x43 0x22 0xc4

# CHECK: vsro 2, 3, 4                    
0x10 0x43 0x24 0x4c

# CHECK: vaddcuw 2, 3, 4                 
0x10 0x43 0x21 0x80

# CHECK: vaddsbs 2, 3, 4                 
0x10 0x43 0x23 0x00

# CHECK: vaddshs 2, 3, 4                 
0x10 0x43 0x23 0x40

# CHECK: vaddsws 2, 3, 4                 
0x10 0x43 0x23 0x80

# CHECK: vaddubm 2, 3, 4                 
0x10 0x43 0x20 0x00

# CHECK: vadduhm 2, 3, 4                 
0x10 0x43 0x20 0x40

# CHECK: vadduwm 2, 3, 4                 
0x10 0x43 0x20 0x80

# CHECK: vaddudm 2, 3, 4
0x10 0x43 0x20 0xc0

# CHECK: vaddubs 2, 3, 4                 
0x10 0x43 0x22 0x00

# CHECK: vadduhs 2, 3, 4                 
0x10 0x43 0x22 0x40

# CHECK: vadduws 2, 3, 4                 
0x10 0x43 0x22 0x80

# CHECK: vadduqm 2, 3, 4
0x10 0x43 0x21 0x00

# CHECK: vaddeuqm 2, 3, 4, 5
0x10 0x43 0x21 0x7c

# CHECK: vaddcuq 2, 3, 4
0x10 0x43 0x21 0x40

# CHECK: vaddecuq 2, 3, 4, 5
0x10 0x43 0x21 0x7d

# CHECK: vsubcuw 2, 3, 4                 
0x10 0x43 0x25 0x80

# CHECK: vsubsbs 2, 3, 4                 
0x10 0x43 0x27 0x00

# CHECK: vsubshs 2, 3, 4                 
0x10 0x43 0x27 0x40

# CHECK: vsubsws 2, 3, 4                 
0x10 0x43 0x27 0x80

# CHECK: vsububm 2, 3, 4                 
0x10 0x43 0x24 0x00

# CHECK: vsubuhm 2, 3, 4                 
0x10 0x43 0x24 0x40

# CHECK: vsubuwm 2, 3, 4                 
0x10 0x43 0x24 0x80

# CHECK: vsubudm 2, 3, 4
0x10 0x43 0x24 0xc0

# CHECK: vsububs 2, 3, 4                 
0x10 0x43 0x26 0x00

# CHECK: vsubuhs 2, 3, 4                 
0x10 0x43 0x26 0x40

# CHECK: vsubuws 2, 3, 4                 
0x10 0x43 0x26 0x80

# CHECK: vsubuqm 2, 3, 4
0x10 0x43 0x25 0x00

# CHECK: vsubeuqm 2, 3, 4, 5
0x10 0x43 0x21 0x7e

# CHECK: vsubcuq 2, 3, 4
0x10 0x43 0x25 0x40

# CHECK: vsubecuq 2, 3, 4, 5
0x10 0x43 0x21 0x7f

# CHECK: vmulesb 2, 3, 4                 
0x10 0x43 0x23 0x08

# CHECK: vmulesh 2, 3, 4                 
0x10 0x43 0x23 0x48

# CHECK: vmulesw 2, 3, 4
0x10 0x43 0x23 0x88

# CHECK: vmuleub 2, 3, 4                 
0x10 0x43 0x22 0x08

# CHECK: vmuleuh 2, 3, 4                 
0x10 0x43 0x22 0x48

# CHECK: vmuleuw 2, 3, 4
0x10 0x43 0x22 0x88

# CHECK: vmulosb 2, 3, 4                 
0x10 0x43 0x21 0x08

# CHECK: vmulosh 2, 3, 4                 
0x10 0x43 0x21 0x48

# CHECK: vmulosw 2, 3, 4
0x10 0x43 0x21 0x88

# CHECK: vmuloub 2, 3, 4                 
0x10 0x43 0x20 0x08

# CHECK: vmulouh 2, 3, 4                 
0x10 0x43 0x20 0x48

# CHECK: vmulouw 2, 3, 4
0x10 0x43 0x20 0x88

# CHECK: vmuluwm 2, 3, 4
0x10 0x43 0x20 0x89

# CHECK: vmhaddshs 2, 3, 4, 5            
0x10 0x43 0x21 0x60

# CHECK: vmhraddshs 2, 3, 4, 5           
0x10 0x43 0x21 0x61

# CHECK: vmladduhm 2, 3, 4, 5            
0x10 0x43 0x21 0x62

# CHECK: vmsumubm 2, 3, 4, 5             
0x10 0x43 0x21 0x64

# CHECK: vmsummbm 2, 3, 4, 5             
0x10 0x43 0x21 0x65

# CHECK: vmsumshm 2, 3, 4, 5             
0x10 0x43 0x21 0x68

# CHECK: vmsumshs 2, 3, 4, 5             
0x10 0x43 0x21 0x69

# CHECK: vmsumuhm 2, 3, 4, 5             
0x10 0x43 0x21 0x66

# CHECK: vmsumudm 2, 3, 4, 5
0x10 0x43 0x21 0x63

# CHECK: vmsumuhs 2, 3, 4, 5             
0x10 0x43 0x21 0x67

# CHECK: vsumsws 2, 3, 4                 
0x10 0x43 0x27 0x88

# CHECK: vsum2sws 2, 3, 4                
0x10 0x43 0x26 0x88

# CHECK: vsum4sbs 2, 3, 4                
0x10 0x43 0x27 0x08

# CHECK: vsum4shs 2, 3, 4                
0x10 0x43 0x26 0x48

# CHECK: vsum4ubs 2, 3, 4                
0x10 0x43 0x26 0x08

# CHECK: vavgsb 2, 3, 4                  
0x10 0x43 0x25 0x02

# CHECK: vavgsh 2, 3, 4                  
0x10 0x43 0x25 0x42

# CHECK: vavgsw 2, 3, 4                  
0x10 0x43 0x25 0x82

# CHECK: vavgub 2, 3, 4                  
0x10 0x43 0x24 0x02

# CHECK: vavguh 2, 3, 4                  
0x10 0x43 0x24 0x42

# CHECK: vavguw 2, 3, 4                  
0x10 0x43 0x24 0x82

# CHECK: vmaxsb 2, 3, 4                  
0x10 0x43 0x21 0x02

# CHECK: vmaxsh 2, 3, 4                  
0x10 0x43 0x21 0x42

# CHECK: vmaxsw 2, 3, 4                  
0x10 0x43 0x21 0x82

# CHECK: vmaxsd 2, 3, 4
0x10 0x43 0x21 0xc2

# CHECK: vmaxub 2, 3, 4                  
0x10 0x43 0x20 0x02

# CHECK: vmaxuh 2, 3, 4                  
0x10 0x43 0x20 0x42

# CHECK: vmaxuw 2, 3, 4                  
0x10 0x43 0x20 0x82

# CHECK: vmaxud 2, 3, 4
0x10 0x43 0x20 0xc2

# CHECK: vminsb 2, 3, 4                  
0x10 0x43 0x23 0x02

# CHECK: vminsh 2, 3, 4                  
0x10 0x43 0x23 0x42

# CHECK: vminsw 2, 3, 4                  
0x10 0x43 0x23 0x82

# CHECK: vminsd 2, 3, 4
0x10 0x43 0x23 0xc2

# CHECK: vminub 2, 3, 4                  
0x10 0x43 0x22 0x02

# CHECK: vminuh 2, 3, 4                  
0x10 0x43 0x22 0x42

# CHECK: vminuw 2, 3, 4                  
0x10 0x43 0x22 0x82

# CHECK: vminud 2, 3, 4
0x10 0x43 0x22 0xc2

# CHECK: vcmpequb 2, 3, 4                
0x10 0x43 0x20 0x06

# CHECK: vcmpequb. 2, 3, 4               
0x10 0x43 0x24 0x06

# CHECK: vcmpequh 2, 3, 4                
0x10 0x43 0x20 0x46

# CHECK: vcmpequh. 2, 3, 4               
0x10 0x43 0x24 0x46

# CHECK: vcmpequw 2, 3, 4                
0x10 0x43 0x20 0x86

# CHECK: vcmpequw. 2, 3, 4               
0x10 0x43 0x24 0x86

# CHECK: vcmpequd 2, 3, 4
0x10 0x43 0x20 0xc7

# CHECK: vcmpequd. 2, 3, 4
0x10 0x43 0x24 0xc7

# CHECK: vcmpgtsb 2, 3, 4                
0x10 0x43 0x23 0x06

# CHECK: vcmpgtsb. 2, 3, 4               
0x10 0x43 0x27 0x06

# CHECK: vcmpgtsh 2, 3, 4                
0x10 0x43 0x23 0x46

# CHECK: vcmpgtsh. 2, 3, 4               
0x10 0x43 0x27 0x46

# CHECK: vcmpgtsw 2, 3, 4                
0x10 0x43 0x23 0x86

# CHECK: vcmpgtsw. 2, 3, 4               
0x10 0x43 0x27 0x86

# CHECK: vcmpgtsd 2, 3, 4
0x10 0x43 0x23 0xc7

# CHECK: vcmpgtsd. 2, 3, 4
0x10 0x43 0x27 0xc7

# CHECK: vcmpgtub 2, 3, 4                
0x10 0x43 0x22 0x06

# CHECK: vcmpgtub. 2, 3, 4               
0x10 0x43 0x26 0x06

# CHECK: vcmpgtuh 2, 3, 4                
0x10 0x43 0x22 0x46

# CHECK: vcmpgtuh. 2, 3, 4               
0x10 0x43 0x26 0x46

# CHECK: vcmpgtuw 2, 3, 4                
0x10 0x43 0x22 0x86

# CHECK: vcmpgtuw. 2, 3, 4               
0x10 0x43 0x26 0x86

# CHECK: vcmpgtud 2, 3, 4
0x10 0x43 0x22 0xc7

# CHECK: vcmpgtud. 2, 3, 4
0x10 0x43 0x26 0xc7

# CHECK: vand 2, 3, 4                    
0x10 0x43 0x24 0x04

# CHECK: vandc 2, 3, 4                   
0x10 0x43 0x24 0x44

# CHECK: veqv 2, 3, 4
0x10 0x43 0x26 0x84

# CHECK: vnand 2, 3, 4
0x10 0x43 0x25 0x84

# CHECK: vorc 2, 3, 4
0x10 0x43 0x25 0x44

# CHECK: vnor 2, 3, 4                    
0x10 0x43 0x25 0x04

# CHECK: vor 2, 3, 4                     
0x10 0x43 0x24 0x84

# CHECK: vxor 2, 3, 4                    
0x10 0x43 0x24 0xc4

# CHECK: vrlb 2, 3, 4                    
0x10 0x43 0x20 0x04

# CHECK: vrlh 2, 3, 4                    
0x10 0x43 0x20 0x44

# CHECK: vrlw 2, 3, 4                    
0x10 0x43 0x20 0x84

# CHECK: vslb 2, 3, 4                    
0x10 0x43 0x21 0x04

# CHECK: vslh 2, 3, 4                    
0x10 0x43 0x21 0x44

# CHECK: vslw 2, 3, 4                    
0x10 0x43 0x21 0x84

# CHECK: vrld 2, 3, 4
0x10 0x43 0x20 0xc4

# CHECK: vsrb 2, 3, 4                    
0x10 0x43 0x22 0x04

# CHECK: vsrh 2, 3, 4                    
0x10 0x43 0x22 0x44

# CHECK: vsrw 2, 3, 4                    
0x10 0x43 0x22 0x84

# CHECK: vsrd 2, 3, 4
0x10 0x43 0x26 0xc4

# CHECK: vsrab 2, 3, 4                   
0x10 0x43 0x23 0x04

# CHECK: vsrah 2, 3, 4                   
0x10 0x43 0x23 0x44

# CHECK: vsraw 2, 3, 4                   
0x10 0x43 0x23 0x84

# CHECK: vsrad 2, 3, 4
0x10 0x43 0x23 0xc4

# CHECK: vaddfp 2, 3, 4                  
0x10 0x43 0x20 0x0a

# CHECK: vsubfp 2, 3, 4                  
0x10 0x43 0x20 0x4a

# CHECK: vmaddfp 2, 3, 4, 5              
0x10 0x43 0x29 0x2e

# CHECK: vnmsubfp 2, 3, 4, 5             
0x10 0x43 0x29 0x2f

# CHECK: vmaxfp 2, 3, 4                  
0x10 0x43 0x24 0x0a

# CHECK: vminfp 2, 3, 4                  
0x10 0x43 0x24 0x4a

# CHECK: vctsxs 2, 3, 4                  
0x10 0x44 0x1b 0xca

# CHECK: vctuxs 2, 3, 4                  
0x10 0x44 0x1b 0x8a

# CHECK: vcfsx 2, 3, 4                   
0x10 0x44 0x1b 0x4a

# CHECK: vcfux 2, 3, 4                   
0x10 0x44 0x1b 0x0a

# CHECK: vrfim 2, 3                      
0x10 0x40 0x1a 0xca

# CHECK: vrfin 2, 3                      
0x10 0x40 0x1a 0x0a

# CHECK: vrfip 2, 3                      
0x10 0x40 0x1a 0x8a

# CHECK: vrfiz 2, 3                      
0x10 0x40 0x1a 0x4a

# CHECK: vcmpbfp 2, 3, 4                 
0x10 0x43 0x23 0xc6

# CHECK: vcmpbfp. 2, 3, 4                
0x10 0x43 0x27 0xc6

# CHECK: vcmpeqfp 2, 3, 4                
0x10 0x43 0x20 0xc6

# CHECK: vcmpeqfp. 2, 3, 4               
0x10 0x43 0x24 0xc6

# CHECK: vcmpgefp 2, 3, 4                
0x10 0x43 0x21 0xc6

# CHECK: vcmpgefp. 2, 3, 4               
0x10 0x43 0x25 0xc6

# CHECK: vcmpgtfp 2, 3, 4                
0x10 0x43 0x22 0xc6

# CHECK: vcmpgtfp. 2, 3, 4               
0x10 0x43 0x26 0xc6

# CHECK: vexptefp 2, 3                   
0x10 0x40 0x19 0x8a

# CHECK: vlogefp 2, 3                    
0x10 0x40 0x19 0xca

# CHECK: vrefp 2, 3                      
0x10 0x40 0x19 0x0a

# CHECK: vrsqrtefp 2, 3                  
0x10 0x40 0x19 0x4a

# CHECK: vgbbd 2, 3
0x10 0x40 0x1d 0x0c

# CHECK: vbpermq 2, 5, 17
0x10 0x45 0x8d 0x4c

# CHECK: vclzb 2, 3
0x10 0x40 0x1f 0x02

# CHECK: vclzh 2, 3
0x10 0x40 0x1f 0x42

# CHECK: vclzw 2, 3
0x10 0x40 0x1f 0x82

# CHECK: vclzd 2, 3
0x10 0x40 0x1f 0xc2

# CHECK: vpopcntb 2, 3
0x10 0x40 0x1f 0x03

# CHECK: vpopcnth 2, 3
0x10 0x40 0x1f 0x43

# CHECK: vpopcntw 2, 3
0x10 0x40 0x1f 0x83

# CHECK: vpopcntd 2, 3
0x10 0x40 0x1f 0xc3

# CHECK: mtvscr 2                        
0x10 0x00 0x16 0x44

# CHECK: mfvscr 2                        
0x10 0x40 0x06 0x04

# Power9 instructions

# CHECK: vcmpneb   2, 3, 4
0x10 0x43 0x20 0x07

# CHECK: vcmpneb.  2, 3, 4
0x10 0x43 0x24 0x07

# CHECK: vcmpnezb  2, 3, 4
0x10 0x43 0x21 0x07

# CHECK: vcmpnezb. 2, 3, 4
0x10 0x43 0x25 0x07

# CHECK: vcmpneh   2, 3, 4
0x10 0x43 0x20 0x47

# CHECK: vcmpneh.  2, 3, 4
0x10 0x43 0x24 0x47

# CHECK: vcmpnezh  2, 3, 4
0x10 0x43 0x21 0x47

# CHECK: vcmpnezh. 2, 3, 4
0x10 0x43 0x25 0x47

# CHECK: vcmpnew   2, 3, 4
0x10 0x43 0x20 0x87

# CHECK: vcmpnew.  2, 3, 4
0x10 0x43 0x24 0x87

# CHECK: vcmpnezw  2, 3, 4
0x10 0x43 0x21 0x87

# CHECK: vcmpnezw. 2, 3, 4
0x10 0x43 0x25 0x87

# CHECK: vextractub 2, 3, 15
0x10 0x4f 0x1a 0x0d

# CHECK: vextractuh 2, 3, 14
0x10 0x4e 0x1a 0x4d

# CHECK: vextractuw 2, 3, 12
0x10 0x4c 0x1a 0x8d

# CHECK: vextractd 2, 3, 8
0x10 0x48 0x1a 0xcd

# CHECK: vextublx 2, 3, 4
0x10 0x43 0x26 0x0d

# CHECK: vextubrx 2, 3, 4
0x10 0x43 0x27 0x0d

# CHECK: vextuhlx 2, 3, 4
0x10 0x43 0x26 0x4d

# CHECK: vextuhrx 2, 3, 4
0x10 0x43 0x27 0x4d

# CHECK: vextuwlx 2, 3, 4
0x10 0x43 0x26 0x8d

# CHECK: vextuwrx 2, 3, 4
0x10 0x43 0x27 0x8d

# CHECK: vinsertb 2, 3, 15
0x10 0x4f 0x1b 0x0d

# CHECK: vinserth 2, 3, 14
0x10 0x4e 0x1b 0x4d

# CHECK: vinsertw 2, 3, 12
0x10 0x4c 0x1b 0x8d

# CHECK: vinsertd 2, 3, 8
0x10 0x48 0x1b 0xcd

# Power9 instructions

# CHECK: vclzlsbb 2, 3
0x10 0x40 0x1e 0x02

# CHECK: vctzlsbb 2, 3
0x10 0x41 0x1e 0x02

# CHECK: vctzb 2, 3
0x10 0x5c 0x1e 0x02

# CHECK: vctzh 2, 3
0x10 0x5d 0x1e 0x02

# CHECK: vctzw 2, 3
0x10 0x5e 0x1e 0x02

# CHECK: vctzd 2, 3
0x10 0x5f 0x1e 0x02

# CHECK: vextsb2w 2, 3
0x10 0x50 0x1e 0x02

# CHECK: vextsh2w 2, 3
0x10 0x51 0x1e 0x02

# CHECK: vextsb2d 2, 3
0x10 0x58 0x1e 0x02

# CHECK: vextsh2d 2, 3
0x10 0x59 0x1e 0x02

# CHECK: vextsw2d 2, 3
0x10 0x5a 0x1e 0x02

# CHECK: vnegw 2, 3
0x10 0x46 0x1e 0x02

# CHECK: vnegd 2, 3
0x10 0x47 0x1e 0x02

# CHECK: vprtybw 2, 3
0x10 0x48 0x1e 0x02

# CHECK: vprtybd 2, 3
0x10 0x49 0x1e 0x02

# CHECK: vprtybq 2, 3
0x10 0x4a 0x1e 0x02

# CHECK: vbpermd 2, 5, 17
0x10 0x45 0x8d 0xcc

# CHECK: vpermr 2, 3, 4, 5
0x10 0x43 0x21 0x7b

# CHECK: vrlwnm 2, 3, 4
0x10 0x43 0x21 0x85

# CHECK: vrlwmi 2, 3, 4
0x10 0x43 0x20 0x85

# CHECK: vrldnm 2, 3, 4
0x10 0x43 0x21 0xc5

# CHECK: vrldmi 2, 3, 4
0x10 0x43 0x20 0xc5

# CHECK: vslv 2, 3, 4
0x10 0x43 0x27 0x44

# CHECK: vsrv 2, 3, 4
0x10 0x43 0x27 0x04

# CHECK: vmul10uq 2, 3
0x10 0x43 0x02 0x01

# CHECK: vmul10cuq 2, 3
0x10 0x43 0x00 0x01

# CHECK: vmul10euq 2, 3, 4
0x10 0x43 0x22 0x41

# CHECK: vmul10ecuq 2, 3, 4
0x10 0x43 0x20 0x41

#CHECK: vabsdub 2, 3, 4
0x10 0x43 0x24 0x03

#CHECK: vabsduh 2, 3, 4
0x10 0x43 0x24 0x43

#CHECK: vabsduw 2, 3, 4
0x10 0x43 0x24 0x83

# CHECK: bcdcfn. 27, 31, 1
0x13 0x67 0xff 0x81

# CHECK: bcdcfz. 27, 31, 1
0x13 0x66 0xff 0x81

# CHECK: bcdctn. 27, 31
0x13 0x65 0xfd 0x81

# CHECK: bcdctz. 27, 31, 1
0x13 0x64 0xff 0x81

# CHECK: bcdcfsq. 27, 31, 1
0x13 0x62 0xff 0x81

# CHECK: bcdctsq. 27, 31
0x13 0x60 0xfd 0x81

# CHECK: bcdcpsgn. 27, 31, 7
0x13 0x7f 0x3b 0x41

# CHECK: bcdsetsgn. 27, 31, 1
0x13 0x7f 0xff 0x81

# CHECK: bcds. 27, 31, 7, 1
0x13 0x7f 0x3e 0xc1

# CHECK: bcdus. 27, 31, 7
0x13 0x7f 0x3c 0x81

# CHECK: bcdsr. 27, 31, 7, 1
0x13 0x7f 0x3f 0xc1

# CHECK: bcdtrunc. 27, 31, 7, 1
0x13 0x7f 0x3f 0x01

# CHECK: bcdutrunc. 27, 31, 7
0x13 0x7f 0x3d 0x41