From 69379f9c04592bcb17e4d8bba91c402fa0eb5ad4 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 22 Mar 2023 14:38:55 -0700
Subject: [PATCH] re-add empty lines before/after SetFX -- the spec has them,
 we should too

---
 openpower/sv/rfc/ls006.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/openpower/sv/rfc/ls006.mdwn b/openpower/sv/rfc/ls006.mdwn
index dbff804dc..026474a9e 100644
--- a/openpower/sv/rfc/ls006.mdwn
+++ b/openpower/sv/rfc/ls006.mdwn
@@ -247,12 +247,16 @@ Special Registers altered:
             rnd <- bfp_ROUND_TO_BFP64(FPSCR.RN, src)
             result <- bfp64_CONVERT_FROM_BFP(rnd)
             cls <- fprf_CLASS_BFP64(result)
+
         if xx_flag = 1 then SetFX(FPSCR.XX)
+
         FRT <- result
         FPSCR.FPRF <- cls
         FPSCR.FR <- inc_flag
         FPSCR.FI <- xx_flag
 ```
+<!-- note the PowerISA spec. explicitly has empty lines before/after SetFX,
+don't remove them -->
 
 Convert from a unsigned/signed 32/64-bit integer in RB to a 32/64-bit
 float in FRT, following the usual 32-bit float in 64-bit float format.
-- 
2.30.2