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

[Emanuel Peter]

On Thu, 14 Aug 2025 12:31:31 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   moved swapping up, suggested by Manuel
>
> src/hotspot/share/opto/predicates.hpp line 51:
> 
>> 49:  *                    - Loop Parse Predicate:             The Parse Predicate added for Loop Predicates.
>> 50:  *                    - Profiled Loop Parse Predicate:    The Parse Predicate added for Profiled Loop Predicates.
>> 51:  *                    - AutoVectorization Predicate:      The Parse Predicate added for AutoVectorization runtime checks.
> 
> Drive-by comment: Can you also add a small section below under "Runtime Predicate" to summarize what an AutoVectorization runtime check is and in what flavors they come? Then we have everything together for future quick reference.

Good idea, I updated it! Also added some more for the `Short Running Loop Parse Predicate`.

> src/hotspot/share/opto/predicates.hpp line 54:
> 
>> 52:  *                    - Loop Limit Check Parse Predicate: The Parse Predicate added for a Loop Limit Check Predicate.
>> 53:  * - Runtime Predicate: This term is used to refer to a Hoisted Check Predicate (either a Loop Predicate or a Profiled
>> 54:  *                      Loop Predicate) or a Loop Limit Check Predicate. These predicates will be checked at runtime while
> 
> You should then also update this text, maybe there is more that needs to be updated.

Good idea, I updated it!

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

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