From: Jacob Lifshay Date: Sat, 20 May 2023 02:50:38 +0000 (-0700) Subject: fix bfp compare X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7abc82806303b3576b9f8c84932940d3205f998c;p=openpower-isa.git fix bfp compare --- diff --git a/openpower/isafunctions/bfp.mdwn b/openpower/isafunctions/bfp.mdwn index 7bcec46d..09f9aeda 100644 --- a/openpower/isafunctions/bfp.mdwn +++ b/openpower/isafunctions/bfp.mdwn @@ -691,7 +691,7 @@ section 7.6.2.2 if (ro=0) & (rmode=0b10) then r <- bfp_ROUND_CEIL(53, x) if (ro=0) & (rmode=0b11) then r <- bfp_ROUND_FLOOR(53, x) if ro=1 then r <- bfp_ROUND_ODD(53, x) - if bfp_ABSOLUTE(r) > bfp_NMAX_BFP64() then + if bfp_COMPARE_GT(bfp_ABSOLUTE(r), bfp_NMAX_BFP64()) then if FPSCR.OE=0 then if x.sign then if (ro=0) & (rmode=0b00) then r <- bfp_INFINITY()