From b283b6c0439c6dbf2cf6e3b7bbe5381f35da9776 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 8 Oct 2020 17:30:39 -0700
Subject: [PATCH] change to undef()

---
 openpower/isa/fixedarith.mdwn | 35 ++++++++++++++++++-----------------
 1 file changed, 18 insertions(+), 17 deletions(-)

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 121a743b4..9d7bcf78d 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -389,11 +389,11 @@ Pseudo-code:
     if (((dividend = 0x8000_0000) &
          (divisor = 0xffff_ffff)) |
          (divisor = 0x0000_0000)) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT[32:63] <- DIVS(dividend, divisor)
-        RT[0:31] <- undefined[0:31]
+        RT[0:31] <- undef([0]*32)
         overflow <- 0
 
 Special Registers Altered:
@@ -416,10 +416,10 @@ Pseudo-code:
     divisor[0:31] <- (RB)[32:63]
     if divisor != 0 then
         RT[32:63] <-  dividend / divisor
-        RT[0:31] <- undefined[0:31]
+        RT[0:31] <- undef([0]*32)
         overflow <- 0
     else
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
 
 Special Registers Altered:
@@ -449,12 +449,12 @@ Pseudo-code:
         result32[0:63] <- EXTS64(result[32:63])
         if (result32 = result) then
             RT[32:63] <- result[32:63]
-            RT[0:31] <- undefined[0:31]
+            RT[0:31] <- undef([0]*32)
             overflow <- 0
         else
             overflow <- 1
     if overflow = 1 then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
 
 Special Registers Altered:
 
@@ -480,12 +480,12 @@ Pseudo-code:
         result <- dividend / divisor
         if RA[32:63] <u RB[32:63] then
             RT[32:63] <- result[32:63]
-            RT[0:31] <- undefined[0:31]
+            RT[0:31] <- undef([0]*32)
             overflow <- 0
         else
             overflow <- 1
     if overflow = 1 then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
 
 Special Registers Altered:
 
@@ -505,10 +505,11 @@ Pseudo-code:
     if (((dividend = 0x8000_0000) &
          (divisor = 0xffff_ffff)) |
          (divisor = 0x0000_0000)) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT[0:63] <- EXTS64(MODS(dividend, divisor))
+        RT[0:31] <- undef(RT[0:31])
         overflow <- 0
 
 Special Registers Altered:
@@ -526,11 +527,11 @@ Pseudo-code:
     dividend[0:31] <- (RA) [32:63]
     divisor [0:31] <- (RB) [32:63]
     if divisor = 0x0000_0000 then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT[32:63] <- dividend % divisor
-        RT[0:31] <- undefined[0:31]
+        RT[0:31] <- undef([0]*32)
         overflow <- 0
 
 Special Registers Altered:
@@ -668,7 +669,7 @@ Pseudo-code:
     if (((dividend = 0x8000_0000_0000_0000) &
          (divisor = 0xffff_ffff_ffff_ffff)) |
          (divisor = 0x0000_0000_0000_0000)) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT <- DIVS(dividend, divisor)
@@ -693,7 +694,7 @@ Pseudo-code:
     dividend[0:63] <- (RA)
     divisor[0:63] <- (RB)
     if (divisor = 0x0000_0000_0000_0000) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT <- dividend / divisor
@@ -730,7 +731,7 @@ Pseudo-code:
         else
             overflow <- 1
     if overflow = 1 then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
 
 Special Registers Altered:
 
@@ -760,7 +761,7 @@ Pseudo-code:
         else
             overflow <- 1
     if overflow = 1 then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
 
 Special Registers Altered:
 
@@ -780,7 +781,7 @@ Pseudo-code:
     if (((dividend = 0x8000_0000_0000_0000) &
          (divisor = 0xffff_ffff_ffff_ffff)) |
          (divisor = 0x0000_0000_0000_0000)) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT       <- MODS(dividend, divisor)
@@ -801,7 +802,7 @@ Pseudo-code:
     dividend <- (RA)
     divisor  <- (RB)
     if (divisor = 0x0000_0000_0000_0000) then
-        RT[0:63] <- undefined[0:63]
+        RT[0:63] <- undef([0]*64)
         overflow <- 1
     else
         RT       <- dividend % divisor
-- 
2.30.2