From 101f5f7b3341dcec1ec7a59b413d2d23607e9a30 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 19 Jun 2020 11:21:09 +0100 Subject: [PATCH] take only matching parts of "undefined" variable in mod/div --- openpower/isa/fixedarith.mdwn | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn index 893a9b915..5f5a33e8d 100644 --- a/openpower/isa/fixedarith.mdwn +++ b/openpower/isa/fixedarith.mdwn @@ -291,7 +291,7 @@ XO-Form prod[0:63] <- (RA)[32:63] * (RB)[32:63] RT[32:63] <- prod[0:31] - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -322,7 +322,7 @@ XO-Form prod[0:63] <- (RA)[32:63] * (RB)[32:63] RT[32:63] <- prod[0:31] - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -340,7 +340,7 @@ XO-Form dividend[0:31] <- (RA)[32:63] divisor[0:31] <- (RB) [32:63] RT[32:63] <- dividend / divisor - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -359,7 +359,7 @@ XO-Form dividend[0:31] <- (RA)[32:63] divisor[0:31] <- (RB)[32:63] RT[32:63] <- dividend / divisor - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -378,7 +378,7 @@ XO-Form dividend[0:63] <- (RA)[32:63] || [0]*32 divisor[0:31] <- (RB)[32:63] RT[32:63] <- dividend / divisor - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -397,7 +397,7 @@ XO-Form dividend[0:63] <- (RA)[32:63] || [0]*32 divisor[0:31] <- (RB)[32:63] RT[32:63] <- dividend / divisor - RT[0:31] <- undefined + RT[0:31] <- undefined[0:31] Special Registers Altered: @@ -413,7 +413,7 @@ X-Form dividend[0:31] <- (RA)[32:63] divisor [0:31] <- (RB)[32:63]- RT[32:63] <- dividend % divisor - RT[0:31 ] <- undefined + RT[0:31 ] <- undefined[0:31] Special Registers Altered: @@ -428,7 +428,7 @@ X-Form dividend[0:31] <- (RA) [32:63] divisor [0:31] <- (RB) [32:63] RT[32:63] <- dividend % divisor - RT[0:31 ] <- undefined + RT[0:31 ] <- undefined[0:31] Special Registers Altered: -- 2.30.2