From: lkcl <lkcl@web>
Date: Sat, 2 Apr 2022 12:48:12 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2923
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9e89780ded29fbadbc29ddff390bcd6d4360416;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 4f15ff92f..e1a0fe4e7 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -492,8 +492,10 @@ if (mode_is_64bit) then M <- 0
 else M <- 32
 ctr_ok <- BO[2] | ((CTR[M:63] != 0) ^ BO[3])
 cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
+if ¬predicate_bit then cond_ok = SVRMmode.SNZ
 ctrdec = ¬BO[2]
 if CTRtest & (cond_ok ^ CTi) then
+   if ¬predicate_bit & ¬SVRMmode.sz then stop
    ctrdec = 0b0
 if ctrdec then CTR <- CTR - 1
 lr_ok <- SVRMmode.LRu