From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 30 Mar 2020 17:37:58 +0000 (+0100)
Subject: add missing forms
X-Git-Tag: convert-csv-opcode-to-binary~3019
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab1b91c48ce85c4ecfe369001744d361db815f56;p=libreriscv.git

add missing forms
---

diff --git a/openpower/isa/fixedstore.mdwn b/openpower/isa/fixedstore.mdwn
index d34044eac..39e499203 100644
--- a/openpower/isa/fixedstore.mdwn
+++ b/openpower/isa/fixedstore.mdwn
@@ -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
@@ -85,6 +105,8 @@
 
 # Store Word with Update
 
+D-Form
+
 * stwu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -93,6 +115,8 @@
 
 # Store Word with Update Indexed
 
+X-Form
+
 * stwux RS,RA,RB
 
     EA <- (RA) + (RB)
@@ -101,6 +125,8 @@
 
 # Store Doubleword
 
+DS-Form
+
 * std RS,DS(RA)
 
     if RA = 0 then b <-  0
@@ -110,6 +136,8 @@
 
 # Store Doubleword Indexed
 
+X-Form
+
 * stdx RS,RA,RB
 
     if RA = 0 then b <- 0
@@ -119,13 +147,17 @@
 
 # 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