From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Sat, 4 Sep 2021 17:29:28 +0000 (+0000)
Subject: comparefixed: switch cmpli to XLEN
X-Git-Tag: xlen-bcd~10
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=42e799cd6ed350b3bd3e6b84c97b9e09c76da0a1;p=openpower-isa.git

comparefixed: switch cmpli to XLEN
---

diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn
index dbcafd07..c2f93ec7 100644
--- a/openpower/isa/comparefixed.mdwn
+++ b/openpower/isa/comparefixed.mdwn
@@ -57,10 +57,10 @@ D-Form
 
 Pseudo-code:
 
-    if L = 0 then a <- [0]*32 || (RA)[32:63]
+    if L = 0 then a <- [0]*(XLEN/2) || (RA)[XLEN/2:XLEN-1]
     else a <- (RA)
-    if      a <u ([0]*48 || UI) then c <- 0b100
-    else if a >u ([0]*48 || UI) then c <- 0b010
+    if      a <u ([0]*(XLEN-16) || UI) then c <- 0b100
+    else if a >u ([0]*(XLEN-16) || UI) then c <- 0b010
     else                             c <- 0b001
     CR[4*BF+32:4*BF+35] <- c || XER[SO]