From: lkcl <lkcl@web>
Date: Tue, 26 Jul 2022 13:41:25 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1028
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60e56080e41bf1695e394566dfc09350d9e79585;p=libreriscv.git

---

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index 723ac5385..1efde29e2 100644
--- a/openpower/sv/int_fp_mv.mdwn
+++ b/openpower/sv/int_fp_mv.mdwn
@@ -166,8 +166,11 @@ allowing clearing FPRs.
 Pseudocode:
 
     bf16 = d0 || d1 || d2
-    fp32 = bf16 || [0]*16
-    FRS = Single_to_Double(fp32)
+    result <- [0]*64
+    result[0]     <- bf16[0]     # sign
+    result[1:12]  <- bf16[1:12]  # exponent
+    result[12:15] <- bf16[12:15] # mantissa
+    FRS <- result
 
 ## Float Replace Lower-Half Single, Immediate <a name="frlsi"></a>