fix `even` polarity in bfp_ROUND_TO_INTEGER

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