From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 27 Jul 2020 11:40:43 +0000 (+0100)
Subject: mtmsrd pseudocode accidentally from v3.1B - returning to v3.0B
X-Git-Tag: convert-csv-opcode-to-binary~2323
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f70fa8f6cc1f3c1baf487e4ae80b9789f586ff4d;p=libreriscv.git

mtmsrd pseudocode accidentally from v3.1B - returning to v3.0B
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index f8b361a9c..445bb3644 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -158,8 +158,8 @@ Pseudo-code:
 
     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[59] <- (RS)[59] | (RS)[49]
         MSR[32:40] <- (RS)[32:40]
         MSR[42:47] <- (RS)[42:47]
         MSR[49:50] <- (RS)[49:50]
@@ -182,11 +182,13 @@ X-Form
 Pseudo-code:
 
     if L = 0 then
+        if (MSR[29:31] != 0b010) | ((RS)[29:31] != 0b000) then
+            MSR[29:31] <- (RS)[29:31]
         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[59] <- (RS)[59] | (RS)[49]
         MSR[0:2] <- (RS)[0:2]
-        MSR[3:28] <- (RS)[3:28]
+        MSR[4:28] <- (RS)[4:28]
         MSR[32:40] <- (RS)[32:40]
         MSR[42:47] <- (RS)[42:47]
         MSR[49:50] <- (RS)[49:50]