From 29c78ebd8ac03fd811a41ea772fe20813bdb1927 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 2 Oct 2020 18:01:56 -0700 Subject: [PATCH] working on fixing divwe. spec bugs --- openpower/isa/fixedarith.mdwn | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn index 7a03aff46..f8511652c 100644 --- a/openpower/isa/fixedarith.mdwn +++ b/openpower/isa/fixedarith.mdwn @@ -439,12 +439,13 @@ XO-Form Pseudo-code: dividend[0:63] <- (RA)[32:63] || [0]*32 - divisor[0:63] <- [0]*32 || (RB)[32:63] + divisor[0:63] <- EXTS64((RB)[32:63]) if (divisor = 0x0000_0000_0000_0000) then overflow <- 1 else result <- DIVS(dividend, divisor) - if (result[0:31] = 0) then + result32[0:63] <- EXTS64(result[32:63]) + if (result32 = result) then RT[32:63] <- result[32:63] RT[0:31] <- undefined[0:31] overflow <- 0 -- 2.30.2