no need for duplicate encoding

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index 3446156f8c2434795c9106b9703ed7d120360a66..5e93d6df87b70d2667c6ff0f516d3dfecbe4daf0 100644 (file)
--- a/simple_v_extension/specification/sv.setvl.mdwn
+++ b/simple_v_extension/specification/sv.setvl.mdwn
@@ -46,8 +46,8 @@ instructions (brownfield encodings).
 | vsetvli | 2          | vl = VLMAX immed        , if (!rd) rf[rd]=rd   |
 | vsetvli | 3          | TBD                                            |
 | vsetvli | 4          | TBD                                            |
-| vsetvl  | 5          | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd   |
-| vsetvl  | 6          | vl = VLMAX immed        , if (!rd) rf[rd]=rd   |
+| vsetvl  | 5          | TBD                                            |
+| vsetvl  | 6          | TBD                                            |
 | vsetvl  | 7          | TBD                                            |
 | vsetvl  | 8          | TBD                                            |