From: Jacob Lifshay Date: Sat, 13 May 2023 01:05:24 +0000 (-0700) Subject: fix `even` polarity in bfp_ROUND_TO_INTEGER X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1208d652801808701eb882758149a7d7bcc17d2;p=openpower-isa.git fix `even` polarity in bfp_ROUND_TO_INTEGER --- 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