remove => operator, replace with ~^

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 2842dddbb1788006736701c21d740890c7ee6cfa..cb266d08ff92e294dd0a3f98586db800edaf8480 100644 (file)
--- 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