[[!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 ]]
-\newpage{}
-[[!inline pages="openpower/isa/fpstore" raw=yes ]]
[[!tag opf_rfc]]