Files
xenia-rs/migration/project-root/ppc-manual/memory/lwz.md
MechaCat02 e6d43a23ac chore: add migration/ bundle for cross-machine setup
Bundles state that lives OUTSIDE the xenia-rs repo so a fresh clone on
another machine can be brought up to identical configuration via
migration/setup.sh:

  - claude-memory/             ~/.claude/projects/-home-fabi-RE-Project-Sylpheed/memory/
                               (103 files, 1.1 MB - MEMORY.md + every
                                project_xenia_rs_*.md from audits
                                addis_signext through audit-058)
  - project-root/dot-claude/   <project-root>/.claude/settings.json
                               (Stop hook + permissions)
  - project-root/ppc-manual/   <project-root>/ppc-manual/
                               (PowerPC reference docs, 397 files, 3.7 MB)
  - project-root/run-canary.sh <project-root>/run-canary.sh
  - README.md                  Human-readable setup checklist
  - setup.sh                   Idempotent installer (also reclones
                               xenia-canary at pinned HEAD 6de80dffe)
  - MANIFEST.md                Per-file mapping + per-file-not-bundled
                               restoration recipe

Excluded from bundle (not shippable via git):
  - Sylpheed ISO (7.8 GB; copyright; manual copy required)
  - sylpheed.db (395 MB; regenerable from XEX via analysis tooling)
  - target/ build artifacts (rebuild on target)
  - audit-runs probe firehoses (.log/.stdout/.stderr ~11 GB; rerun if needed)
  - audit-runs memory dumps (.bin ~4.5 GB; rerun audit-026/027/029 if needed)
  - xenia-canary checkout (setup.sh reclones from
    git.mc02.dev/fabi/Xenia-Canary.git at HEAD 6de80dffe)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-10 21:38:38 +02:00

11 KiB
Raw Permalink Blame History

lwz — Load Word and Zero

Category: Memory · Form: D · Opcode: 0x80000000

Assembler Mnemonics

Mnemonic XML entry Flags Description
lwz lwz Load Word and Zero
lwzu lwzu Load Word and Zero with Update
lwzux lwzux Load Word and Zero with Update Indexed
lwzx lwzx Load Word and Zero Indexed

Syntax

lwz [RD], [d]([RA0])
lwzu [RD], [d]([RA])
lwzux [RD], [RA], [RB]
lwzx [RD], [RA0], [RB]

Encoding

lwz — form D

  • Opcode word: 0x80000000
  • Primary opcode (bits 05): 32
  • Extended opcode:
  • Synchronising: no
Bits Field Meaning
05 OPCD primary opcode
610 RT destination GPR (or RS when storing)
1115 RA source GPR (0 ⇒ literal 0 for RA0 forms)
1631 D/SI/UI 16-bit signed or unsigned immediate

lwzu — form D

  • Opcode word: 0x84000000
  • Primary opcode (bits 05): 33
  • Extended opcode:
  • Synchronising: no
Bits Field Meaning
05 OPCD primary opcode
610 RT destination GPR (or RS when storing)
1115 RA source GPR (0 ⇒ literal 0 for RA0 forms)
1631 D/SI/UI 16-bit signed or unsigned immediate

lwzux — form X

  • Opcode word: 0x7c00006e
  • Primary opcode (bits 05): 31
  • Extended opcode: 55
  • Synchronising: no
Bits Field Meaning
05 OPCD primary opcode
610 RT/FRT/VRT destination
1115 RA/FRA/VRA source A
1620 RB/FRB/VRB source B
2130 XO extended opcode (10 bits)
31 Rc record-form flag

lwzx — form X

  • Opcode word: 0x7c00002e
  • Primary opcode (bits 05): 31
  • Extended opcode: 23
  • Synchronising: no
Bits Field Meaning
05 OPCD primary opcode
610 RT/FRT/VRT destination
1115 RA/FRA/VRA source A
1620 RB/FRB/VRB source B
2130 XO extended opcode (10 bits)
31 Rc record-form flag

Operands

Field Role Description
RA0 lwz: read; lwzx: read Source GPR; when the encoded register number is 0 the operand is the literal 64-bit zero, not r0.
d lwz: read; lwzu: read 16-bit signed displacement (d) added to the base address register.
RD lwz: write; lwzu: write; lwzux: write; lwzx: write Destination GPR.
RA lwzu: read; lwzu: write; lwzux: read; lwzux: write Source GPR (r0r31).
RB lwzux: read; lwzx: read Source GPR.

Register Effects

lwz

  • Reads (always): RA0, d
  • Reads (conditional): none
  • Writes (always): RD
  • Writes (conditional): none

lwzu

  • Reads (always): RA, d
  • Reads (conditional): none
  • Writes (always): RD, RA
  • Writes (conditional): none

lwzux

  • Reads (always): RA, RB
  • Reads (conditional): none
  • Writes (always): RD, RA
  • Writes (conditional): none

lwzx

  • Reads (always): RA0, RB
  • Reads (conditional): none
  • Writes (always): RD
  • Writes (conditional): none

Status-Register Effects

No condition-register or status-register effects.

Operation (pseudocode)

EA <- (RA|0) + EXTS(d)
RT <- ZEXT32_to_64(MEM(EA, 4))

C Translation Example

/* lwz RT, d(RA)                                                   */
uint64_t base = (insn.RA == 0) ? 0 : r[insn.RA];
uint32_t ea   = (uint32_t)(base + (int64_t)(int16_t)insn.D);
r[insn.RT]    = (uint64_t)mem_read_u32_be(ea);          /* zero-extend */

Implementation References

lwz

xenia-rs interpreter body (frozen snapshot)
        PpcOpcode::lwz => {
            let ea = if instr.ra() == 0 { 0u64 } else { ctx.gpr[instr.ra()] };
            let ea = ea.wrapping_add(instr.d() as i64 as u64) as u32;
            ctx.gpr[instr.rd()] = mem.read_u32(ea) as u64;
            ctx.pc += 4;
        }

lwzu

xenia-rs interpreter body (frozen snapshot)
        PpcOpcode::lwzu => {
            let ea = ctx.gpr[instr.ra()].wrapping_add(instr.d() as i64 as u64) as u32;
            ctx.gpr[instr.rd()] = mem.read_u32(ea) as u64;
            ctx.gpr[instr.ra()] = ea as u64;
            ctx.pc += 4;
        }

lwzux

xenia-rs interpreter body (frozen snapshot)
        PpcOpcode::lwzux => {
            let ea = ctx.gpr[instr.ra()].wrapping_add(ctx.gpr[instr.rb()]) as u32;
            ctx.gpr[instr.rd()] = mem.read_u32(ea) as u64;
            ctx.gpr[instr.ra()] = ea as u64;
            ctx.pc += 4;
        }

lwzx

xenia-rs interpreter body (frozen snapshot)
        PpcOpcode::lwzx => {
            let ea = if instr.ra() == 0 { 0u64 } else { ctx.gpr[instr.ra()] };
            let ea = ea.wrapping_add(ctx.gpr[instr.rb()]) as u32;
            ctx.gpr[instr.rd()] = mem.read_u32(ea) as u64;
            ctx.pc += 4;
        }

Extended Pseudocode

; lwz  — D-form plain
    EA <- (RA|0) + EXTS(d)
    RT <- 0x0000_0000 || MEM(EA, 4)                 ; zero-extend 32→64

; lwzu — D-form with update (base-register post-write)
    EA <- (RA) + EXTS(d)                            ; RA ≠ 0 required
    RT <- 0x0000_0000 || MEM(EA, 4)
    RA <- EA

; lwzx — X-form indexed
    EA <- (RA|0) + (RB)
    RT <- 0x0000_0000 || MEM(EA, 4)

; lwzux — X-form indexed with update
    EA <- (RA) + (RB)                               ; RA ≠ 0 required
    RT <- 0x0000_0000 || MEM(EA, 4)
    RA <- EA

Special Cases & Edge Conditions

  • Big-endian memory. The Xenon reads memory big-endian. Translating to little-endian hosts requires a byte-swap on the 32-bit read (or calling a mem_read_u32_be helper as in the C example). Matching byte-order helpers in xenia: mem.read_u32(...) already returns a host-native u32 of the big-endian word.
  • Zero-extension to 64 bits. The result occupies the full 64-bit GPR; the high 32 bits are zero. This is semantically distinct from lwa / lwax / lwaux, which sign-extend. Most Xbox 360 code uses lwz for unsigned word loads and for pointer loads (addresses are 32-bit and fit in the low half).
  • RA0 (non-update forms). In lwz and lwzx, when the encoded RA = 0 the base is the literal zero, not r0. This enables absolute-address loads lwz RT, 0x8000(0) and is heavily used to read from statically-linked data near the TOC base.
  • Update forms require RA ≠ 0. lwzu / lwzux invoke "RA = 0" as an invalid form; AIX docs say the result is undefined and assemblers will refuse to assemble lwzu RT, d(0). Further, RA = RT is also invalid (the "effective address" write and the "loaded value" write would race). Xenia implements update forms without these checks; rely on incoming code being well-formed.
  • No alignment requirement. Xenon executes unaligned word loads without a fault (unlike some POWER cores). MEM(EA, 4) reads four bytes starting at EA, whatever alignment.
  • No ordering guarantee. These are ordinary cached loads; use sync / isync / lwsync for explicit ordering, or lwarx for load-reserve semantics.
  • Indexed variant operand order. lwzx RT, RA, RBRA is the base (with RA0 semantics), RB is the offset. The variant without RA0 is lwzux.
  • lwa, lwax, lwaux — load word, sign-extend to 64.
  • lwbrx — load word byte-reversed (little-endian word).
  • lwarx — load word and reserve (pair with stwcx).
  • ld, ldu, ldx, ldux — 64-bit loads.
  • lhz, lbz — half-word / byte zero-extending loads (same family structure).
  • stw family — the corresponding stores.

IBM Reference