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

# CHECK: hrfid
0x4c 0x00 0x02 0x24

# CHECK: nap
0x4c 0x00 0x03 0x64

# CHECK: mtmsr 4
0x7c 0x80 0x01 0x24

# CHECK: mtmsr 4, 1                       
0x7c 0x81 0x01 0x24

# CHECK: mfmsr 4                         
0x7c 0x80 0x00 0xa6

# CHECK: mtmsrd 4
0x7c 0x80 0x01 0x64

# CHECK: mtmsrd 4, 1                     
0x7c 0x81 0x01 0x64

# CHECK: mfspr 4, 272                    
0x7c 0x90 0x42 0xa6

# CHECK: mfspr 4, 273                    
0x7c 0x91 0x42 0xa6

# CHECK: mfspr 4, 274                    
0x7c 0x92 0x42 0xa6

# CHECK: mfspr 4, 275                    
0x7c 0x93 0x42 0xa6

# CHECK: mtspr 272, 4                    
0x7c 0x90 0x43 0xa6

# CHECK: mtspr 273, 4                    
0x7c 0x91 0x43 0xa6

# CHECK: mtspr 274, 4                    
0x7c 0x92 0x43 0xa6

# CHECK: mtspr 275, 4                    
0x7c 0x93 0x43 0xa6

# CHECK: mtspr 272, 4                    
0x7c 0x90 0x43 0xa6

# CHECK: mtspr 273, 4                    
0x7c 0x91 0x43 0xa6

# CHECK: mtspr 274, 4                    
0x7c 0x92 0x43 0xa6

# CHECK: mtspr 275, 4                    
0x7c 0x93 0x43 0xa6

# CHECK: mtspr 280, 4                    
0x7c 0x98 0x43 0xa6

# CHECK: mfspr 4, 22                     
0x7c 0x96 0x02 0xa6

# CHECK: mtspr 22, 4                     
0x7c 0x96 0x03 0xa6

# CHECK: mfpvr 4
0x7c 0x9f 0x42 0xa6

# CHECK: mfspr 4, 25                     
0x7c 0x99 0x02 0xa6

# CHECK: mtspr 25, 4                     
0x7c 0x99 0x03 0xa6

# CHECK: mfspr 4, 26                     
0x7c 0x9a 0x02 0xa6

# CHECK: mtspr 26, 4                     
0x7c 0x9a 0x03 0xa6

# CHECK: mfspr 4, 27                     
0x7c 0x9b 0x02 0xa6

# CHECK: mtspr 27, 4                     
0x7c 0x9b 0x03 0xa6

# CHECK: slbie 4                         
0x7c 0x00 0x23 0x64

# CHECK: slbmte 4, 5                     
0x7c 0x80 0x2b 0x24

# CHECK: slbmfee 4, 5                    
0x7c 0x80 0x2f 0x26

0x7c 0x40 0x1e 0xa6
# CHECK: slbmfev 2, 3

# CHECK: slbia                           
0x7c 0x00 0x03 0xe4

# CHECK: tlbsync                         
0x7c 0x00 0x04 0x6c

# CHECK: tlbiel 4                        
0x7c 0x00 0x22 0x24

# CHECK: tlbie 4
0x7c 0x00 0x22 0x64

# CHECK: tlbie 4
0x7c 0x00 0x22 0x64

# CHECK: rfi
0x4c 0x00 0x00 0x64
# CHECK: rfci
0x4c 0x00 0x00 0x66

# CHECK: wrtee 12
0x7d 0x80 0x01 0x06
# CHECK: wrteei 0
0x7c 0x00 0x01 0x46
# CHECK: wrteei 1
0x7c 0x00 0x81 0x46

# CHECK: tlbre
0x7c 0x00 0x07 0x64
# CHECK: tlbwe
0x7c 0x00 0x07 0xa4
# CHECK: tlbivax 11, 12
0x7c 0x0b 0x66 0x24
# CHECK: tlbsx 11, 12
0x7c 0x0b 0x67 0x24
