From b8b65633a2dd32ada98015c6bb4cd1538364f272 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Sun, 5 Apr 2020 12:41:27 +0100 Subject: [PATCH] syntax corrections --- openpower/isa/fixedshift.mdwn | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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 -- 2.30.2