From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 25 Jun 2022 19:01:12 +0000 (+0100)
Subject: correct undefined in av.mdwn bmask
X-Git-Tag: sv_maxu_works-initial~338
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d3a62ea9971ad60f4275e96293028cc977bb3d62;p=openpower-isa.git

correct undefined in av.mdwn bmask
---

diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn
index e0b2fb6b..72cbd1cb 100644
--- 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