From a2df7a1b8dc03e7e0b146aad074ef6cd2584d602 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 29 Jun 2020 15:37:43 +0100 Subject: [PATCH] swap divisor padding to MSBs in divXe --- openpower/isa/fixedarith.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn index cec4de39e..d18987b86 100644 --- a/openpower/isa/fixedarith.mdwn +++ b/openpower/isa/fixedarith.mdwn @@ -388,7 +388,7 @@ XO-Form * divweo. RT,RA,RB (OE=1 Rc=1) dividend[0:63] <- (RA)[32:63] || [0]*32 - divisor[0:63] <- (RB)[32:63] || [0]*32 + divisor[0:63] <- [0]*32 || (RB)[32:63] if (divisor = 0x0000_0000_0000_0000) then overflow <- 1 else @@ -417,7 +417,7 @@ XO-Form * divweuo. RT,RA,RB (OE=1 Rc=1) dividend[0:63] <- (RA)[32:63] || [0]*32 - divisor[0:63] <- (RB)[32:63] || [0]*32 + divisor[0:63] <- [0]*32 || (RB)[32:63] if (divisor = 0x0000_0000_0000_0000) then overflow <- 1 else @@ -635,7 +635,7 @@ XO-Form * divdeo. RT,RA,RB (OE=1 Rc=1) dividend[0:127] <- (RA) || [0]*64 - divisor[0:127] <- (RB) || [0*64] + divisor[0:127] <- [0*64] || (RB) if divisor = [0]*128 then overflow <- 1 else @@ -663,7 +663,7 @@ XO-Form * divdeuo. RT,RA,RB (OE=1 Rc=1) dividend[0:127] <- (RA) || [0]*64 - divisor[0:127] <- (RB) || [0*64] + divisor[0:127] <- [0*64] || (RB) if divisor = [0]*128 then overflow <- 1 else -- 2.30.2