From 60e56080e41bf1695e394566dfc09350d9e79585 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 26 Jul 2022 14:41:25 +0100
Subject: [PATCH]

---
 openpower/sv/int_fp_mv.mdwn | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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>
 
-- 
2.30.2