| 0..5 |6..10|11..15|16.20|21.22.23.24..25|26.....30|31| name |
|------|-----|------|-----|---------------|---------|--|---------|
| 19 | RT | RA | | XO[0:4] | XO[5:9] |Rc| XL-Form |
-| 19 | RT | RA |imm | imm // vs ms | NNNNNN |Rc| setvl/i |
+| 19 | RT | RA |imm | imm // vs ms | NNNNN |Rc| setvl |
-Note that setmvli is a pseudo-op, based on RT=0, and setvli likewise, based on RA=0, RT=0.
+Note that setmvli is a pseudo-op, based on RA/RT=0, and setvli likewise
+
+* setvli VL=8 : setvl r5, r0, VL=8
+* setmvli MVL=8 : setvl r0, r0, MVL=8
# Pseudocode