From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 16:42:21 +0000 (+0100)
Subject: replace x with *
X-Git-Tag: convert-csv-opcode-to-binary~2933
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89f81242f14565f3983bc90e57c88c0fb5e5b81f;p=libreriscv.git

replace x with *
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index c6ba3ca96..14a2c2ba1 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -44,7 +44,7 @@ X-Form
 
 * mcrxrx BF
 
-    CR[4×BF+32:4×BF+35] <-  XER[OV] || XER[OV32] || XER[CA] || XER[CA32]
+    CR[4*BF+32:4*BF+35] <-  XER[OV] || XER[OV32] || XER[CA] || XER[CA32]
 
 Special Registers Altered:
 
@@ -122,7 +122,7 @@ X-Form
 
     if CR[4×BFA+32] = 1 then
        RT <-  0xFFFF_FFFF_FFFF_FFFF
-    else if CR[4×BFA+33]=1 then
+    else if CR[4*BFA+33]=1 then
        RT <-  0x0000_0000_0000_0001
     else
        RT <-  0x0000_0000_0000_0000