From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 2 Apr 2020 14:48:12 +0000 (+0100)
Subject: formatting
X-Git-Tag: convert-csv-opcode-to-binary~2982
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=926bc5c7b20468bd19fe214ebe35ae75d452c3a9;p=libreriscv.git

formatting
---

diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn
index 61382419c..44e54905b 100644
--- a/openpower/isa/comparefixed.mdwn
+++ b/openpower/isa/comparefixed.mdwn
@@ -2,7 +2,7 @@
 
 D-Form
 
-cmpi BF,L,RA,SI
+* cmpi BF,L,RA,SI
 
     if L = 0 then a <-  EXTS((RA)[32:63])
              else a <-  (RA)
@@ -19,7 +19,7 @@ Special Registers Altered:
 
 X-Form
 
-cmp BF,L,RA,RB
+* cmp BF,L,RA,RB
 
     if L = 0 then a <-  EXTS((RA)[32:63] )
                     b <- EXTS((RB)[32:63])
@@ -38,7 +38,7 @@ Special Registers Altered:
 
 D-Form
 
-cmpli BF,L,RA,UI
+* cmpli BF,L,RA,UI
 
     if L = 0 then a <- [0]*32 || (RA)[32:63]
              else a <- (RA)
@@ -70,21 +70,18 @@ Special Registers Altered:
 
 X-form
 
-cmprb BF,L,RA,RB
+* cmprb BF,L,RA,RB
 
     src1    <- EXTZ((RA)[56:63])
-
     src21hi <- EXTZ((RB)[32:39])
     src21lo <- EXTZ((RB)[40:47])
     src22hi <- EXTZ((RB)[48:55])
     src22lo <- EXTZ((RB)[56:63])
-
     if L=0 then
        in_range <-  (src22lo  <= src1) & (src1 <=  src22hi)
     else
        in_range <- ((src21lo  <= src1) & (src1 <=  src21hi)) |
        in_range <- ((src22lo  <= src1) & (src1 <=  src22hi))
-
     CR[4×BF+32] <- 0b0
     CR[4×BF+33] <- in_range
     CR[4×BF+34] <- 0b0
@@ -98,10 +95,9 @@ Special Registers Altered:
 
 X-form
 
-cmpeqb BF,RA,RB
+* cmpeqb BF,RA,RB
 
     src1 <- GPR[RA].bit[56:63]
-
     match <- (src1 = (RB)[00:07]) |
     match <- (src1 = (RB)[08:15]) |
     match <- (src1 = (RB)[16:23]) |
@@ -110,7 +106,6 @@ cmpeqb BF,RA,RB
     match <- (src1 = (RB)[40:47]) |
     match <- (src1 = (RB)[48:55]) |
     match <- (src1 = (RB)[56:63])
-
     CR[4×BF+32] <- 0b0
     CR[4×BF+33] <- match
     CR[4×BF+34] <- 0b0