From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 26 Jun 2019 08:40:06 +0000 (+0100)
Subject: add pseudocode to setvl
X-Git-Tag: convert-csv-opcode-to-binary~4397
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67484e8b38380f2b1c869920a37fcd339acef11e;p=libreriscv.git

add pseudocode to setvl
---

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index 305d98c16..3446156f8 100644
--- a/simple_v_extension/specification/sv.setvl.mdwn
+++ b/simple_v_extension/specification/sv.setvl.mdwn
@@ -51,6 +51,12 @@ instructions (brownfield encodings).
 | vsetvl  | 7          | TBD                                            |
 | vsetvl  | 8          | TBD                                            |
 
+notes:
+
+* there's no behavioural difference between the vsetvl version and the
+  vsetvli version.  that needs fixing (somehow, doing something)
+* the above 4 fit into the "rs2 == x0" case, leaving "rs2 != x0" for
+  brownfield encodings.
 
 pseudocode: