2551 lines
54 KiB
YAML
2551 lines
54 KiB
YAML
fields:
|
|
# Immediates
|
|
- name: simm
|
|
arg: Simm
|
|
bits: 16..32
|
|
signed: true
|
|
- name: uimm
|
|
arg: Uimm
|
|
bits: 16..32
|
|
- name: offset
|
|
arg: Offset
|
|
bits: 16..32
|
|
signed: true
|
|
- name: ps_offset
|
|
arg: Offset
|
|
bits: 20..32
|
|
signed: true
|
|
# Branch fields
|
|
- name: BO
|
|
arg: OpaqueU
|
|
bits: 6..11
|
|
- name: BI
|
|
arg: CRBit
|
|
bits: 11..16
|
|
- name: BH
|
|
arg: OpaqueU
|
|
bits: 19..21
|
|
- name: BD
|
|
arg: BranchDest
|
|
bits: 16..30
|
|
shift_left: 2
|
|
signed: true
|
|
- name: LI
|
|
arg: BranchDest
|
|
bits: 6..30
|
|
signed: true
|
|
shift_left: 2
|
|
# Shift/rotate type fields
|
|
- name: SH
|
|
arg: OpaqueU
|
|
desc: Shift
|
|
bits: 16..21
|
|
- name: MB
|
|
arg: OpaqueU
|
|
desc: Mask start
|
|
bits: 21..26
|
|
- name: ME
|
|
arg: OpaqueU
|
|
desc: Mask stop
|
|
bits: 26..31
|
|
# Registers
|
|
- name: rS
|
|
arg: GPR
|
|
bits: 6..11
|
|
- name: rD
|
|
arg: GPR
|
|
bits: 6..11
|
|
- name: rA
|
|
arg: GPR
|
|
bits: 11..16
|
|
- name: rA.nz
|
|
arg: GPR
|
|
bits: 11..16
|
|
- name: rB
|
|
arg: GPR
|
|
bits: 16..21
|
|
- name: rC
|
|
arg: GPR
|
|
bits: 21..26
|
|
- name: sr
|
|
arg: SR
|
|
bits: 12..16
|
|
- name: spr
|
|
arg: SPR
|
|
bits: 11..21
|
|
split: true
|
|
# Floating-point registers
|
|
- name: frS
|
|
arg: FPR
|
|
bits: 6..11
|
|
- name: frD
|
|
arg: FPR
|
|
bits: 6..11
|
|
- name: frA
|
|
arg: FPR
|
|
bits: 11..16
|
|
- name: frB
|
|
arg: FPR
|
|
bits: 16..21
|
|
- name: frC
|
|
arg: FPR
|
|
bits: 21..26
|
|
# Condition register bits
|
|
- name: crbD
|
|
arg: CRBit
|
|
bits: 6..11
|
|
- name: crbA
|
|
arg: CRBit
|
|
bits: 11..16
|
|
- name: crbB
|
|
arg: CRBit
|
|
bits: 16..21
|
|
# Condition register fields
|
|
- name: crfD
|
|
arg: CRField
|
|
bits: 6..9
|
|
- name: crfS
|
|
arg: CRField
|
|
bits: 11..14
|
|
# Condition register misc
|
|
- name: crm
|
|
arg: OpaqueU
|
|
bits: 12..20
|
|
# Paired single fields
|
|
- name: ps_I
|
|
arg: GQR
|
|
bits: 17..20
|
|
- name: ps_IX
|
|
arg: GQR
|
|
bits: 22..25
|
|
- name: ps_W
|
|
arg: OpaqueU
|
|
bits: 16..17
|
|
- name: ps_WX
|
|
arg: OpaqueU
|
|
bits: 21..22
|
|
# Misc
|
|
- name: NB
|
|
arg: OpaqueU
|
|
bits: 16..21
|
|
- name: tbr
|
|
arg: OpaqueU
|
|
desc: Time Base
|
|
bits: 11..21
|
|
split: true
|
|
- name: mtfsf_FM
|
|
arg: OpaqueU
|
|
desc: Field Mask for mtfsf
|
|
bits: 7..15
|
|
- name: mtfsf_IMM
|
|
arg: OpaqueU
|
|
desc: Immediate for mtfsfi
|
|
bits: 16..20
|
|
- name: spr_SPRG
|
|
arg: OpaqueU
|
|
desc: SPRG index for m[tf]sprg
|
|
bits: 14..16
|
|
- name: spr_BAT
|
|
arg: OpaqueU
|
|
desc: IBAT/DBAT index for m[tf][id]bat[ul]
|
|
bits: 13..15
|
|
- name: TO
|
|
arg: OpaqueU
|
|
desc: Bitset for tw and twi
|
|
bits: 6..11
|
|
- name: L
|
|
arg: OpaqueU
|
|
desc: Bitset for cmp, cmpi, cmpl, cmpli
|
|
bits: 10..11
|
|
- name: xer
|
|
- name: ctr
|
|
- name: lr
|
|
|
|
# TODO Add defs/uses for modifiers.
|
|
modifiers:
|
|
- name: OE
|
|
suffix: o
|
|
bit: 21
|
|
- name: Rc
|
|
suffix: .
|
|
bit: 31
|
|
- name: LK
|
|
suffix: l
|
|
bit: 31
|
|
- name: AA
|
|
suffix: a
|
|
bit: 30
|
|
# Predict branch to be taken
|
|
- name: BP
|
|
suffix: +
|
|
condition: BO & 1 == 1 && BD >= 0
|
|
# Predict branch not to be taken (fall through)
|
|
- name: BNP
|
|
suffix: '-'
|
|
condition: BO & 1 == 1 && BD < 0
|
|
# Predict branch to be taken (implicit dest for LR/CTR)
|
|
- name: BP_ND
|
|
suffix: +
|
|
condition: BO & 1 == 1
|
|
|
|
opcodes:
|
|
- name: add
|
|
desc: Add
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000214
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: addc
|
|
desc: Add Carrying
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000014
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: adde
|
|
desc: Add Extended
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000114
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: addi
|
|
desc: Add Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x38000000
|
|
args: [ rD, rA, simm ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz ]
|
|
|
|
- name: addic
|
|
desc: Add Immediate Carrying
|
|
bitmask: 0xfc000000
|
|
pattern: 0x30000000
|
|
args: [ rD, rA, simm ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: addic.
|
|
desc: Add Immediate Carrying and Record
|
|
bitmask: 0xfc000000
|
|
pattern: 0x34000000
|
|
args: [ rD, rA, simm ]
|
|
side_effects: [ Rc ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: addis
|
|
desc: Add Immediate Shifted
|
|
bitmask: 0xfc000000
|
|
pattern: 0x3c000000
|
|
args: [ rD, rA, uimm ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz ]
|
|
|
|
- name: addme
|
|
desc: Add to Minus One Extended
|
|
bitmask: 0xfc00fbfe
|
|
pattern: 0x7c0001d4
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: addze
|
|
desc: Add to Zero Extended
|
|
bitmask: 0xfc00fbfe
|
|
pattern: 0x7c000194
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: and
|
|
desc: AND
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000038
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: andc
|
|
desc: AND with Complement
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000078
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: andi.
|
|
desc: AND Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x70000000
|
|
side_effects: [ Rc ]
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rB ]
|
|
|
|
- name: andis.
|
|
desc: AND Immediate Shifted
|
|
bitmask: 0xfc000000
|
|
pattern: 0x74000000
|
|
side_effects: [ Rc ]
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rB ]
|
|
|
|
- name: b
|
|
desc: Branch
|
|
bitmask: 0xfc000000
|
|
pattern: 0x48000000
|
|
modifiers: [ LK, AA ]
|
|
args: [ LI ]
|
|
|
|
- name: bc
|
|
desc: Branch Conditional
|
|
bitmask: 0xfc000000
|
|
pattern: 0x40000000
|
|
modifiers: [ LK, AA, BP, BNP ]
|
|
args: [ BO, BI, BD ]
|
|
|
|
- name: bcctr
|
|
desc: Branch Conditional to Count Register
|
|
bitmask: 0xfc007ffe
|
|
pattern: 0x4c000420
|
|
modifiers: [ LK, BP_ND ]
|
|
args: [ BO, BI, BH ]
|
|
uses: [ ctr ]
|
|
|
|
- name: bclr
|
|
desc: Branch Conditional to Link Register
|
|
bitmask: 0xfc007ffe
|
|
pattern: 0x4c000020
|
|
modifiers: [ LK, BP_ND ]
|
|
args: [ BO, BI, BH ]
|
|
uses: [ lr ]
|
|
|
|
- name: cmp
|
|
desc: Compare
|
|
bitmask: 0xfc4007ff
|
|
pattern: 0x7c000000
|
|
args: [ crfD, L, rA, rB ]
|
|
defs: [ crfD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: cmpi
|
|
desc: Compare Immediate
|
|
bitmask: 0xfc400000
|
|
pattern: 0x2c000000
|
|
args: [ crfD, L, rA, simm ]
|
|
defs: [ crfD ]
|
|
uses: [ rA ]
|
|
|
|
- name: cmpl
|
|
desc: Compare Logical
|
|
bitmask: 0xfc4007ff
|
|
pattern: 0x7c000040
|
|
args: [ crfD, L, rA, rB ]
|
|
defs: [ crfD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: cmpli
|
|
desc: Compare Logical Immediate
|
|
bitmask: 0xfc400000
|
|
pattern: 0x28000000
|
|
args: [ crfD, L, rA, uimm ]
|
|
defs: [ crfD ]
|
|
uses: [ rA ]
|
|
|
|
- name: cntlzw
|
|
desc: Count Leading Zeros Word
|
|
bitmask: 0xfc00fffe
|
|
pattern: 0x7c000034
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: crand
|
|
desc: Condition Register AND
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000202
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: crandc
|
|
desc: Condition Register AND with Complement
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000102
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: creqv
|
|
desc: Condition Register Equivalent
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000242
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: crnand
|
|
desc: Condition Register NAND
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c0001c2
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: crnor
|
|
desc: Condition Register NOR
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000042
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: cror
|
|
desc: Condition Register OR
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000382
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: crorc
|
|
desc: Condition Register OR with Complement
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000342
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: crxor
|
|
desc: Condition Register XOR
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x4c000182
|
|
args: [ crbD, crbA, crbB ]
|
|
defs: [ crbD ]
|
|
uses: [ crbA, crbB ]
|
|
|
|
- name: dcbf
|
|
desc: Data Cache Block Flush
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c0000ac
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbi
|
|
desc: Data Cache Block Invalidate
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c0003ac
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbst
|
|
desc: Data Cache Block Store
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c00006c
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbt
|
|
desc: Data Cache Block Touch
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c00022c
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbtst
|
|
desc: Data Cache Block Touch for Store
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c0001ec
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbz
|
|
desc: Data Cache Block Clear to Zero
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c0007ec
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: dcbz_l
|
|
desc: Data Cache Block Set to Zero Locked
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x100007ec
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: divw
|
|
desc: Divide Word
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c0003d6
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: divwu
|
|
desc: Divide Word Unsigned
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c000396
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: eciwx
|
|
desc: External Control In Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00026c
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: ecowx
|
|
desc: External Control Out Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00036c
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: eieio
|
|
desc: Enforce In-Order Execution of I/O
|
|
bitmask: 0xffffffff
|
|
pattern: 0x7c0006ac
|
|
|
|
- name: eqv
|
|
desc: Equivalent
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c000238
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: extsb
|
|
desc: Extend Sign Byte
|
|
bitmask: 0xfc00fffe
|
|
pattern: 0x7c000774
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: extsh
|
|
desc: Extend Sign Half Word
|
|
bitmask: 0xfc00fffe
|
|
pattern: 0x7c000734
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: fabs
|
|
desc: Floating Absolute Value
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000210
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fadd
|
|
desc: Floating Add (Double-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xfc00002a
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fadds
|
|
desc: Floating Add (Single-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xec00002a
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fcmpo
|
|
desc: Floating Compare Ordered
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0xfc000040
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fcmpu
|
|
desc: Floating Compare Unordered
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0xfc000000
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fctiw
|
|
desc: Floating Convert to Integer Word
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc00001c
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fctiwz
|
|
desc: Floating Convert to Integer Word with Round toward Zero
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc00001e
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fdiv
|
|
desc: Floating Divide (Double-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xfc000024
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fdivs
|
|
desc: Floating Divide (Single-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xec000024
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fmadd
|
|
desc: Floating Multiply-Add (Double-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xfc00003a
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fmadds
|
|
desc: Floating Multiply-Add (Single-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xec00003a
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fmr
|
|
desc: Floating Move Register (Double-Precision)
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000090
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fmsub
|
|
desc: Floating Multiply-Subtract (Double-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xfc000038
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fmsubs
|
|
desc: Floating Multiply-Subtract (Single-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xec000038
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fmul
|
|
desc: Floating Multiply (Double-Precision)
|
|
bitmask: 0xfc00f83e
|
|
pattern: 0xfc000032
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC ]
|
|
|
|
- name: fmuls
|
|
desc: Floating Multiply (Single-Precision)
|
|
bitmask: 0xfc00f83e
|
|
pattern: 0xec000032
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC ]
|
|
|
|
- name: fnabs
|
|
desc: Floating Negative Absolute Value
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000110
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fneg
|
|
desc: Floating Negate
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000050
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fnmadd
|
|
desc: Floating Negative Multiply-Add (Double-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xfc00003e
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fnmadds
|
|
desc: Floating Negative Multiply-Add (Single-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xec00003e
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fnmsub
|
|
desc: Floating Negative Multiply-Subtract (Double-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xfc00003c
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fnmsubs
|
|
desc: Floating Negative Multiply-Subtract (Single-Precision)
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xec00003c
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fres
|
|
desc: Floating Reciprocal Estimate Single
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xec000030
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: frsp
|
|
desc: Floating Round to Single
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000018
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: frsqrte
|
|
desc: Floating Reciprocal Square Root Estimate
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0xfc000034
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: fsel
|
|
desc: Floating Select
|
|
bitmask: 0xfc00003e
|
|
pattern: 0xfc00002e
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: fsub
|
|
desc: Floating Subtract (Double-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xfc000028
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: fsubs
|
|
desc: Floating Subtract (Single-Precision)
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0xec000028
|
|
modifiers: [ Rc ]
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: icbi
|
|
desc: Instruction Cache Block Invalidate
|
|
bitmask: 0xffe007ff
|
|
pattern: 0x7c0007ac
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rB ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: isync
|
|
desc: Instruction Synchronize
|
|
bitmask: 0xffffffff
|
|
pattern: 0x4c00012c
|
|
|
|
- name: lbz
|
|
desc: Load Byte and Zero
|
|
bitmask: 0xfc000000
|
|
pattern: 0x88000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lbzu
|
|
desc: Load Byte and Zero with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0x8c000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lbzux
|
|
desc: Load Byte and Zero with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0000ee
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lbzx
|
|
desc: Load Byte and Zero Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0000ae
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lfd
|
|
desc: Load Floating-Point Double
|
|
bitmask: 0xfc000000
|
|
pattern: 0xc8000000
|
|
args: [ frD, offset, rA ]
|
|
defs: [ frD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lfdu
|
|
desc: Load Floating-Point Double with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xcc000000
|
|
args: [ frD, offset, rA ]
|
|
defs: [ frD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lfdux
|
|
desc: Load Floating-Point Double with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0004ee
|
|
args: [ frD, rA, rB ]
|
|
defs: [ frD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lfdx
|
|
desc: Load Floating-Point Double Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0004ae
|
|
args: [ frD, rA, rB ]
|
|
defs: [ frD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lfs
|
|
desc: Load Floating-Point Single
|
|
bitmask: 0xfc000000
|
|
pattern: 0xc0000000
|
|
args: [ frD, offset, rA ]
|
|
defs: [ frD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lfsu
|
|
desc: Load Floating-Point Single with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xc4000000
|
|
args: [ frD, offset, rA ]
|
|
defs: [ frD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lfsux
|
|
desc: Load Floating-Point Single with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00046e
|
|
args: [ frD, rA, rB ]
|
|
defs: [ frD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lfsx
|
|
desc: Load Floating-Point Single Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00042e
|
|
args: [ frD, rA, rB ]
|
|
defs: [ frD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lha
|
|
desc: Load Half Word Algebraic
|
|
bitmask: 0xfc000000
|
|
pattern: 0xa8000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lhau
|
|
desc: Load Half Word Algebraic with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xac000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lhaux
|
|
desc: Load Half Word Algebraic with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0002ee
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lhax
|
|
desc: Load Half Word Algebraic Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0002ae
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lhbrx
|
|
desc: Load Half Word Byte-Reverse Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00062c
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lhz
|
|
desc: Load Half Word and Zero
|
|
bitmask: 0xfc000000
|
|
pattern: 0xa0000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lhzu
|
|
desc: Load Half Word and Zero with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xa4000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lhzux
|
|
desc: Load Half Word and Zero with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00026e
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lhzx
|
|
desc: Load Half Word and Zero Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00022e
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
# TODO lmw has much more defs
|
|
- name: lmw
|
|
desc: Load Multiple Word
|
|
bitmask: 0xfc000000
|
|
pattern: 0xb8000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lswi
|
|
desc: Load String Word Immediate
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0004aa
|
|
args: [ rD, rA, NB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz ]
|
|
|
|
- name: lswx
|
|
desc: Load String Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00042a
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lwarx
|
|
desc: Load String Word and Reverse Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c000028
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lwbrx
|
|
desc: Load String Word and Byte-Reverse Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00042c
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: lwz
|
|
desc: Load Word and Zero
|
|
bitmask: 0xfc000000
|
|
pattern: 0x80000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD ]
|
|
uses: [ offset, rA.nz ]
|
|
|
|
- name: lwzu
|
|
desc: Load Word and Zero with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0x84000000
|
|
args: [ rD, offset, rA ]
|
|
defs: [ rD, rA ]
|
|
uses: [ offset, rA ]
|
|
|
|
- name: lwzux
|
|
desc: Load Word and Zero with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00006e
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: lwzx
|
|
desc: Load Word and Zero Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00002e
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: mcrf
|
|
desc: Move Condition Register Field
|
|
bitmask: 0xfc63ffff
|
|
pattern: 0x4c000000
|
|
args: [ crfD, crfS ]
|
|
defs: [ crfD ]
|
|
uses: [ crfS ]
|
|
|
|
- name: mcrfs
|
|
desc: Move to Condition Register from FPSCR
|
|
bitmask: 0xfc63ffff
|
|
pattern: 0xfc000080
|
|
args: [ crfD, crfS ]
|
|
defs: [ crfD ]
|
|
uses: [ crfS ]
|
|
|
|
- name: mcrxr
|
|
desc: Move to Condition Register from XER
|
|
bitmask: 0xfc7fffff
|
|
pattern: 0x7c000400
|
|
args: [ crfD ]
|
|
defs: [ crfD, xer ]
|
|
|
|
- name: mfcr
|
|
desc: Move from Condition Register
|
|
bitmask: 0xfc1fffff
|
|
pattern: 0x7c000026
|
|
args: [ rD ]
|
|
defs: [ rD ]
|
|
|
|
- name: mffs
|
|
desc: Move from FPSCR
|
|
bitmask: 0xfc1ffffe
|
|
pattern: 0xfc00048e
|
|
args: [ frD ]
|
|
defs: [ frD ]
|
|
|
|
- name: mfmsr
|
|
desc: Move from Machine State Register
|
|
bitmask: 0xfc1fffff
|
|
pattern: 0x7c0000a6
|
|
args: [ rD ]
|
|
defs: [ rD ]
|
|
|
|
- name: mfspr
|
|
desc: Move from Special-Purpose Register
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0002a6
|
|
args: [ rD, spr ]
|
|
defs: [ rD ]
|
|
|
|
- name: mfsr
|
|
desc: Move from Segment Register
|
|
bitmask: 0xfc10ffff
|
|
pattern: 0x7c0004a6
|
|
args: [ rD, sr ]
|
|
defs: [ rD ]
|
|
|
|
- name: mfsrin
|
|
desc: Move from Segment Register Indirect
|
|
bitmask: 0xfc1f07ff
|
|
pattern: 0x7c000526
|
|
args: [ rD, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rB ]
|
|
|
|
- name: mftb
|
|
desc: Move from Time Base
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0002e6
|
|
args: [ rD, tbr ]
|
|
defs: [ rD ]
|
|
|
|
- name: mtcrf
|
|
desc: Move to Condition Register Fields
|
|
bitmask: 0xfc100fff
|
|
pattern: 0x7c000120
|
|
args: [ crm, rS ]
|
|
uses: [ rS ]
|
|
|
|
- name: mtfsb0
|
|
desc: Move to FPSCR Bit 0
|
|
bitmask: 0xfc1ffffe
|
|
pattern: 0xfc00008c
|
|
modifiers: [ Rc ]
|
|
args: [ crbD ]
|
|
defs: [ crbD ]
|
|
|
|
- name: mtfsb1
|
|
desc: Move to FPSCR Bit 1
|
|
bitmask: 0xfc1ffffe
|
|
pattern: 0xfc00004c
|
|
modifiers: [ Rc ]
|
|
args: [ crbD ]
|
|
defs: [ crbD ]
|
|
|
|
- name: mtfsf
|
|
desc: Move to FPSCR Fields
|
|
bitmask: 0xfe0107fe
|
|
pattern: 0xfc00058e
|
|
modifiers: [ Rc ]
|
|
args: [ mtfsf_FM, frB ]
|
|
uses: [ frB ]
|
|
|
|
- name: mtfsfi
|
|
desc: Move to FPSCR Field Immediate
|
|
bitmask: 0xfc7f0ffe
|
|
pattern: 0xfc00010c
|
|
modifiers: [ Rc ]
|
|
args: [ crfD, mtfsf_IMM ]
|
|
defs: [ crfD ]
|
|
|
|
- name: mtmsr
|
|
desc: Move to Machine State Register
|
|
bitmask: 0xfc1fffff
|
|
pattern: 0x7c000124
|
|
args: [ rS ]
|
|
uses: [ rS ]
|
|
|
|
- name: mtspr
|
|
desc: Move to Special-Purpose Register
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0003a6
|
|
args: [ spr, rS ]
|
|
uses: [ rS ]
|
|
|
|
- name: mtsr
|
|
desc: Move to Segment Register
|
|
bitmask: 0xfc10ffff
|
|
pattern: 0x7c0001a4
|
|
args: [ sr, rS ]
|
|
uses: [ rS ]
|
|
|
|
- name: mtsrin
|
|
desc: Move to Segment Register Indirect
|
|
bitmask: 0xfc1f07ff
|
|
pattern: 0x7c0001e4
|
|
args: [ rS, rB ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: mulhw
|
|
desc: Multiply High Word
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000096
|
|
modifiers: [ Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: mulhwu
|
|
desc: Multiply High Word Unsigned
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000016
|
|
modifiers: [ Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: mulli
|
|
desc: Multiply Low Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x1c000000
|
|
args: [ rD, rA, simm ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: mullw
|
|
desc: Multiply Low Word
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c0001d6
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: nand
|
|
desc: NAND
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c0003b8
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: neg
|
|
desc: Negate
|
|
bitmask: 0xfc00fffe
|
|
pattern: 0x7c0000d0
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: nor
|
|
desc: NOR
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c0000f8
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: or
|
|
desc: OR
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000378
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: orc
|
|
desc: OR with Complement
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000338
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: ori
|
|
desc: OR Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x60000000
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: oris
|
|
desc: OR Immediate Shifted
|
|
bitmask: 0xfc000000
|
|
pattern: 0x64000000
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: psq_l
|
|
desc: Paired Single Quantized Load
|
|
bitmask: 0xfc000000
|
|
pattern: 0xe0000000
|
|
args: [ frD, ps_offset, rA, ps_W, ps_I ]
|
|
defs: [ frD ]
|
|
uses: [ rA.nz ]
|
|
|
|
- name: psq_lu
|
|
desc: Paired Single Quantized Load with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xe4000000
|
|
args: [ frD, ps_offset, rA, ps_W, ps_I ]
|
|
defs: [ frD, rA ]
|
|
uses: [ rA ]
|
|
|
|
- name: psq_lux
|
|
desc: Paired Single Quantized Load with Update Indexed
|
|
bitmask: 0xfc00007f
|
|
pattern: 0x1000004c
|
|
args: [ frD, rA, rB, ps_WX, ps_IX ]
|
|
defs: [ frD, rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: psq_lx
|
|
desc: Paired Single Quantized Load Indexed
|
|
bitmask: 0xfc00007f
|
|
pattern: 0x1000000c
|
|
args: [ frD, rA, rB, ps_WX, ps_IX ]
|
|
defs: [ frD ]
|
|
uses: [ rA.nz, rB ]
|
|
|
|
- name: psq_st
|
|
desc: Paired Single Quantized Store
|
|
bitmask: 0xfc000000
|
|
pattern: 0xf0000000
|
|
args: [ frS, ps_offset, rA, ps_W, ps_I ]
|
|
uses: [ frS, rA.nz ]
|
|
|
|
- name: psq_stu
|
|
desc: Paired Single Quantized Store with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xf4000000
|
|
args: [ frS, ps_offset, rA, ps_W, ps_I ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA ]
|
|
|
|
- name: psq_stux
|
|
desc: Paired Single Quantized Store with Update Indexed
|
|
bitmask: 0xfc00007f
|
|
pattern: 0x1000004e
|
|
args: [ frS, rA, rB, ps_WX, ps_IX ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA, rB ]
|
|
|
|
- name: psq_stx
|
|
desc: Paired Single Quantized Store Indexed
|
|
bitmask: 0xfc00007f
|
|
pattern: 0x1000000e
|
|
args: [ frS, rA, rB, ps_WX, ps_IX ]
|
|
uses: [ frS, rA.nz, rB ]
|
|
|
|
- name: ps_abs
|
|
desc: Paired Single Absolute Value
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000210
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_add
|
|
desc: Paired Single Add
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x1000002a
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_cmpo0
|
|
desc: Paired Singles Compare Ordered High
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0x10000040
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA.nz, frB ]
|
|
|
|
- name: ps_cmpo1
|
|
desc: Paired Singles Compare Ordered Low
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0x100000c0
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA.nz, frB ]
|
|
|
|
- name: ps_cmpu0
|
|
desc: Paired Singles Compare Unordered High
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0x10000000
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA.nz, frB ]
|
|
|
|
- name: ps_cmpu1
|
|
desc: Paired Singles Compare Unordered Low
|
|
bitmask: 0xfc6007ff
|
|
pattern: 0x10000080
|
|
args: [ crfD, frA, frB ]
|
|
defs: [ crfD ]
|
|
uses: [ frA.nz, frB ]
|
|
|
|
- name: ps_div
|
|
desc: Paired Single Divide
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x10000024
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_madd
|
|
desc: Paired Single Multiply-Add
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000003a
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_madds0
|
|
desc: Paired Single Multiply-Add Scalar high
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000001c
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_madds1
|
|
desc: Paired Single Multiply-Add Scalar low
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000001e
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_merge00
|
|
desc: Paired Single MERGE high
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x10000420
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_merge01
|
|
desc: Paired Single MERGE direct
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x10000460
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_merge10
|
|
desc: Paired Single MERGE swapped
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x100004a0
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_merge11
|
|
desc: Paired Single MERGE low
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x100004e0
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_mr
|
|
desc: Paired Single Move Register
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000090
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_msub
|
|
desc: Paired Single Multiply-Subtract
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x10000038
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_mul
|
|
desc: Paired Single Multiply
|
|
bitmask: 0xfc00f83e
|
|
pattern: 0x10000032
|
|
args: [ frD, frA, frC ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC ]
|
|
|
|
- name: ps_muls0
|
|
desc: Paired Single Multiply Scalar high
|
|
bitmask: 0xfc00f83e
|
|
pattern: 0x10000018
|
|
args: [ frD, frA, frC ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC ]
|
|
|
|
- name: ps_muls1
|
|
desc: Paired Single Multiply Scalar low
|
|
bitmask: 0xfc00f83e
|
|
pattern: 0x1000001a
|
|
args: [ frD, frA, frC ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC ]
|
|
|
|
- name: ps_nabs
|
|
desc: Paired Single Negative Absolute Value
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000110
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_neg
|
|
desc: Paired Single Negate
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000050
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_nmadd
|
|
desc: Paired Single Negative Multiply-Add
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000003e
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_nmsub
|
|
desc: Paired Single Negative Multiply-Subtract
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000003c
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_res
|
|
desc: Paired Single Reciprocal Estimate
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000030
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_rsqrte
|
|
desc: Paired Single Reciprocal Square Root Estimate
|
|
bitmask: 0xfc1f07fe
|
|
pattern: 0x10000034
|
|
args: [ frD, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frB ]
|
|
|
|
- name: ps_sel
|
|
desc: Paired Single Select
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x1000002e
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_sub
|
|
desc: Paired Single Subtract
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x10000028
|
|
args: [ frD, frA, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frB ]
|
|
|
|
- name: ps_sum0
|
|
desc: Paired Single vector SUM high
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x10000014
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: ps_sum1
|
|
desc: Paired Single vector SUM low
|
|
bitmask: 0xfc00003e
|
|
pattern: 0x10000016
|
|
args: [ frD, frA, frC, frB ]
|
|
defs: [ frD ]
|
|
uses: [ frA, frC, frB ]
|
|
|
|
- name: rfi
|
|
desc: Return from Interrupt
|
|
bitmask: 0xfffff801
|
|
pattern: 0x4c000000
|
|
|
|
- name: rlwimi
|
|
desc: Rotate Left Word Immediate then Mask Insert
|
|
bitmask: 0xfc000000
|
|
pattern: 0x50000000
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, SH, MB, ME ]
|
|
defs: [ rA ]
|
|
uses: [ rA, rS, SH ]
|
|
|
|
- name: rlwinm
|
|
desc: Rotate Left Word Immediate then AND with Mask
|
|
bitmask: 0xfc000000
|
|
pattern: 0x54000000
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, SH, MB, ME ]
|
|
defs: [ rA ]
|
|
uses: [ rS, SH ]
|
|
|
|
- name: rlwnm
|
|
desc: Rotate Left Word then AND with Mask
|
|
bitmask: 0xfc000000
|
|
pattern: 0x5c000000
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB, MB, ME ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: sc
|
|
desc: System Call
|
|
bitmask: 0xffffffff
|
|
pattern: 0x44000002
|
|
|
|
- name: slw
|
|
desc: Shift Left Word
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000030
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: sraw
|
|
desc: Shift Right Algebraic Word
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000630
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: srawi
|
|
desc: Shift Right Algebraic Word Immediate
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000670
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, SH ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: srw
|
|
desc: Shift Right Word
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000430
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: stb
|
|
desc: Store Byte
|
|
bitmask: 0xfc000000
|
|
pattern: 0x98000000
|
|
args: [ rS, offset, rA ]
|
|
uses: [ rS, rA.nz ]
|
|
|
|
- name: stbu
|
|
desc: Store Byte with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0x9c000000
|
|
args: [ rS, offset, rA ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA ]
|
|
|
|
- name: stbux
|
|
desc: Store Byte with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0001ee
|
|
args: [ rS, rA, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA, rB ]
|
|
|
|
- name: stbx
|
|
desc: Store Byte Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0001ae
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: stfd
|
|
desc: Store Floating-Point Double
|
|
bitmask: 0xfc000000
|
|
pattern: 0xd8000000
|
|
args: [ frS, offset, rA ]
|
|
uses: [ frS, rA.nz ]
|
|
|
|
- name: stfdu
|
|
desc: Store Floating-Point Double with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xdc000000
|
|
args: [ frS, offset, rA ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA ]
|
|
|
|
- name: stfdux
|
|
desc: Store Floating-Point Double with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0005ee
|
|
args: [ frS, rA, rB ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA, rB ]
|
|
|
|
- name: stfdx
|
|
desc: Store Floating-Point Double Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0005ae
|
|
args: [ frS, rA, rB ]
|
|
uses: [ frS, rA.nz, rB ]
|
|
|
|
- name: stfiwx
|
|
desc: Store Floating-Point as Integer Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0007ae
|
|
args: [ frS, rA, rB ]
|
|
uses: [ frS, rA.nz, rB ]
|
|
|
|
- name: stfs
|
|
desc: Store Floating-Point Single
|
|
bitmask: 0xfc000000
|
|
pattern: 0xd0000000
|
|
args: [ frS, offset, rA ]
|
|
uses: [ frS, rA.nz ]
|
|
|
|
- name: stfsu
|
|
desc: Store Floating-Point Single with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xd4000000
|
|
args: [ frS, offset, rA ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA ]
|
|
|
|
- name: stfsux
|
|
desc: Store Floating-Point Single with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00056e
|
|
args: [ frS, rA, rB ]
|
|
defs: [ rA ]
|
|
uses: [ frS, rA, rB ]
|
|
|
|
- name: stfsx
|
|
desc: Store Floating-Point Single Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00052e
|
|
args: [ frS, rA, rB ]
|
|
uses: [ frS, rA.nz, rB ]
|
|
|
|
- name: sth
|
|
desc: Store Half Word
|
|
bitmask: 0xfc000000
|
|
pattern: 0xb0000000
|
|
args: [ rS, offset, rA ]
|
|
uses: [ rS, rA.nz ]
|
|
|
|
- name: sthbrx
|
|
desc: Store Half Word Byte-Reverse Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00072c
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: sthu
|
|
desc: Store Half Word with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0xb4000000
|
|
args: [ rS, offset, rA ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA ]
|
|
|
|
- name: sthux
|
|
desc: Store Half Word with Update Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00036e
|
|
args: [ rS, rA, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA, rB ]
|
|
|
|
- name: sthx
|
|
desc: Store Half Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00032e
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: stmw
|
|
desc: Store Multiple Word
|
|
bitmask: 0xfc000000
|
|
pattern: 0xbc000000
|
|
args: [ rS, offset, rA ]
|
|
uses: [ rS, rA.nz ]
|
|
|
|
- name: stswi
|
|
desc: Store String Word Immediate
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c0005aa
|
|
args: [ rS, rA, NB ]
|
|
uses: [ rS, rA.nz ]
|
|
|
|
- name: stswx
|
|
desc: Store String Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00052a
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: stw
|
|
desc: Store Word
|
|
bitmask: 0xfc000000
|
|
pattern: 0x90000000
|
|
args: [ rS, offset, rA ]
|
|
uses: [ rS, rA.nz ]
|
|
|
|
- name: stwbrx
|
|
desc: Store Word Byte-Reverse Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00052c
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: stwcx.
|
|
desc: Store Word Conditional Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00012d
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: stwu
|
|
desc: Store Word with Update
|
|
bitmask: 0xfc000000
|
|
pattern: 0x94000000
|
|
args: [ rS, offset, rA ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA ]
|
|
|
|
- name: stwux
|
|
desc: Store Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00016e
|
|
args: [ rS, rA, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rA, rB ]
|
|
|
|
- name: stwx
|
|
desc: Store Word Indexed
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c00012e
|
|
args: [ rS, rA, rB ]
|
|
uses: [ rS, rA.nz, rB ]
|
|
|
|
- name: subf
|
|
desc: Subtract From Carrying
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c000050
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: subfc
|
|
desc: Subtract from Carrying
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c000010
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: subfe
|
|
desc: Subtract from Extended
|
|
bitmask: 0xfc0003fe
|
|
pattern: 0x7c000110
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA, rB ]
|
|
defs: [ rD ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: subfic
|
|
desc: Subtract from Immediate Carrying
|
|
bitmask: 0xfc000000
|
|
pattern: 0x20000000
|
|
args: [ rD, rA, simm ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: subfme
|
|
desc: Subtract from Minus One Extended
|
|
bitmask: 0xfc00fbfe
|
|
pattern: 0x7c0001d0
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: subfze
|
|
desc: Subtract from Zero Extended
|
|
bitmask: 0xfc00fbfe
|
|
pattern: 0x7c000190
|
|
modifiers: [ OE, Rc ]
|
|
args: [ rD, rA ]
|
|
defs: [ rD ]
|
|
uses: [ rA ]
|
|
|
|
- name: sync
|
|
desc: Synchronize
|
|
bitmask: 0xffffffff
|
|
pattern: 0x7c0004ac
|
|
|
|
- name: tlbie
|
|
desc: Translation Lookaside Buffer Invalidate Entry
|
|
bitmask: 0xffff07ff
|
|
pattern: 0x7c000264
|
|
args: [ rB ]
|
|
uses: [ rB ]
|
|
|
|
- name: tlbsync
|
|
desc: TLB Synchronize
|
|
bitmask: 0xffffffff
|
|
pattern: 0x7c00046c
|
|
|
|
- name: tw
|
|
desc: Trap Word
|
|
bitmask: 0xfc0007ff
|
|
pattern: 0x7c000008
|
|
args: [ TO, rA, rB ]
|
|
uses: [ rA, rB ]
|
|
|
|
- name: twi
|
|
desc: Trap Word Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x0c000000
|
|
args: [ TO, rA, simm ]
|
|
uses: [ rA ]
|
|
|
|
- name: xor
|
|
desc: XOR
|
|
bitmask: 0xfc0007fe
|
|
pattern: 0x7c000278
|
|
modifiers: [ Rc ]
|
|
args: [ rA, rS, rB ]
|
|
defs: [ rA ]
|
|
uses: [ rS, rB ]
|
|
|
|
- name: xori
|
|
desc: XOR Immediate
|
|
bitmask: 0xfc000000
|
|
pattern: 0x68000000
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
- name: xoris
|
|
desc: XOR Immediate Shifted
|
|
bitmask: 0xfc000000
|
|
pattern: 0x6c000000
|
|
args: [ rA, rS, uimm ]
|
|
defs: [ rA ]
|
|
uses: [ rS ]
|
|
|
|
mnemonics:
|
|
# Arithmetic
|
|
- name: lis
|
|
opcode: addis
|
|
args: [ rD, uimm ]
|
|
condition: rA == 0
|
|
- name: li
|
|
opcode: addi
|
|
args: [ rD, simm ]
|
|
condition: rA == 0
|
|
- name: mr
|
|
opcode: or
|
|
args: [ rA, rS ]
|
|
condition: rS == rB
|
|
- name: nop
|
|
opcode: ori
|
|
condition: rA == 0 && rS == 0 && uimm == 0
|
|
|
|
# Rotates/Shifts
|
|
- name: rotlw
|
|
opcode: rlwnm
|
|
args: [ rA, rS, rB ]
|
|
condition: MB == 0 && ME == 31
|
|
|
|
# TODO rlwimi: inslwi/insrwi
|
|
|
|
# Rotates/Shifts Immediate
|
|
- name: clrrwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, ME=31-ME ]
|
|
condition: SH == 0 && MB == 0 && ME < 32
|
|
- name: clrlwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, MB ]
|
|
condition: SH == 0 && ME == 31
|
|
- name: rotlwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, SH ]
|
|
condition: MB == 0 && ME == 31 && SH <= 16
|
|
- name: rotrwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, SH=32-SH ]
|
|
condition: MB == 0 && ME == 31 && SH > 16
|
|
- name: slwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, SH ]
|
|
condition: MB == 0 && 31 - SH == ME
|
|
- name: srwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, MB ]
|
|
condition: ME == 31 && 32 - MB == SH
|
|
- name: clrlslwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, MB=MB+SH, SH ]
|
|
condition: SH < 32 && ME == 31 - SH
|
|
- name: extlwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, ME=ME+1, SH ]
|
|
condition: MB == 0
|
|
- name: extrwi
|
|
opcode: rlwinm
|
|
args: [ rA, rS, MB=32-MB, SH=SH-(32-MB) ]
|
|
condition: ME == 31 && SH >= 32 - MB
|
|
|
|
# Compares Word
|
|
- name: cmpwi
|
|
opcode: cmpi
|
|
args: [ rA, simm ]
|
|
condition: crfD == 0 && L == 0
|
|
- name: cmpwi
|
|
opcode: cmpi
|
|
args: [ crfD, rA, simm ]
|
|
condition: L == 0
|
|
- name: cmpw
|
|
opcode: cmp
|
|
args: [ rA, rB ]
|
|
condition: crfD == 0 && L == 0
|
|
- name: cmpw
|
|
opcode: cmp
|
|
args: [ crfD, rA, rB ]
|
|
condition: L == 0
|
|
- name: cmplwi
|
|
opcode: cmpli
|
|
args: [ rA, uimm ]
|
|
condition: crfD == 0 && L == 0
|
|
- name: cmplwi
|
|
opcode: cmpli
|
|
args: [ crfD, rA, uimm ]
|
|
condition: L == 0
|
|
- name: cmplw
|
|
opcode: cmpl
|
|
args: [ rA, rB ]
|
|
condition: crfD == 0 && L == 0
|
|
- name: cmplw
|
|
opcode: cmpl
|
|
args: [ crfD, rA, rB ]
|
|
condition: L == 0
|
|
|
|
# Compares Doubleword
|
|
- name: cmpdi
|
|
opcode: cmpi
|
|
args: [ rA, simm ]
|
|
condition: crfD == 0 && L == 1
|
|
- name: cmpdi
|
|
opcode: cmpi
|
|
args: [ crfD, rA, simm ]
|
|
condition: L == 1
|
|
- name: cmpd
|
|
opcode: cmp
|
|
args: [ rA, rB ]
|
|
condition: crfD == 0 && L == 1
|
|
- name: cmpd
|
|
opcode: cmp
|
|
args: [ crfD, rA, rB ]
|
|
condition: L == 1
|
|
- name: cmpldi
|
|
opcode: cmpli
|
|
args: [ rA, uimm ]
|
|
condition: crfD == 0 && L == 1
|
|
- name: cmpldi
|
|
opcode: cmpli
|
|
args: [ crfD, rA, uimm ]
|
|
condition: L == 1
|
|
- name: cmpld
|
|
opcode: cmpl
|
|
args: [ rA, rB ]
|
|
condition: crfD == 0 && L == 1
|
|
- name: cmpld
|
|
opcode: cmpl
|
|
args: [ crfD, rA, rB ]
|
|
condition: L == 1
|
|
|
|
# Condition Register Logical
|
|
- name: crset
|
|
opcode: creqv
|
|
args: [ crbD ]
|
|
condition: crbD == crbA && crbD == crbB
|
|
- name: crclr
|
|
opcode: crxor
|
|
args: [ crbD ]
|
|
condition: crbD == crbA && crbD == crbB
|
|
- name: crmove
|
|
opcode: cror
|
|
args: [ crbD, crbA ]
|
|
condition: crbA == crbB
|
|
- name: crnot
|
|
opcode: crnor
|
|
args: [ crbD, crbA ]
|
|
condition: crbA == crbB
|
|
|
|
# Misc
|
|
- name: tweq
|
|
opcode: tw
|
|
args: [ rA, rB ]
|
|
condition: TO == 4
|
|
- name: twlge
|
|
opcode: tw
|
|
args: [ rA, rB ]
|
|
condition: TO == 5
|
|
- name: trap
|
|
opcode: tw
|
|
condition: TO == 31 && rA == 0 && rB == 0
|
|
- name: twgti
|
|
opcode: twi
|
|
args: [ rA, simm ]
|
|
condition: TO == 8
|
|
- name: twllei
|
|
opcode: twi
|
|
args: [ rA, simm ]
|
|
condition: TO == 6
|
|
- name: twui
|
|
opcode: twi
|
|
args: [ rA, simm ]
|
|
condition: TO == 31
|
|
|
|
# Move to special-purpose register
|
|
- name: mtxer
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 1
|
|
- name: mtlr
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 8
|
|
- name: mtctr
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 9
|
|
- name: mtdsisr
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 18
|
|
- name: mtdar
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 19
|
|
- name: mtdec
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 22
|
|
- name: mtsdr1
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 25
|
|
- name: mtsrr0
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 26
|
|
- name: mtsrr1
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 27
|
|
- name: mtsprg
|
|
opcode: mtspr
|
|
args: [ spr_SPRG, rS ]
|
|
condition: spr & 0b1111111100 == 272
|
|
- name: mtear
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 282
|
|
- name: mttbl
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 284
|
|
- name: mttbu
|
|
opcode: mtspr
|
|
args: [ rS ]
|
|
condition: spr == 285
|
|
- name: mtibatu
|
|
opcode: mtspr
|
|
args: [ spr_BAT, rS ]
|
|
condition: spr & 0b1111111001 == 528
|
|
- name: mtibatl
|
|
opcode: mtspr
|
|
args: [ spr_BAT, rS ]
|
|
condition: spr & 0b1111111001 == 529
|
|
- name: mtdbatu
|
|
opcode: mtspr
|
|
args: [ spr_BAT, rS ]
|
|
condition: spr & 0b1111111001 == 536
|
|
- name: mtdbatl
|
|
opcode: mtspr
|
|
args: [ spr_BAT, rS ]
|
|
condition: spr & 0b1111111001 == 537
|
|
|
|
# Move from special-purpose register
|
|
- name: mfxer
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 1
|
|
- name: mflr
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 8
|
|
- name: mfctr
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 9
|
|
- name: mfdsisr
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 18
|
|
- name: mfdar
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 19
|
|
- name: mfdec
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 22
|
|
- name: mfsdr1
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 25
|
|
- name: mfsrr0
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 26
|
|
- name: mfsrr1
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 27
|
|
- name: mfsprg
|
|
opcode: mfspr
|
|
args: [ rD, spr_SPRG ]
|
|
condition: spr & 0b1111111100 == 272
|
|
- name: mfear
|
|
opcode: mfspr
|
|
args: [ rD ]
|
|
condition: spr == 282
|
|
- name: mfibatu
|
|
opcode: mfspr
|
|
args: [ rD, spr_BAT ]
|
|
condition: spr & 0b1111111001 == 528
|
|
- name: mfibatl
|
|
opcode: mfspr
|
|
args: [ rD, spr_BAT ]
|
|
condition: spr & 0b1111111001 == 529
|
|
- name: mfdbatu
|
|
opcode: mfspr
|
|
args: [ rD, spr_BAT ]
|
|
condition: spr & 0b1111111001 == 536
|
|
- name: mfdbatl
|
|
opcode: mfspr
|
|
args: [ rD, spr_BAT ]
|
|
condition: spr & 0b1111111001 == 537
|
|
|
|
# Branch Conditional
|
|
# bc branch if negative
|
|
- name: blt
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 12 && BI == 0
|
|
- name: blt
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 0
|
|
# bc branch if not positive
|
|
- name: ble
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 4 && BI == 1
|
|
- name: ble
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 1
|
|
# bc branch if zero
|
|
- name: beq
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 12 && BI == 2
|
|
- name: beq
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 2
|
|
# bc branch if not negative
|
|
- name: bge
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 4 && BI == 0
|
|
- name: bge
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 0
|
|
# bc branch if positive
|
|
- name: bgt
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 12 && BI == 1
|
|
- name: bgt
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 1
|
|
# bc branch if not zero
|
|
- name: bne
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 4 && BI == 2
|
|
- name: bne
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 2
|
|
# bc branch if summary overflow
|
|
- name: bso
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 12 && BI == 3
|
|
- name: bso
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 3
|
|
# bc branch if not summary overflow
|
|
- name: bns
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 4 && BI == 3
|
|
- name: bns
|
|
opcode: bc
|
|
args: [ crfS, BD ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 3
|
|
|
|
# bc decrement CTR, branch if CTR non-zero
|
|
- name: bdnz
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 16 && BI == 0
|
|
# bc decrement CTR, branch if CTR non-zero AND condition true
|
|
- name: bdnzt
|
|
opcode: bc
|
|
args: [ BI, BD ]
|
|
condition: BO & 0b11110 == 8
|
|
# bc decrement CTR, branch if CTR non-zero AND condition false
|
|
- name: bdnzf
|
|
opcode: bc
|
|
args: [ BI, BD ]
|
|
condition: BO & 0b11110 == 0
|
|
# bc decrement CTR, branch if CTR zero
|
|
- name: bdz
|
|
opcode: bc
|
|
args: [ BD ]
|
|
condition: BO & 0b11110 == 18 && BI == 0
|
|
# bc decrement CTR, branch if CTR zero AND condition true
|
|
- name: bdzt
|
|
opcode: bc
|
|
args: [ BI, BD ]
|
|
condition: BO & 0b11110 == 10
|
|
# bc decrement CTR, branch if CTR zero AND condition false
|
|
- name: bdzf
|
|
opcode: bc
|
|
args: [ BI, BD ]
|
|
condition: BO & 0b11110 == 2
|
|
|
|
# Branch Conditional to Count Register
|
|
# bcctr branch always
|
|
- name: bctr
|
|
opcode: bcctr
|
|
modifiers: [ LK ]
|
|
condition: BO == 20 && BI == 0
|
|
# bcctr branch if negative
|
|
- name: bltctr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 12 && BI == 0
|
|
- name: bltctr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 0
|
|
# bcctr branch if not positive
|
|
- name: blectr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 4 && BI == 1
|
|
- name: blectr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 1
|
|
# bcctr branch if zero
|
|
- name: beqctr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 12 && BI == 2
|
|
- name: beqctr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 2
|
|
# bcctr branch if not negative
|
|
- name: bgectr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 4 && BI == 0
|
|
- name: bgectr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 0
|
|
# bcctr branch if positive
|
|
- name: bgtctr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 12 && BI == 1
|
|
- name: bgtctr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 1
|
|
# bcctr branch if not zero
|
|
- name: bnectr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 4 && BI == 2
|
|
- name: bnectr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 2
|
|
# bcctr branch if summary overflow
|
|
- name: bsoctr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 12 && BI == 3
|
|
- name: bsoctr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 3
|
|
# bcctr branch if not summary overflow
|
|
- name: bnsctr
|
|
opcode: bcctr
|
|
condition: BO & 0b11110 == 4 && BI == 3
|
|
- name: bnsctr
|
|
opcode: bcctr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 3
|
|
|
|
# Branch Conditional to Link Register
|
|
# bclr branch always
|
|
- name: blr
|
|
opcode: bclr
|
|
modifiers: [ LK ]
|
|
condition: BO == 20 && BI == 0
|
|
# bclr branch if negative
|
|
- name: bltlr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 12 && BI == 0
|
|
- name: bltlr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 0
|
|
# bclr branch if not positive
|
|
- name: blelr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 4 && BI == 1
|
|
- name: blelr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 1
|
|
# bclr branch if zero
|
|
- name: beqlr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 12 && BI == 2
|
|
- name: beqlr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 2
|
|
# bclr branch if not negative
|
|
- name: bgelr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 4 && BI == 0
|
|
- name: bgelr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 0
|
|
# bclr branch if positive
|
|
- name: bgtlr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 12 && BI == 1
|
|
- name: bgtlr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 1
|
|
# bclr branch if not zero
|
|
- name: bnelr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 4 && BI == 2
|
|
- name: bnelr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 2
|
|
# bclr branch if summary overflow
|
|
- name: bsolr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 12 && BI == 3
|
|
- name: bsolr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 12 && BI & 0b11 == 3
|
|
# bclr branch if not summary overflow
|
|
- name: bnslr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 4 && BI == 3
|
|
- name: bnslr
|
|
opcode: bclr
|
|
args: [ crfS ]
|
|
condition: BO & 0b11110 == 4 && BI & 0b11 == 3
|
|
# bclr decrement CTR, branch if CTR non-zero
|
|
- name: bdnzlr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 16 && BI == 0
|
|
# bclr decrement CTR, branch if CTR non-zero AND condition true
|
|
- name: bdnztlr
|
|
opcode: bclr
|
|
args: [ BI ]
|
|
condition: BO & 0b11110 == 8
|
|
# bclr decrement CTR, branch if CTR non-zero AND condition false
|
|
- name: bdnzflr
|
|
opcode: bclr
|
|
args: [ BI ]
|
|
condition: BO & 0b11110 == 0
|
|
# bclr decrement CTR, branch if CTR zero
|
|
- name: bdzlr
|
|
opcode: bclr
|
|
condition: BO & 0b11110 == 18 && BI == 0
|
|
# bclr decrement CTR, branch if CTR zero AND condition true
|
|
- name: bdztlr
|
|
opcode: bclr
|
|
args: [ BI ]
|
|
condition: BO & 0b11110 == 10
|
|
# bclr decrement CTR, branch if CTR zero AND condition false
|
|
- name: bdzflr
|
|
opcode: bclr
|
|
args: [ BI ]
|
|
condition: BO & 0b11110 == 0
|