annoying, formatting change to support space-indentation

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