# Load Byte and Zero
-lbz RT,D(RA)
+* lbz RT,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Byte and Zero Indexed
-lbzx RT,RA,RB
+* lbzx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Byte and Zero with Update
-lbzu RT,D(RA)
+* lbzu RT,D(RA)
EA <- (RA) + EXTS(D)
RT <- [0] * 56 || MEM(EA, 1)
# Load Byte and Zero with Update Indexed
-lbzux RT,RA,RB
+* lbzux RT,RA,RB
EA <- (RA) + (RB)
RT <- [0] * 56 || MEM(EA, 1)
# Load Halfword and Zero
-lhz RT,D(RA)
+* lhz RT,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Halfword and Zero Indexed X-form
-lhzx RT,RA,RB
+* lhzx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Halfword and Zero with Update
-lhzu RT,D(RA)
+* lhzu RT,D(RA)
EA <- (RA) + EXTS(D)
RT <- [0] * 48 || MEM(EA, 2)
# Load Halfword and Zero with Update Indexed
-lhzux RT,RA,RB
+* lhzux RT,RA,RB
EA <- (RA) + (RB)
RT <- [0] * 48 || MEM(EA, 2)
# Load Halfword Algebraic
-lha RT,D(RA)
+* lha RT,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Halfword Algebraic Indexed X-form
-lhax RT,RA,RB
+* lhax RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Halfword Algebraic with Update
-lhau RT,D(RA)
+* lhau RT,D(RA)
EA <- (RA) + EXTS(D)
RT <- EXTS(MEM(EA, 2))
# Load Halfword Algebraic with Update Indexed
-lhaux RT,RA,RB
+* lhaux RT,RA,RB
EA <- (RA) + (RB)
RT <- EXTS(MEM(EA, 2))
# Load Word and Zero
-lwz RT,D(RA)
+* lwz RT,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
Load Word and Zero Indexed
-lwzx RT,RA,RB
+* lwzx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Word and Zero with Update
-lwzu RT,D(RA)
+* lwzu RT,D(RA)
EA <- (RA) + EXTS(D)
RT <- [0]*32 || MEM(EA, 4)
# Load Word and Zero with Update Indexed
-lwzux RT,RA,RB
+* lwzux RT,RA,RB
EA <- (RA) + (RB)
RT <- [0] * 32 || MEM(EA, 4)
# Load Word Algebraic
-lwa RT,DS(RA)
+* lwa RT,DS(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Word Algebraic Indexed
-lwax RT,RA,RB
+* lwax RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Word Algebraic with Update Indexed
-lwaux RT,RA,RB
+* lwaux RT,RA,RB
EA <- (RA) + (RB)
RT <- EXTS(MEM(EA, 4))
# Load Doubleword
-ld RT,DS(RA)
+* ld RT,DS(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Doubleword Indexed
-ldx RT,RA,RB
+* ldx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Doubleword with Update Indexed
-ldu RT,DS(RA)
+* ldu RT,DS(RA)
EA <- (RA) + EXTS(DS || 0b00)
RT <- MEM(EA, 8)
# Load Doubleword with Update Indexed
-ldux RT,RA,RB
+* ldux RT,RA,RB
EA <- (RA) + (RB)
RT <- MEM(EA, 8)
# Load Quadword
-lq RTp,DQ(RA)
+* lq RTp,DQ(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Load Halfword Byte-Reverse Indexed
-lhbrx RT,RA,RB
+* lhbrx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Word Byte-Reverse Indexed
-lwbrx RT,RA,RB
+* lwbrx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Doubleword Byte-Reverse Indexed
-ldbrx RT,RA,RB
+* ldbrx RT,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Load Multiple Word
-lmw RT,D(RA)
+* lmw RT,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Byte
-stb RS,D(RA)
+* stb RS,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Byte Indexed
-stbx RS,RA,RB
+* stbx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Byte with Update
-stbu RS,D(RA)
+* stbu RS,D(RA)
EA <- (RA) + EXTS(D)
MEM(EA, 1) <- (RS)[56:63]
# Store Byte with Update Indexed
-stbux RS,RA,RB
+* stbux RS,RA,RB
EA <- (RA) + (RB)
MEM(EA, 1) <- (RS)[56:63]
RA <- EA
# Store Halfword
-sth RS,D(RA)
+* sth RS,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Halfword Indexed
-sthx RS,RA,RB
+* sthx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Halfword with Update
-sthu RS,D(RA)
+* sthu RS,D(RA)
EA <- (RA) + EXTS(D)
MEM(EA, 2) <- (RS)[48:63]
# Store Halfword with Update Indexed
-sthux RS,RA,RB
+* sthux RS,RA,RB
EA <- (RA) + (RB)
MEM(EA, 2) <- (RS)[48:63]
# Store Word
-stw RS,D(RA)
+* stw RS,D(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Word Indexed
-stwx RS,RA,RB
+* stwx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Word with Update
-stwu RS,D(RA)
+* stwu RS,D(RA)
EA <- (RA) + EXTS(D)
MEM(EA, 4) <- (RS) 32:63
# Store Word with Update Indexed
-stwux RS,RA,RB
+* stwux RS,RA,RB
EA <- (RA) + (RB)
MEM(EA, 4) <- (RS) 32:63
# Store Doubleword
-std RS,DS(RA)
+* std RS,DS(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Doubleword Indexed
-stdx RS,RA,RB
+* stdx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Doubleword with Update
-stdu RS,DS(RA)
+* stdu RS,DS(RA)
EA <- (RA) + EXTS(DS || 0b00)
MEM(EA, 8) <- (RS)
Store Doubleword with Update Indexed
-stdux RS,RA,RB
+* stdux RS,RA,RB
EA <- (RA) + (RB)
MEM(EA, 8) <- (RS)
# Store Quadword
-stq RSp,DS(RA)
+* stq RSp,DS(RA)
if RA = 0 then b <- 0
else b <- (RA)
# Store Halfword Byte-Reverse Indexed
-sthbrx RS,RA,RB
+* sthbrx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Word Byte-Reverse Indexed
-stwbrx RS,RA,RB
+* stwbrx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Doubleword Byte-Reverse Indexed
-stdbrx RS,RA,RB
+* stdbrx RS,RA,RB
if RA = 0 then b <- 0
else b <- (RA)
# Store Multiple Word
-stmw RS,D(RA)
+* stmw RS,D(RA)
if RA = 0 then b <- 0
else b <- (RA)