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

[Emanuel Peter]

On Sun, 17 Aug 2025 22:04:50 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   more documentation for Christian
>
> src/hotspot/share/opto/mempointer.hpp line 406:
> 
>> 404: //     (C2) a strided range r = [lo, lo + stride_v, .. hi] for v.
>> 405: //     (C3) for all v in this strided range r we know that p is within bounds of its memory object.
>> 406: //     (C4) abs(scale_v * stride_v) < 2^31.
> 
> (C4) Is confusing if you read it first. But late I see `mp(v1) = mp(v0) + scale_v * stride_v` expression and now I know why you need this.

I see. I added two sentences just below to give a high level motivation for (C4), so the reader does not feel too confused on the first encounter ;)

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

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