(no commit message)

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index 723ac5385c528d6bb74e8762a5036109e8417a54..1efde29e2d091cf0fee21feba622afd60549202e 100644 (file)
--- 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>