# 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: mtasr 4
0x7c 0x98 0x43 0xa6
# CHECK: mfdec 4
0x7c 0x96 0x02 0xa6
# CHECK: mtdec 4
0x7c 0x96 0x03 0xa6
# CHECK: mfpvr 4
0x7c 0x9f 0x42 0xa6
# CHECK: mfsdr1 4
0x7c 0x99 0x02 0xa6
# CHECK: mtsdr1 4
0x7c 0x99 0x03 0xa6
# CHECK: mfsrr0 4
0x7c 0x9a 0x02 0xa6
# CHECK: mtsrr0 4
0x7c 0x9a 0x03 0xa6
# CHECK: mfsrr1 4
0x7c 0x9b 0x02 0xa6
# CHECK: mtsrr1 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
# CHECK: mfpmr 5, 400
0x7c 0xb0 0x62 0x9c
# CHECK: mtpmr 400, 6
0x7c 0xd0 0x63 0x9c
# CHECK: icblc 0, 0, 8
0x7c 0x00 0x41 0xcc
# CHECK: icbtls 0, 0, 9
0x7c 0x00 0x4b 0xcc