correct undefined in av.mdwn bmask

diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn
index e0b2fb6b226db5b6f7e0659f9aafa71b62c72d33..72cbd1cb4c28e7ea6a8fb0439b9b005a5b6daf62 100644 (file)
--- a/openpower/isa/av.mdwn
+++ b/openpower/isa/av.mdwn
@@ -195,7 +195,7 @@ Pseudo-code:
     if mode3 = 0 then result <- a1 | a2
     if mode3 = 1 then result <- a1 & a2
     if mode3 = 2 then result <- a1 ^ a2
-    if mode3 = 3 then result <- UNDEFINED
+    if mode3 = 3 then result <- undefined([0]*XLEN)
     result <- result & mask
     # optionally restore masked-out bits
     if L = 1 then