(no commit message)

diff --git a/simple_v_extension/vblock_format_table.mdwn b/simple_v_extension/vblock_format_table.mdwn
index 151517502bccc717f841e2ec9a5ce66e404cc4ff..68ee6646c5974eecf86b7bf0dbbe1a2b2fbacd61 100644 (file)
--- a/simple_v_extension/vblock_format_table.mdwn
+++ b/simple_v_extension/vblock_format_table.mdwn
@@ -15,11 +15,9 @@ The VL/MAXVL/SubVL Block format, when 16xil != 0b111, is:
 
 [[!table  data="""
 31:30 | 29:28 | 27:22    | 21 | 20:19   | 18:16    | comment                              |
-0b00  | SubVL | imm[5:0] |rsvd| 00000             || VL = MIN(MVL, imm)                   |
-0b00  | SubVL | imm[5:0] |rsvd| rd[4:0]           || rf[rd] = VL = MIN(MVL, imm)          |
+0b00  | SubVL | imm[5:0] |rsvd| rd[4:0]           || sv.setvl rd, x0, imm    |
 0b01  | SubVL | imm[5:0] | rs1[2:0]    || rd[2:0]  | RVC reg format, sv.setvl rd, rs, imm |
-0b10  | SubVL | imm[5:0] |rsvd| 00000             || VL = MVL imm                         |
-0b10  | SubVL | imm[5:0] |rsvd|   rd[4:0]         || rf[rd] = VL = MVL imm                |
+0b10  | SubVL | imm[5:0] |rsvd|  rs1[4:0]         || sv.setvl x0, rs1, imm        |
 0b11  | rsvd  | rsvd     |rsvd| rsvd              || reserved, all 0s                     |
 """]]