From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 4 Apr 2020 21:15:48 +0000 (+0100)
Subject: remove => operator, replace with ~^
X-Git-Tag: convert-csv-opcode-to-binary~2950
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dd65e6efa2d025b520a0cce05d071d7ae583fe8c;p=libreriscv.git

remove => operator, replace with ~^
---

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 2842dddbb..cb266d08f 100644
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -68,7 +68,7 @@ XL-Form
 * bcctr BO,BI,BH (LK=0)
 * bcctrl BO,BI,BH (LK=1)
 
-    cond_ok <- BO[0] | (CR[BI+32] => BO[1])
+    cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
     if cond_ok then NIA <-iea CTR[0:61] || 0b00
     if LK then LR <-iea CIA + 4