From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 18 May 2021 12:16:45 +0000 (+0100)
Subject: finally fix bpermd pseudocode, index was being treated as signed
X-Git-Tag: xlen-bcd~599
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;ds=sidebyside;h=4985cdca93fcb0b6043482d3a5b2028db4be5d7c;p=openpower-isa.git

finally fix bpermd pseudocode, index was being treated as signed
(index < 64) when it is unsigned (inedx <u 64)
---

diff --git a/openpower/isa/fixedlogical.mdwn b/openpower/isa/fixedlogical.mdwn
index 99d55056..c5749117 100644
--- a/openpower/isa/fixedlogical.mdwn
+++ b/openpower/isa/fixedlogical.mdwn
@@ -468,7 +468,7 @@ Pseudo-code:
     perm <- [0] * 8
     for i = 0 to 7
        index <- (RS)[8*i:8*i+7]
-       if index < 64 then
+       if index <u 64 then
             perm[i] <- (RB)[index]
        else
             perm[i] <- 0