add pseudocode to setvl

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index a14a4d8408501bb609143dbe3b964460bca10cad..50bc5ed77b06d20c50987b41baf2ea13835b8ff1 100644 (file)
--- a/simple_v_extension/specification/sv.setvl.mdwn
+++ b/simple_v_extension/specification/sv.setvl.mdwn
@@ -42,12 +42,12 @@ instructions (brownfield encodings).
 
 | name    | variant# - | purpose                                        |
 |---------|------------|------------------------------------------------|
-| vsetvli | 1          | TBD                                            |
-| vsetvli | 2          | TBD                                            |
+| vsetvli | 1          | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd   |
+| vsetvli | 2          | vl = VLMAX immed        , if (!rd) rf[rd]=rd   |
 | vsetvli | 3          | TBD                                            |
 | vsetvli | 4          | TBD                                            |
-| vsetvl  | 5          | TBD                                            |
-| vsetvl  | 6          | TBD                                            |
+| vsetvl  | 5          | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd   |
+| vsetvl  | 6          | vl = VLMAX immed        , if (!rd) rf[rd]=rd   |
 | vsetvl  | 7          | TBD                                            |
 | vsetvl  | 8          | TBD                                            |