Clarify how the largest element index is determined

Fixes #873 Signed-off-by: Hugues de Lassus <[email protected]>
riscvarchive · Apr 18, 2023 · 9af95c8 · 9af95c8
1 parent b9afd6f
commit 9af95c8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/v-spec.adoc b/v-spec.adoc
@@ -558,8 +558,9 @@ setting (8) and the smallest SEW setting (8), so VLMAX_max = 8*VLEN/8
 = VLEN.  For example, for VLEN=256, `vstart` would have 8 bits to
 represent indices from 0 through 255.
 
-The use of `vstart` values greater than the largest element index for
-the current `vtype` setting is reserved.
+The use of `vstart` values greater than the largest element index is reserved.
+The largest element index is determined using the effective element width and
+effective group multiplier of the current instruction.
 
 NOTE: It is recommended that implementations trap if `vstart` is out
 of bounds.  It is not required to trap, as a possible future use of