# Load Byte and Zero
+D-Form
+
* lbz RT,D(RA)
if RA = 0 then b <- 0
# Load Byte and Zero Indexed
+X-Form
+
* lbzx RT,RA,RB
if RA = 0 then b <- 0
# Load Byte and Zero with Update
+D-Form
+
* lbzu RT,D(RA)
EA <- (RA) + EXTS(D)
# Load Byte and Zero with Update Indexed
+X-Form
+
* lbzux RT,RA,RB
EA <- (RA) + (RB)
# Load Halfword and Zero
+D-Form
+
* lhz RT,D(RA)
if RA = 0 then b <- 0
EA <- b + EXTS(D)
RT <- [0] * 48 || MEM(EA, 2)
-# Load Halfword and Zero Indexed X-form
+# Load Halfword and Zero Indexed
+
+X-Form
* lhzx RT,RA,RB
# Load Halfword and Zero with Update
+D-Form
+
* lhzu RT,D(RA)
EA <- (RA) + EXTS(D)
# Load Halfword and Zero with Update Indexed
+X-Form
+
* lhzux RT,RA,RB
EA <- (RA) + (RB)
# Load Halfword Algebraic
+D-Form
+
* lha RT,D(RA)
if RA = 0 then b <- 0
EA <- b + EXTS(D)
RT <- EXTS(MEM(EA, 2))
-# Load Halfword Algebraic Indexed X-form
+# Load Halfword Algebraic Indexed
+
+X-form
* lhax RT,RA,RB
# Load Halfword Algebraic with Update
+D-Form
+
* lhau RT,D(RA)
EA <- (RA) + EXTS(D)
# Load Halfword Algebraic with Update Indexed
+X-form
+
* lhaux RT,RA,RB
EA <- (RA) + (RB)
# Load Word and Zero
+D-Form
+
* lwz RT,D(RA)
if RA = 0 then b <- 0
EA <- b + EXTS(D)
RT <- [0] * 32 || MEM(EA, 4)
-Load Word and Zero Indexed
+# Load Word and Zero Indexed
+
+X-form
* lwzx RT,RA,RB
# Load Word and Zero with Update
+D-Form
+
* lwzu RT,D(RA)
EA <- (RA) + EXTS(D)
# Load Word and Zero with Update Indexed
+X-form
+
* lwzux RT,RA,RB
EA <- (RA) + (RB)
# Load Word Algebraic
+D-Form
+
* lwa RT,DS(RA)
if RA = 0 then b <- 0
# Load Word Algebraic Indexed
+X-form
+
* lwax RT,RA,RB
if RA = 0 then b <- 0
# Load Word Algebraic with Update Indexed
+X-form
+
* lwaux RT,RA,RB
EA <- (RA) + (RB)
# Load Doubleword
+DS-Form
+
* ld RT,DS(RA)
if RA = 0 then b <- 0
# Load Doubleword with Update Indexed
+DS-Form
+
* ldu RT,DS(RA)
EA <- (RA) + EXTS(DS || 0b00)
# Load Quadword
+DQ-Form
+
* lq RTp,DQ(RA)
if RA = 0 then b <- 0
# Load Halfword Byte-Reverse Indexed
+X-form
+
* lhbrx RT,RA,RB
if RA = 0 then b <- 0
# Load Word Byte-Reverse Indexed
+X-form
+
* lwbrx RT,RA,RB
if RA = 0 then b <- 0
# Load Doubleword Byte-Reverse Indexed
+X-form
+
* ldbrx RT,RA,RB
if RA = 0 then b <- 0
# Load Multiple Word
+DQ-Form
+
* lmw RT,D(RA)
if RA = 0 then b <- 0
GPR(r) <- [0]*32 || MEM(EA, 4)
r <- r + 1
EA <- EA + 4
-
-