# Store Byte
+D-Form
+
* stb RS,D(RA)
if RA = 0 then b <- 0
# Store Byte Indexed
+X-Form
+
* stbx RS,RA,RB
if RA = 0 then b <- 0
# Store Byte with Update
+D-Form
+
* stbu RS,D(RA)
EA <- (RA) + EXTS(D)
# Store Byte with Update Indexed
+X-Form
+
* stbux RS,RA,RB
EA <- (RA) + (RB)
RA <- EA
# Store Halfword
+D-Form
+
* sth RS,D(RA)
if RA = 0 then b <- 0
# Store Halfword Indexed
+X-Form
+
* sthx RS,RA,RB
if RA = 0 then b <- 0
# Store Halfword with Update
+D-Form
+
* sthu RS,D(RA)
EA <- (RA) + EXTS(D)
# Store Halfword with Update Indexed
+X-Form
+
* sthux RS,RA,RB
EA <- (RA) + (RB)
# Store Word
+D-Form
+
* stw RS,D(RA)
if RA = 0 then b <- 0
# Store Word Indexed
+X-Form
+
* stwx RS,RA,RB
if RA = 0 then b <- 0
# Store Word with Update
+D-Form
+
* stwu RS,D(RA)
EA <- (RA) + EXTS(D)
# Store Word with Update Indexed
+X-Form
+
* stwux RS,RA,RB
EA <- (RA) + (RB)
# Store Doubleword
+DS-Form
+
* std RS,DS(RA)
if RA = 0 then b <- 0
# Store Doubleword Indexed
+X-Form
+
* stdx RS,RA,RB
if RA = 0 then b <- 0
# Store Doubleword with Update
+DS-Form
+
* stdu RS,DS(RA)
EA <- (RA) + EXTS(DS || 0b00)
MEM(EA, 8) <- (RS)
RA <- EA
-Store Doubleword with Update Indexed
+# Store Doubleword with Update Indexed
+
+X-Form
* stdux RS,RA,RB
# Store Quadword
+DS-Form
+
* stq RSp,DS(RA)
if RA = 0 then b <- 0
# Store Halfword Byte-Reverse Indexed
+X-Form
+
* sthbrx RS,RA,RB
if RA = 0 then b <- 0
# Store Word Byte-Reverse Indexed
+X-Form
+
* stwbrx RS,RA,RB
if RA = 0 then b <- 0
# Store Doubleword Byte-Reverse Indexed
+X-Form
+
* stdbrx RS,RA,RB
if RA = 0 then b <- 0
# Store Multiple Word
+D-Form
+
* stmw RS,D(RA)
if RA = 0 then b <- 0