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

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

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 6c1a59622..707f734d2 100644
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -88,7 +88,7 @@ XL-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] | (CR[BI+32] => BO[1])
+    cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
     if ctr_ok & cond_ok then NIA <-iea TAR[0:61]  || 0b00
     if LK then LR <-iea  CIA + 4