add pseudocode to setvl

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index 305d98c161ffdf629345e472e297b46bb040254b..3446156f8c2434795c9106b9703ed7d120360a66 100644 (file)
--- 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: