From 36c2d7f2f581809e99cd3a7a82a7f175311c3c06 Mon Sep 17 00:00:00 2001
From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Wed, 10 Jan 2024 10:06:43 +0000
Subject: [PATCH] bug 1048, ls011: Add Floating-Point Load Post-Update section

---
 openpower/sv/rfc/ls011.mdwn | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/openpower/sv/rfc/ls011.mdwn b/openpower/sv/rfc/ls011.mdwn
index fc13abc54..b091a97fd 100644
--- a/openpower/sv/rfc/ls011.mdwn
+++ b/openpower/sv/rfc/ls011.mdwn
@@ -207,13 +207,21 @@ Add the following as a new section in Fixed-Point Store, Book I
 
 [[!inline pages="openpower/isa/pifixedstore" 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{}
 [[!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 ]]
 
 [[!tag opf_rfc]]
-- 
2.30.2