group formatting
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 29 Mar 2020 05:26:54 +0000 (06:26 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 29 Mar 2020 05:26:54 +0000 (06:26 +0100)
openpower/isa/fixedload.mdwn
openpower/isa/fixedstore.mdwn

index 4ffe9ce04d9994d17fe73893a603e1f2814efaf5..9b9b0f77f126c88d2daae3e6e854cbb12583dfe4 100644 (file)
@@ -1,6 +1,6 @@
 # Load Byte and Zero
 
-lbz RT,D(RA)
+lbz RT,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -9,7 +9,7 @@ lbz RT,D(RA)
 
 # Load Byte and Zero Indexed
 
-lbzx RT,RA,RB
+lbzx RT,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -18,7 +18,7 @@ lbzx RT,RA,RB
 
 # Load Byte and Zero with Update
 
-lbzu RT,D(RA)
+lbzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
     RT <- [0] * 56 || MEM(EA, 1)
@@ -26,7 +26,7 @@ lbzu RT,D(RA)
 
 # Load Byte and Zero with Update Indexed
 
-lbzux RT,RA,RB
+lbzux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- [0] * 56 || MEM(EA, 1)
@@ -34,7 +34,7 @@ lbzux RT,RA,RB
 
 # Load Halfword and Zero
 
-lhz RT,D(RA)
+lhz RT,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -43,7 +43,7 @@ lhz RT,D(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)
@@ -52,7 +52,7 @@ lhzx RT,RA,RB
 
 # Load Halfword and Zero with Update
 
-lhzu RT,D(RA)
+lhzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
     RT <- [0] * 48 || MEM(EA, 2)
@@ -60,7 +60,7 @@ lhzu RT,D(RA)
 
 # Load Halfword and Zero with Update Indexed
 
-lhzux RT,RA,RB
+lhzux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- [0] * 48 || MEM(EA, 2)
@@ -68,7 +68,7 @@ lhzux RT,RA,RB
 
 # Load Halfword Algebraic
 
-lha RT,D(RA)
+lha RT,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -77,7 +77,7 @@ lha RT,D(RA)
 
 # Load Halfword Algebraic Indexed X-form
 
-lhax RT,RA,RB
+lhax RT,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -86,7 +86,7 @@ lhax RT,RA,RB
 
 # Load Halfword Algebraic with Update
 
-lhau RT,D(RA)
+lhau RT,D(RA)
 
     EA <- (RA) + EXTS(D)
     RT <- EXTS(MEM(EA, 2))
@@ -94,7 +94,7 @@ lhau RT,D(RA)
 
 # Load Halfword Algebraic with Update Indexed
 
-lhaux RT,RA,RB
+lhaux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- EXTS(MEM(EA, 2))
@@ -102,7 +102,7 @@ lhaux RT,RA,RB
 
 # Load Word and Zero
 
-lwz RT,D(RA)
+lwz RT,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -111,7 +111,7 @@ lwz RT,D(RA)
 
 Load Word and Zero Indexed
 
-lwzx RT,RA,RB
+lwzx RT,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -120,7 +120,7 @@ lwzx RT,RA,RB
 
 # Load Word and Zero with Update
 
-lwzu RT,D(RA)
+lwzu RT,D(RA)
 
     EA <- (RA) + EXTS(D)
     RT <- [0]*32 || MEM(EA, 4)
@@ -128,7 +128,7 @@ lwzu RT,D(RA)
 
 # Load Word and Zero with Update Indexed
 
-lwzux RT,RA,RB
+lwzux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- [0] * 32 || MEM(EA, 4)
@@ -136,7 +136,7 @@ lwzux RT,RA,RB
 
 # Load Word Algebraic
 
-lwa RT,DS(RA)
+lwa RT,DS(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -145,7 +145,7 @@ lwa RT,DS(RA)
 
 # Load Word Algebraic Indexed
 
-lwax RT,RA,RB
+lwax RT,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -154,7 +154,7 @@ lwax RT,RA,RB
 
 # Load Word Algebraic with Update Indexed
 
-lwaux RT,RA,RB
+lwaux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- EXTS(MEM(EA, 4))
@@ -162,7 +162,7 @@ lwaux RT,RA,RB
 
 # Load Doubleword
 
-ld RT,DS(RA)
+ld RT,DS(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -171,7 +171,7 @@ ld RT,DS(RA)
 
 # Load Doubleword Indexed
 
-ldx RT,RA,RB
+ldx RT,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -180,7 +180,7 @@ ldx RT,RA,RB
 
 # Load Doubleword with Update Indexed
 
-ldu RT,DS(RA)
+ldu RT,DS(RA)
 
     EA <- (RA) + EXTS(DS || 0b00)
     RT <- MEM(EA, 8)
@@ -188,7 +188,7 @@ ldu RT,DS(RA)
 
 # Load Doubleword with Update Indexed
 
-ldux RT,RA,RB
+ldux RT,RA,RB
 
     EA <- (RA) + (RB)
     RT <- MEM(EA, 8)
@@ -196,7 +196,7 @@ ldux RT,RA,RB
 
 # Load Quadword
 
-lq RTp,DQ(RA)
+lq RTp,DQ(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -205,7 +205,7 @@ lq RTp,DQ(RA)
 
 # Load Halfword Byte-Reverse Indexed
 
-lhbrx RT,RA,RB
+lhbrx RT,RA,RB
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -215,7 +215,7 @@ lhbrx RT,RA,RB
 
 # Load Word Byte-Reverse Indexed
 
-lwbrx RT,RA,RB
+lwbrx RT,RA,RB
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -226,7 +226,7 @@ lwbrx RT,RA,RB
 
 # Load Doubleword Byte-Reverse Indexed
 
-ldbrx RT,RA,RB
+ldbrx RT,RA,RB
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -239,7 +239,7 @@ ldbrx RT,RA,RB
 
 # Load Multiple Word
 
-lmw RT,D(RA)
+lmw RT,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
index 9a6df9d226c0c2b5d84d321f0c8ea84d4146ca8d..d34044eacf4a6ff158e761e85e5c9f7c16b11733 100644 (file)
@@ -1,6 +1,6 @@
 # Store Byte
 
-stb RS,D(RA)
+stb RS,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -9,7 +9,7 @@ stb RS,D(RA)
 
 # Store Byte Indexed
 
-stbx RS,RA,RB
+stbx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -18,7 +18,7 @@ stbx RS,RA,RB
 
 # Store Byte with Update
 
-stbu RS,D(RA)
+stbu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
     MEM(EA, 1) <- (RS)[56:63]
@@ -26,14 +26,14 @@ stbu RS,D(RA)
 
 # 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)
@@ -42,7 +42,7 @@ sth RS,D(RA)
 
 # Store Halfword Indexed
 
-sthx RS,RA,RB
+sthx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -51,7 +51,7 @@ sthx RS,RA,RB
 
 # Store Halfword with Update
 
-sthu RS,D(RA)
+sthu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
     MEM(EA, 2) <- (RS)[48:63]
@@ -59,7 +59,7 @@ sthu RS,D(RA)
 
 # Store Halfword with Update Indexed
 
-sthux RS,RA,RB
+sthux RS,RA,RB
 
     EA <- (RA) + (RB)
     MEM(EA, 2) <- (RS)[48:63]
@@ -67,7 +67,7 @@ sthux RS,RA,RB
 
 # Store Word
 
-stw RS,D(RA)
+stw RS,D(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -76,7 +76,7 @@ stw RS,D(RA)
 
 # Store Word Indexed
 
-stwx RS,RA,RB
+stwx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -85,7 +85,7 @@ stwx RS,RA,RB
 
 # Store Word with Update
 
-stwu RS,D(RA)
+stwu RS,D(RA)
 
     EA <- (RA) + EXTS(D)
     MEM(EA, 4) <- (RS) 32:63
@@ -93,7 +93,7 @@ stwu RS,D(RA)
 
 # Store Word with Update Indexed
 
-stwux RS,RA,RB
+stwux RS,RA,RB
 
     EA <- (RA) + (RB)
     MEM(EA, 4) <- (RS) 32:63
@@ -101,7 +101,7 @@ stwux RS,RA,RB
 
 # Store Doubleword
 
-std RS,DS(RA)
+std RS,DS(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -110,7 +110,7 @@ std RS,DS(RA)
 
 # Store Doubleword Indexed
 
-stdx RS,RA,RB
+stdx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -119,7 +119,7 @@ stdx RS,RA,RB
 
 # Store Doubleword with Update
 
-stdu RS,DS(RA)
+stdu RS,DS(RA)
 
 EA <- (RA) + EXTS(DS || 0b00)
 MEM(EA, 8) <- (RS)
@@ -127,7 +127,7 @@ RA <- EA
 
 Store Doubleword with Update Indexed
 
-stdux RS,RA,RB
+stdux RS,RA,RB
 
     EA <- (RA) + (RB)
     MEM(EA, 8) <- (RS)
@@ -135,7 +135,7 @@ stdux RS,RA,RB
 
 # Store Quadword
 
-stq RSp,DS(RA)
+stq RSp,DS(RA)
 
     if RA = 0 then b <-  0
     else           b <-  (RA)
@@ -144,7 +144,7 @@ stq RSp,DS(RA)
 
 # Store Halfword Byte-Reverse Indexed
 
-sthbrx RS,RA,RB
+sthbrx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -153,7 +153,7 @@ sthbrx RS,RA,RB
 
 # Store Word Byte-Reverse Indexed
 
-stwbrx RS,RA,RB
+stwbrx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -163,7 +163,7 @@ stwbrx RS,RA,RB
 
 # Store Doubleword Byte-Reverse Indexed
 
-stdbrx RS,RA,RB
+stdbrx RS,RA,RB
 
     if RA = 0 then b <- 0
     else           b <- (RA)
@@ -175,7 +175,7 @@ stdbrx RS,RA,RB
 
 # Store Multiple Word
 
-stmw RS,D(RA)
+stmw RS,D(RA)
 
     if RA = 0 then b <- 0
     else           b <- (RA)