bug 1048, ls011: Add Fixed Load 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 fc13abc544a822c1eabd3515b04119a029f47aa5..795e79cf59830d2bd879721b1d38092ac9ef83ac 100644 (file)
--- a/openpower/sv/rfc/ls011.mdwn
+++ b/openpower/sv/rfc/ls011.mdwn
@@ -207,13 +207,39 @@ Add the following as a new section in Fixed-Point Store, Book I
 
 [[!inline pages="openpower/isa/pifixedstore" raw=yes ]]
 
+-----
+
 \newpage{}
-[[!inline pages="openpower/isa/fixedload" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/fixedstore" raw=yes ]]
-\newpage{}
+
+# Floating-Point Load Post-Update
+
+Add the following as a new section in Floating-Point Load, Book I 4.6.2
+
 [[!inline pages="openpower/isa/fpload" raw=yes ]]
+
+-----
+
 \newpage{}
+
+# Floating-Point Store Post-Update
+
+Add the following as a new section in Floating-Point Store, Book I 4.6.3
+
 [[!inline pages="openpower/isa/fpstore" raw=yes ]]
 
+-----
+
+\newpage{}
+
+# Fixed-Point Load Shifted Post-Update
+
+Add the following as a new section in Fixed-Point Load: Book I
+
+[[!inline pages="openpower/isa/pifixedloadshift" raw=yes ]]
+
+\newpage{}
+[[!inline pages="openpower/isa/fixedload" raw=yes ]]
+\newpage{}
+[[!inline pages="openpower/isa/fixedstore" raw=yes ]]
+
 [[!tag opf_rfc]]