projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f54e9bd)
fix bfp compare
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 20 May 2023 02:50:38 +0000 (19:50 -0700)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Jun 2023 18:51:18 +0000 (19:51 +0100)
openpower/isafunctions/bfp.mdwn patch | blob | history

diff --git a/openpower/isafunctions/bfp.mdwn b/openpower/isafunctions/bfp.mdwn
index 7bcec46d4a07e4cfd6f92a84b26caa6214bceb02..09f9aedac688853e657a6040ef52ba31d8eb54ad 100644 (file)
--- 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()