projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4b59e0e)
fix `even` polarity in bfp_ROUND_TO_INTEGER
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 13 May 2023 01:05:24 +0000 (18:05 -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 0ed4a84a5ac7f946a0ec6737a92d428cf6fc52d4..4cf13db8f9088a6930a6293fa63b781dea2a9780 100644 (file)
--- a/openpower/isafunctions/bfp.mdwn
+++ b/openpower/isafunctions/bfp.mdwn
@@ -195,7 +195,7 @@ section 7.6.2.2
             result.significand <- 0
             int_part <- x.significand[0:x.exponent]
             result.significand[0:x.exponent] <- int_part
-            even <- int_part[x.exponent]
+            even <- ¬int_part[x.exponent]
             temp <- x.significand
             temp[0:x.exponent] <- 0
             if temp = 0 then exact <- 1