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

[Emanuel Peter]

On Sun, 17 Aug 2025 22:36:27 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/predicates.hpp line 48:
> 
>> 46:  *                    above which Regular Predicates can be created later after parsing.
>> 47:  *
>> 48:  *                    There are initially four Parse Predicates for each loop:
> 
> You listed 5 parse predicates

Right, fixed it to five. I forgot it becuase I only later also realized that Roland's Long Running Long Loop Predicate was also missing from the list.

> src/hotspot/share/opto/vectorization.cpp line 515:
> 
>> 513: // pointer p:
>> 514: //   (C0) is given by the construction of VPointer vp, which simply wraps a MemPointer mp.
>> 515: //   (c1) with v = iv and scale_v = iv_scale
> 
> You have explanation here but not in `mempointer.hpp`

Now I do, thanks for the comment :)

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

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