From: Luke Kenneth Casson Leighton Date: Sat, 4 Apr 2020 21:15:28 +0000 (+0100) Subject: remove => operator, replace with ~^ X-Git-Tag: convert-csv-opcode-to-binary~2951 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=05cf780fbd0c90150980b7d82cd8e36d6dd1a7fe;p=libreriscv.git remove => operator, replace with ~^ --- diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn index 707f734d2..2842dddbb 100644 --- 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