remove => operator, replace with ~^

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 707f734d202757a4cd31ecec17195cebff4705fc..2842dddbb1788006736701c21d740890c7ee6cfa 100644 (file)
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -29,7 +29,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] | ¬(CRBI+32 ^ BO[1])
     if ctr_ok & cond_ok then
       if AA then NIA <-iea EXTS(BD || 0b00)
       else       NIA <-iea CIA + EXTS(BD || 0b00)
@@ -52,7 +52,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 LR[0:61] || 0b00
     if LK then LR <-iea CIA + 4