From 29219bd53d45768c6f57a876a78c5758b29bd7d1 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 7 Apr 2020 19:24:42 +0100
Subject: [PATCH] syntax error in branch, CR[BI+32]

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

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index c3ad33848..095b2dc20 100644
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -28,7 +28,7 @@ B-Form
     else M <- 32
     if ¬BO[2] then CTR <- CTR - 1
     ctr_ok <- BO[2] | ((CTR[M:63] != 0) ^ BO[3])
-    cond_ok <- BO[0] | ¬(CRBI+32 ^ BO[1])
+    cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
     if ctr_ok & cond_ok then
       if AA then NIA <-iea EXTS(BD || 0b00)
       else       NIA <-iea CIA + EXTS(BD || 0b00)
-- 
2.30.2