bug 1048, ls011: Add Fixed Store Shifted Post-Update section

[libreriscv.git] / openpower / sv / rfc / ls011.mdwn

diff --git a/openpower/sv/rfc/ls011.mdwn b/openpower/sv/rfc/ls011.mdwn
index 5742d79575cd63c0432439f98bb44fe7688dbf3a..2ad57716771c66f25274958c5ba46905158a058a 100644 (file)
--- a/openpower/sv/rfc/ls011.mdwn
+++ b/openpower/sv/rfc/ls011.mdwn
@@ -195,7 +195,7 @@ where the same pseudocode for `lbzu` is:
 
 Add the following additional Section to Fixed-Point Load: Book I 3.3.2.1
 
-TODO: move the inline import to pifixedload here... (separate commit).
+[[!inline pages="openpower/isa/pifixedload" raw=yes ]]
 
 -----
 
@@ -205,204 +205,51 @@ TODO: move the inline import to pifixedload here... (separate commit).
 
 Add the following as a new section in Fixed-Point Store, Book I
 
-## Store Byte with Update
-
-D-Form
-
-```
-    |0     |6   |9  |10 |11   |16      |31 |
-    | PO   |    RT      |   RA|   D        |
-```
-
-* stbup RS,D(RA)
-
-Pseudo-code:
-
-```
-    EA <- (RA) + EXTS(D)
-    ea <- (RA)
-    MEM(ea, 1) <- (RS)[XLEN-8:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Byte with Update Indexed
-
-X-Form
-
-```
-    |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
-    | PO   |       RS      |    RA       |    RB       |   XO |  / |
-```
-
-* stbupx RS,RA,RB
-
-Pseudo-code:
-
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 1) <- (RS)[XLEN-8:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Halfword with Update
-
-D-Form
-
-```
-    |0     |6   |9  |10 |11   |16      |31 |
-    | PO   |    RT      |   RA|   D        |
-```
-
-* sthup RS,D(RA)
-
-Pseudo-code:
-
-```
-    EA <- (RA) + EXTS(D)
-    ea <- (RA)
-    MEM(ea, 2) <- (RS)[XLEN-16:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Halfword with Update Indexed
-
-X-Form
-
-```
-    |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
-    | PO   |       RS      |    RA       |    RB       |   XO |  / |
-```
-
-* sthupx RS,RA,RB
-
-Pseudo-code:
-
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 2) <- (RS)[XLEN-16:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Word with Update
-
-D-Form
-
-```
-    |0     |6   |9  |10 |11   |16      |31 |
-    | PO   |    RT      |   RA|   D        |
-```
-
-* stwup RS,D(RA)
-
-Pseudo-code:
-
-```
-    EA <- (RA) + EXTS(D)
-    ea <- (RA)
-    MEM(ea, 4) <- (RS)[XLEN-32:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Word with Update Indexed
-
-X-Form
-
-```
-    |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
-    | PO   |       RS      |    RA       |    RB       |   XO |  / |
-```
+[[!inline pages="openpower/isa/pifixedstore" raw=yes ]]
 
-* stwupx RS,RA,RB
+-----
 
-Pseudo-code:
+\newpage{}
 
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 4) <- (RS)[XLEN-32:XLEN-1]
-    RA <- EA
-```
+# Floating-Point Load Post-Update
 
-Special Registers Altered:
+Add the following as a new section in Floating-Point Load, Book I 4.6.2
 
-    None
+[[!inline pages="openpower/isa/fpload" raw=yes ]]
 
-## Store Doubleword with Update
+-----
 
-DS-Form
+\newpage{}
 
-* stdup RS,DS(RA)
+# Floating-Point Store Post-Update
 
-Pseudo-code:
+Add the following as a new section in Floating-Point Store, Book I 4.6.3
 
-```
-    EA <- (RA) + EXTS(DS || 0b00)
-    ea <- (RA)
-    MEM(ea, 8) <- (RS)
-    RA <- EA
-```
+[[!inline pages="openpower/isa/fpstore" raw=yes ]]
 
-Special Registers Altered:
+-----
 
-    None
+\newpage{}
 
-## Store Doubleword with Update Indexed
+# Fixed-Point Load Shifted Post-Update
 
-X-Form
+Add the following as a new section in Fixed-Point Load: Book I
 
-```
-    |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
-    | PO   |       RS      |    RA       |    RB       |   XO |  / |
-```
+[[!inline pages="openpower/isa/pifixedloadshift" raw=yes ]]
 
-* stdupx RS,RA,RB
+-----
 
-Pseudo-code:
+\newpage{}
 
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 8) <- (RS)
-    RA <- EA
-```
+# Fixed-Point Store Shifted Post-Update
 
-Special Registers Altered:
+Add the following as a new section in Fixed-Point Store: Book I
 
-    None
+[[!inline pages="openpower/isa/pifixedstoreshift" raw=yes ]]
 
 \newpage{}
 [[!inline pages="openpower/isa/fixedload" raw=yes ]]
 \newpage{}
 [[!inline pages="openpower/isa/fixedstore" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/fpload" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/fpstore" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/pifixedload" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/pifixedstore" raw=yes ]]
 
 [[!tag opf_rfc]]