RFR: 8324751: C2 SuperWord: Aliasing Analysis runtime check [v6]

[Emanuel Peter]

On Tue, 12 Aug 2025 16:19:10 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> I don't think that `make_last` makes any assumptions about `iv_scale1 < iv_scale2`.
>> But I could consider moving it earlier anyway. Do you think that is worth it?
>
> I would do it because the proof states that if `iv_scale2 < iv_scale1` we swap them. It would keep it consistent. Also, you won't have to swap the spans.

@mhaessig Does it look ok to you now?

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/24278#discussion_r2273757094