fix: bfp_ROUND_TO_BFP64 takes 3 arguments

diff --git a/openpower/isa/fpcvt.mdwn b/openpower/isa/fpcvt.mdwn
index d14dec91611fe716ff97a102c2437cd8ac25a285..2afeebcacfb6cec2031dc22e41e330a036f6e461 100644 (file)
--- a/openpower/isa/fpcvt.mdwn
+++ b/openpower/isa/fpcvt.mdwn
@@ -48,7 +48,7 @@ Pseudo-code:
                 src <- bfp_CONVERT_FROM_SI64((RB))
             default:  # Unsigned 64-bit
                 src <- bfp_CONVERT_FROM_UI64((RB))
-        rnd <- bfp_ROUND_TO_BFP64(FPSCR.RN, src)
+        rnd <- bfp_ROUND_TO_BFP64(0b0, FPSCR.RN, src)
         result <- bfp64_CONVERT_FROM_BFP(rnd)
         cls <- fprf_CLASS_BFP64(result)
         if xx_flag = 1 then SetFX(FPSCR.XX)