From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 4 Apr 2020 21:12:11 +0000 (+0100)
Subject: define variable mode_is_64bit
X-Git-Tag: convert-csv-opcode-to-binary~2953
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff241d4f910701deda038bf5146812f084526030;p=libreriscv.git

define variable mode_is_64bit
---

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 88d1791f2..6c1a59622 100644
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -24,7 +24,7 @@ B-Form
 * bcl BO,BI,target_addr (AA=0 LK=1)
 * bcla BO,BI,target_addr (AA=1 LK=1)
 
-    if (64-bit mode)
+    if (mode_is_64bit)
       then M <- 0
       else M <- 32
     if ¬BO[2] then CTR <- CTR - 1
@@ -47,7 +47,7 @@ XL-Form
 * bclr BO,BI,BH (LK=0)
 * bclrl BO,BI,BH (LK=1)
 
-    if (64-bit mode)
+    if (mode_is_64bit)
       then M <- 0
       else M <- 32
     if ¬BO[2]  then CTR <- CTR - 1
@@ -83,7 +83,7 @@ XL-Form
 * bctar BO,BI,BH (LK=0)
 * bctarl BO,BI,BH (LK=1)
 
-    if (64-bit mode)
+    if (mode_is_64bit)
       then M <- 0
       else M <- 32
     if ¬BO[2] then CTR <- CTR - 1