From 7abc82806303b3576b9f8c84932940d3205f998c Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 19 May 2023 19:50:38 -0700 Subject: [PATCH] fix bfp compare --- openpower/isafunctions/bfp.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() -- 2.30.2