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

add missing forms back
---

diff --git a/openpower/isa/fixedload.mdwn b/openpower/isa/fixedload.mdwn
index 9b9b0f77f..8dd77ac83 100644
--- a/openpower/isa/fixedload.mdwn
+++ b/openpower/isa/fixedload.mdwn
@@ -1,5 +1,7 @@
 # Load Byte and Zero
 
+D-Form
+
 * lbz RT,D(RA)
 
     if RA = 0 then b <-  0
@@ -9,6 +11,8 @@
 
 # Load Byte and Zero Indexed
 
+X-Form
+
 * lbzx RT,RA,RB
 
     if RA = 0 then b <- 0
@@ -18,6 +22,8 @@
 
 # Load Byte and Zero with Update
 
+D-Form
+
 * lbzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -26,6 +32,8 @@
 
 # Load Byte and Zero with Update Indexed
 
+X-Form
+
 * lbzux RT,RA,RB
 
     EA <- (RA) + (RB)
@@ -34,6 +42,8 @@
 
 # Load Halfword and Zero
 
+D-Form
+
 * lhz RT,D(RA)
 
     if RA = 0 then b <-  0
@@ -41,7 +51,9 @@
     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
 
@@ -52,6 +64,8 @@
 
 # Load Halfword and Zero with Update
 
+D-Form
+
 * lhzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -60,6 +74,8 @@
 
 # Load Halfword and Zero with Update Indexed
 
+X-Form
+
 * lhzux RT,RA,RB
 
     EA <- (RA) + (RB)
@@ -68,6 +84,8 @@
 
 # Load Halfword Algebraic
 
+D-Form
+
 * lha RT,D(RA)
 
     if RA = 0 then b <-  0
@@ -75,7 +93,9 @@
     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
 
@@ -86,6 +106,8 @@
 
 # Load Halfword Algebraic with Update
 
+D-Form
+
 * lhau RT,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -94,6 +116,8 @@
 
 # Load Halfword Algebraic with Update Indexed
 
+X-form
+
 * lhaux RT,RA,RB
 
     EA <- (RA) + (RB)
@@ -102,6 +126,8 @@
 
 # Load Word and Zero
 
+D-Form
+
 * lwz RT,D(RA)
 
     if RA = 0 then b <-  0
@@ -109,7 +135,9 @@
     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
 
@@ -120,6 +148,8 @@ Load Word and Zero Indexed
 
 # Load Word and Zero with Update
 
+D-Form
+
 * lwzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
@@ -128,6 +158,8 @@ Load Word and Zero Indexed
 
 # Load Word and Zero with Update Indexed
 
+X-form
+
 * lwzux RT,RA,RB
 
     EA <- (RA) + (RB)
@@ -136,6 +168,8 @@ Load Word and Zero Indexed
 
 # Load Word Algebraic
 
+D-Form
+
 * lwa RT,DS(RA)
 
     if RA = 0 then b <-  0
@@ -145,6 +179,8 @@ Load Word and Zero Indexed
 
 # Load Word Algebraic Indexed
 
+X-form
+
 * lwax RT,RA,RB
 
     if RA = 0 then b <- 0
@@ -154,6 +190,8 @@ Load Word and Zero Indexed
 
 # Load Word Algebraic with Update Indexed
 
+X-form
+
 * lwaux RT,RA,RB
 
     EA <- (RA) + (RB)
@@ -162,6 +200,8 @@ Load Word and Zero Indexed
 
 # Load Doubleword
 
+DS-Form
+
 * ld RT,DS(RA)
 
     if RA = 0 then b <-  0
@@ -180,6 +220,8 @@ Load Word and Zero Indexed
 
 # Load Doubleword with Update Indexed
 
+DS-Form
+
 * ldu RT,DS(RA)
 
     EA <- (RA) + EXTS(DS || 0b00)
@@ -196,6 +238,8 @@ Load Word and Zero Indexed
 
 # Load Quadword
 
+DQ-Form
+
 * lq RTp,DQ(RA)
 
     if RA = 0 then b <-  0
@@ -205,6 +249,8 @@ Load Word and Zero Indexed
 
 # Load Halfword Byte-Reverse Indexed
 
+X-form
+
 * lhbrx RT,RA,RB
 
     if RA = 0 then b <-  0
@@ -215,6 +261,8 @@ Load Word and Zero Indexed
 
 # Load Word Byte-Reverse Indexed
 
+X-form
+
 * lwbrx RT,RA,RB
 
     if RA = 0 then b <-  0
@@ -226,6 +274,8 @@ Load Word and Zero Indexed
 
 # Load Doubleword Byte-Reverse Indexed
 
+X-form
+
 * ldbrx RT,RA,RB
 
     if RA = 0 then b <-  0
@@ -239,6 +289,8 @@ Load Word and Zero Indexed
 
 # Load Multiple Word
 
+DQ-Form
+
 * lmw RT,D(RA)
 
     if RA = 0 then b <-  0
@@ -249,5 +301,3 @@ Load Word and Zero Indexed
         GPR(r) <- [0]*32 || MEM(EA, 4)
         r <- r + 1
         EA <- EA + 4
-
-