From f1208d652801808701eb882758149a7d7bcc17d2 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 12 May 2023 18:05:24 -0700 Subject: [PATCH] fix `even` polarity in bfp_ROUND_TO_INTEGER --- 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 0ed4a84a..4cf13db8 100644 --- 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 -- 2.30.2