From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 30 Mar 2020 18:09:23 +0000 (+0100)
Subject: add spacing
X-Git-Tag: convert-csv-opcode-to-binary~3015
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a91a5b2831e9e8980a51d04adc0236c43bc802f8;p=libreriscv.git

add spacing
---

diff --git a/openpower/isa/fixedlogical.mdwn b/openpower/isa/fixedlogical.mdwn
index b701b57ba..870f11c90 100644
--- a/openpower/isa/fixedlogical.mdwn
+++ b/openpower/isa/fixedlogical.mdwn
@@ -6,6 +6,10 @@ D-Form
 
     RA <- (RS) & ([0]*48 || UI)
 
+Special Registers Altered:
+
+    CR0
+
 # OR Immediate
 
 D-Form
@@ -14,6 +18,10 @@ D-Form
 
     RA <- (RS) | ([0]*48 || UI)
 
+Special Registers Altered:
+
+    None
+
 # AND Immediate Shifted
 
 D-Form
@@ -22,6 +30,10 @@ D-Form
 
     RA <- (RS) & ([0]*32 || UI || [0]*16)
 
+Special Registers Altered:
+
+    CR0
+
 # OR Immediate Shifted
 
 D-Form
@@ -30,6 +42,10 @@ D-Form
 
     RA <- (RS) | ([0]*32 || UI || [0]*16)
 
+Special Registers Altered:
+
+    None
+
 # XOR Immediate Shifted
 
 D-Form
@@ -38,6 +54,10 @@ D-Form
 
     RA <- (RS) ^ ([0]*32 || UI || [0]*16)
 
+Special Registers Altered:
+
+    None
+
 # XOR Immediate
 
 D-Form
@@ -46,6 +66,10 @@ D-Form
 
     RA <- (RS) XOR ([0]*48 || UI)
 
+Special Registers Altered:
+
+    None
+
 # AND
 
 X-Form
@@ -55,6 +79,10 @@ X-Form
 
     RA <- (RS) & (RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # OR
 
 X-Form
@@ -64,6 +92,10 @@ X-Form
 
     RA <- (RS) | (RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # XOR
 
 X-Form
@@ -73,6 +105,10 @@ X-Form
 
     RA <- (RS) ^ (RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # NAND
 
 X-Form
@@ -80,7 +116,11 @@ X-Form
 * nand RA,RS,RB (Rc=0)
 * nand.  RA,RS,RB (Rc=1)
 
-RA <- ¬((RS) & (RB))
+    RA <- ¬((RS) & (RB))
+
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
 
 # NOR
 
@@ -91,6 +131,10 @@ X-Form
 
    RA <- ¬((RS) | (RB))
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Equivalent
 
 X-Form
@@ -100,6 +144,10 @@ X-Form
 
     RA <- (RS) => (RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # AND with Complement
 
 X-Form
@@ -109,6 +157,10 @@ X-Form
 
     RA <- (RS) &  ¬(RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # OR with Complement
 
 X-Form
@@ -118,6 +170,10 @@ X-Form
 
     RA <- (RS) |  ¬(RB)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Extend Sign Byte
 
 X-Form
@@ -129,6 +185,10 @@ X-Form
     RA[56:63] <- (RS)[56:63]
     RA[0:55] <- [s]*56
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Extend Sign Halfword
 
 X-Form
@@ -140,6 +200,10 @@ X-Form
     RA[48:63] <-  (RS)[48:63]
     RA[0:47] <- [s]*48
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Count Leading Zeros Word
 
 X-Form
@@ -156,6 +220,10 @@ X-Form
 
     RA <- n - 32
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Count Trailing Zeros Word
 
 X-Form
@@ -172,6 +240,10 @@ X-Form
 
     RA <- EXTZ64(n)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Compare Bytes
 
 X-Form
@@ -184,6 +256,10 @@ X-Form
         else
            RA[8*n:8* n+7] <- [0]*8
 
+Special Registers Altered:
+
+    None
+
 # Population Count Bytes
 
 X-Form
@@ -197,6 +273,10 @@ X-Form
               n <- n+1
        RA[(i*8):(i*8)+7] <-  n
 
+Special Registers Altered:
+
+    None
+
 # Population Count Words
 
 X-Form
@@ -210,6 +290,10 @@ X-Form
               n <- n+1
        RA[(i*32):(i*32)+31] <- n
 
+Special Registers Altered:
+
+    None
+
 # Parity Doubleword
 
 X-Form
@@ -221,6 +305,10 @@ X-Form
         s <- s / (RS)[i%8+7]
     RA <- [0] * 63 || s
 
+Special Registers Altered:
+
+    None
+
 # Parity Word
 
 X-Form
@@ -236,6 +324,10 @@ X-Form
     RA[0:31] <- [0]*31 || s
     RA[32:63] <- [0]*31 || t
 
+Special Registers Altered:
+
+    None
+
 # Extend Sign Word
 
 X-Form
@@ -247,6 +339,10 @@ X-Form
     RA[32:63] <- (RS)[32:63]
     RA[0:31] <- [s]*32
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Population Count Doubleword
 
 X-Form
@@ -259,6 +355,10 @@ X-Form
            n <-  n+1
     RA <- n
 
+Special Registers Altered:
+
+    None
+
 # Count Leading Zeros Doubleword
 
 X-Form
@@ -273,6 +373,10 @@ X-Form
       n <- n + 1
     RA <- n
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Count Trailing Zeros Doubleword
 
 X-Form
@@ -287,6 +391,10 @@ X-Form
        n  <- n + 1
     RA <- EXTZ64(n)
 
+Special Registers Altered:
+
+    CR0                    (if Rc=1)
+
 # Bit Permute Doubleword
 
 X-Form
@@ -302,3 +410,7 @@ X-Form
             perm[i] <- 0
     RA <- [0]*56 || perm[0:7]
 
+Special Registers Altered:
+
+    None
+