From 9b75df0711a7e37214d73c753aa1770f3510086c Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 17 Apr 2022 23:14:59 +0100
Subject: [PATCH]

---
 openpower/isa/svfixedarith.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index 96e272fb0..eed879872 100644
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -57,7 +57,7 @@ Pseudocode:
     cat[0:127] = (RB) || (RS)
     sum[0:127] = cat + EXTZ(RA) - 1
     rhi[0:63] = sum[0:63]
-    if (RA) <= 1 then rhi = rhi + 1
+    if (RA)[0:62] = [0]*63 then rhi = rhi + 1
     RA = rhi
     RT = sum[64:127]
 
-- 
2.30.2