accidentally removed ¬ symbol from pseudocode
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 5 Jun 2020 21:58:22 +0000 (22:58 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 5 Jun 2020 21:58:22 +0000 (22:58 +0100)
openpower/isa/sprset.mdwn

index b2a8a0378a091a244327eecb763607f84da53728..36d5711f730badcc71f0b04babec477c41411e20 100644 (file)
@@ -140,8 +140,8 @@ X-Form
 
     if L = 0 then
         MSR[48] <- (RS)[48] | (RS)[49]
-        MSR[58] <- ((RS)[58] | (RS)[49]) & (MSR[41] & MSR[3] & ((RS)[49]))
-        MSR[59] <- ((RS)[59] | (RS)[49]) & (MSR[41] & MSR[3] & ((RS)[49]))
+        MSR[58] <- ((RS)[58] | (RS)[49]) & ¬(MSR[41] & MSR[3] & (¬(RS)[49]))
+        MSR[59] <- ((RS)[59] | (RS)[49]) & ¬(MSR[41] & MSR[3] & (¬(RS)[49]))
         MSR[32:40] <- (RS)[32:40]
         MSR[42:47] <- (RS)[42:47]
         MSR[49:50] <- (RS)[49:50]