add missing forms
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 30 Mar 2020 17:37:58 +0000 (18:37 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 30 Mar 2020 17:37:58 +0000 (18:37 +0100)
openpower/isa/fixedstore.mdwn

index d34044eacf4a6ff158e761e85e5c9f7c16b11733..39e499203cf4b54a406ad43740058def354a1bae 100644 (file)
@@ -1,5 +1,7 @@
 # Store Byte
 
+D-Form
+
 * stb RS,D(RA)
 
     if RA = 0 then b <-  0
@@ -9,6 +11,8 @@
 
 # Store Byte Indexed
 
+X-Form
+
 * stbx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -18,6 +22,8 @@
 
 # Store Byte with Update
 
+D-Form
+
 * stbu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -26,6 +32,8 @@
 
 # Store Byte with Update Indexed
 
+X-Form
+
 * stbux RS,RA,RB
 
     EA <- (RA) + (RB)
@@ -33,6 +41,8 @@
     RA <- EA
 # Store Halfword
 
+D-Form
+
 * sth RS,D(RA)
 
     if RA = 0 then b <-  0
@@ -42,6 +52,8 @@
 
 # Store Halfword Indexed
 
+X-Form
+
 * sthx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -51,6 +63,8 @@
 
 # Store Halfword with Update
 
+D-Form
+
 * sthu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -59,6 +73,8 @@
 
 # Store Halfword with Update Indexed
 
+X-Form
+
 * sthux RS,RA,RB
 
     EA <- (RA) + (RB)
@@ -67,6 +83,8 @@
 
 # Store Word
 
+D-Form
+
 * stw RS,D(RA)
 
     if RA = 0 then b <-  0
@@ -76,6 +94,8 @@
 
 # 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
 
@@ -135,6 +167,8 @@ Store Doubleword with Update Indexed
 
 # Store Quadword
 
+DS-Form
+
 * stq RSp,DS(RA)
 
     if RA = 0 then b <-  0
@@ -144,6 +178,8 @@ Store Doubleword with Update Indexed
 
 # Store Halfword Byte-Reverse Indexed
 
+X-Form
+
 * sthbrx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -153,6 +189,8 @@ Store Doubleword with Update Indexed
 
 # Store Word Byte-Reverse Indexed
 
+X-Form
+
 * stwbrx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -163,6 +201,8 @@ Store Doubleword with Update Indexed
 
 # Store Doubleword Byte-Reverse Indexed
 
+X-Form
+
 * stdbrx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -175,6 +215,8 @@ Store Doubleword with Update Indexed
 
 # Store Multiple Word
 
+D-Form
+
 * stmw RS,D(RA)
 
     if RA = 0 then b <- 0