From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 3 Apr 2020 15:23:53 +0000 (+0100)
Subject: replace x with *
X-Git-Tag: convert-csv-opcode-to-binary~2967
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9518ccbc93df4c69ae0b715075e8a25fc3c98ef9;p=libreriscv.git

replace x with *
---

diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn
index 304729e49..6b2e9317e 100644
--- a/openpower/isa/comparefixed.mdwn
+++ b/openpower/isa/comparefixed.mdwn
@@ -90,10 +90,10 @@ X-Form
     else
        in_range <- (((src21lo  <= src1) & (src1 <=  src21hi)) |
                     ((src22lo  <= src1) & (src1 <=  src22hi)))
-    CR[4×BF+32] <- 0b0
-    CR[4×BF+33] <- in_range
-    CR[4×BF+34] <- 0b0
-    CR[4×BF+35] <- 0b0
+    CR[4*BF+32] <- 0b0
+    CR[4*BF+33] <- in_range
+    CR[4*BF+34] <- 0b0
+    CR[4*BF+35] <- 0b0
 
 Special Registers Altered:
 
@@ -114,10 +114,10 @@ X-Form
               (src1 = (RB)[40:47]) |
               (src1 = (RB)[48:55]) |
               (src1 = (RB)[56:63]))
-    CR[4×BF+32] <- 0b0
-    CR[4×BF+33] <- match
-    CR[4×BF+34] <- 0b0
-    CR[4×BF+35] <- 0b0
+    CR[4*BF+32] <- 0b0
+    CR[4*BF+33] <- match
+    CR[4*BF+34] <- 0b0
+    CR[4*BF+35] <- 0b0
 
 Special Registers Altered: