On Fri, 3 Apr 2026 17:51:56 GMT, Paul Sandoz <[email protected]> wrote:
>> Here I want to say that the lanes keep the same number of bits -> lanewise
>> in-place. It is not about the number of lanes / length of the vector. What
>> do you think?
>
> Is that not implied by it also being shape-invariant? VLENGTH in and VLENGTH
> out, VSHAPE in and VSHAPE out. I would be inclined to just say
> "length-invariant ({@code ML=1"}), otherwise it might appear you are saying
> something different or new and that is not the case.
The implication can really go any way: if you have 2 corners of the triangle,
you get the 3rd.
Question is if we first focus on the lane size or the number of lanes.
Generally, `length-invariant` does not imply `ML=1`.
I think length-invariant would go better with no selection/insertion here. I'll
add it there.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/30113#discussion_r3093935155
