ppc750cl/isa.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