From: Luke Kenneth Casson Leighton Date: Sat, 4 Apr 2020 21:17:56 +0000 (+0100) Subject: annoying, formatting change to support space-indentation X-Git-Tag: convert-csv-opcode-to-binary~2949 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d90a0691f22b0b787101f00c946cef20183a321;p=libreriscv.git annoying, formatting change to support space-indentation --- diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn index cb266d08f..493e442a8 100644 --- a/openpower/isa/branch.mdwn +++ b/openpower/isa/branch.mdwn @@ -24,9 +24,8 @@ B-Form * bcl BO,BI,target_addr (AA=0 LK=1) * bcla BO,BI,target_addr (AA=1 LK=1) - if (mode_is_64bit) - then M <- 0 - else M <- 32 + if (mode_is_64bit) then M <- 0 + 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]) @@ -47,9 +46,8 @@ XL-Form * bclr BO,BI,BH (LK=0) * bclrl BO,BI,BH (LK=1) - if (mode_is_64bit) - then M <- 0 - else M <- 32 + if (mode_is_64bit) then M <- 0 + 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]) @@ -83,9 +81,8 @@ XL-Form * bctar BO,BI,BH (LK=0) * bctarl BO,BI,BH (LK=1) - if (mode_is_64bit) - then M <- 0 - else M <- 32 + if (mode_is_64bit) then M <- 0 + 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])