remove equivalence operator, use invert XOR

diff --git a/openpower/isa/condition.mdwn b/openpower/isa/condition.mdwn
index c47fa6fef86511f2c728c2c31ba3cf44c2070009..c12c3c8612eaecab72d84410533fd97b5db2e481 100644 (file)
--- a/openpower/isa/condition.mdwn
+++ b/openpower/isa/condition.mdwn
@@ -64,7 +64,7 @@ XL-Form
 
 * creqv BT,BA,BB
 
-    CR[BT+32] <- CR[BA+32] => CR[BB+32]
+    CR[BT+32] <- ¬(CR[BA+32] ^ CR[BB+32])
 
 Special Registers Altered:
 

diff --git a/openpower/isa/fixedlogical.mdwn b/openpower/isa/fixedlogical.mdwn
index 199785caa72990faa7ad9dd09d11108a371fddf9..b3e620ea9be2ec5284ca90d965ea6f3c227bb98e 100644 (file)
--- a/openpower/isa/fixedlogical.mdwn
+++ b/openpower/isa/fixedlogical.mdwn
@@ -142,7 +142,7 @@ X-Form
 * eqv RA,RS,RB (Rc=0)
 * eqv.  RA,RS,RB (Rc=1)
 
-    RA <- (RS) => (RB)
+    RA <- ¬((RS) ^ (RB))
 
 Special Registers Altered: