From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 13 Mar 2021 16:08:39 +0000 (+0000)
Subject: corrections to setvl from debugging
X-Git-Tag: convert-csv-opcode-to-binary~30
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=923961d3c598d9eeeaae184e50a448404f4b1d8f;p=libreriscv.git

corrections to setvl from debugging
---

diff --git a/openpower/isa/simplev.mdwn b/openpower/isa/simplev.mdwn
index d283db966..350a2e89f 100644
--- a/openpower/isa/simplev.mdwn
+++ b/openpower/isa/simplev.mdwn
@@ -9,22 +9,21 @@ Pseudo-code:
 
     VLimm <- SVi + 1
     if vs = 1 then
-        if RA = 0 then
-            VL <- (RA)[57:63]
+        if _RA != 0 then
+            VL <- (RA|0)[57:63]
         else
-            VL <- VLimm[2:8]
+            VL <- VLimm[1:7]
     else
         VL <- SVSTATE[7:13]
     if ms = 1 then
-        MVL <- VLimm[2:8]
+        MVL <- VLimm[1:7]
     else
         MVL <- SVSTATE[0:6]
     if VL > MVL then
         VL = MVL
-    SVSTATE[0:6] = MVL
-    SVSTATE[7:13] = VL
-    if RT != 0 then
-        RT <- VL || [0] * 58
+    SVSTATE[0:6] <- MVL
+    SVSTATE[7:13] <- VL
+    RT <- [0]*57 || VL
 
 Special Registers Altered: