From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 11:41:27 +0000 (+0100)
Subject: syntax corrections
X-Git-Tag: convert-csv-opcode-to-binary~2944
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b8b65633a2dd32ada98015c6bb4cd1538364f272;p=libreriscv.git

syntax corrections
---

diff --git a/openpower/isa/fixedshift.mdwn b/openpower/isa/fixedshift.mdwn
index 15107b190..e3de08dee 100644
--- a/openpower/isa/fixedshift.mdwn
+++ b/openpower/isa/fixedshift.mdwn
@@ -158,7 +158,7 @@ X-Form
 
     n <- (RB)[59:63]
     r <- ROTL32((RS)[32:63], n)
-    if (RB)58 = 0 then
+    if (RB)[58] = 0 then
          m <- MASK(32, 63-n)
     else m <- [0]*64
     RA <- r & m
@@ -176,7 +176,7 @@ X-Form
 
     n <- (RB)[59:63]
     r <- ROTL32((RS)[32:63], 64-n)
-    if (RB)58 = 0 then
+    if (RB)[58] = 0 then
         m <-  MASK(n+32, 63)
     else m <- [0]*64
     RA <- r & m
@@ -219,8 +219,8 @@ X-Form
         m <-  MASK(n+32, 63)
     else m <- [0]*64
     s <- (RS)[32]
-    RA <- r&m | ([s]*64)& m¬
-    carry <-  s & ((r&¬m)[32:63] !=0)
+    RA <- r&m | ([s]*64)& ¬m
+    carry <-  s & ((r&¬m)[32:63] != 0)
     CA    <-  carry
     CA32  <-  carry
 
@@ -295,12 +295,12 @@ X-Form
 
     n <- (RB)[58:63]
     r <- ROTL64((RS), 64-n)
-    if (RB)57 = 0 then
+    if (RB)[57] = 0 then
         m <-  MASK(n, 63)
     else m <- [0]*64
     s <- (RS)0
     RA <- r&m | ([s]*64)& ¬m
-    carry <-  s & ((r&¬m)!= 0)
+    carry <-  s & ((r&¬m) != 0)
     CA    <-  carry
     CA32  <-  carry