X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=openpower%2Fsv%2Frfc%2Fls011.mdwn;h=fc13abc544a822c1eabd3515b04119a029f47aa5;hb=af645794cab13e73fa5e1f0cada344342584a00d;hp=425d723f5fd9ccbe9442f83351c2c0eda832cb25;hpb=0c319b52f5e57d5dac660da37f53f3227d97ec23;p=libreriscv.git

diff --git a/openpower/sv/rfc/ls011.mdwn b/openpower/sv/rfc/ls011.mdwn
index 425d723f5..fc13abc54 100644
--- a/openpower/sv/rfc/ls011.mdwn
+++ b/openpower/sv/rfc/ls011.mdwn
@@ -205,192 +205,7 @@ Add the following additional Section to Fixed-Point Load: Book I 3.3.2.1
 
 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 |  / |
-```
-
-* stwupx RS,RA,RB
-
-Pseudo-code:
-
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 4) <- (RS)[XLEN-32:XLEN-1]
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Doubleword with Update
-
-DS-Form
-
-* stdup RS,DS(RA)
-
-Pseudo-code:
-
-```
-    EA <- (RA) + EXTS(DS || 0b00)
-    ea <- (RA)
-    MEM(ea, 8) <- (RS)
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
-
-## Store Doubleword 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 |  / |
-```
-
-* stdupx RS,RA,RB
-
-Pseudo-code:
-
-```
-    EA <- (RA) + (RB)
-    ea <- (RA)
-    MEM(ea, 8) <- (RS)
-    RA <- EA
-```
-
-Special Registers Altered:
-
-    None
+[[!inline pages="openpower/isa/pifixedstore" raw=yes ]]
 
 \newpage{}
 [[!inline pages="openpower/isa/fixedload" raw=yes ]]
@@ -400,7 +215,5 @@ Special Registers Altered:
 [[!inline pages="openpower/isa/fpload" raw=yes ]]
 \newpage{}
 [[!inline pages="openpower/isa/fpstore" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/pifixedstore" raw=yes ]]
 
 [[!tag opf_rfc]]