take only matching parts of "undefined" variable in mod/div

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 893a9b91526e936fe259024ddea92ab99def55eb..5f5a33e8d7fbb1830ddaca42f5fbba5c38797b56 100644 (file)
--- 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: