hang on... no, that's a 4-argument setvl! what about this?
-| 31 25|24 20|19 15|14 12|11 7|6 0| name | variant# - |
-|-----------------|----------|----------|-------|---------|-------|---------|------------|
+| 31|30 25|24 20|19 15|14 12|11 7|6 0| name | variant# |
+|---|-------------|----------|----------|-------|---------|-------|---------|------------|
| 0 | imm[5:0] | 0b00000 | rs1 | 1 1 1 | rd |1010111| vsetvli | 1 |
| 0 | imm[5:0] | 0b00000 | 0b00000 | 1 1 1 | rd |1010111| vsetvli | 2 |
| 0 | imm[5:0] | rs2!=x0 | rs1 | 1 1 1 | rd |1010111| vsetvli | 3 |