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

[Emanuel Peter]

On Sun, 17 Aug 2025 21:23:59 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/c2_globals.hpp line 370:
> 
>> 368:                                                                             \
>> 369:   product(bool, UseAutoVectorizationSpeculativeAliasingChecks, true, DIAGNOSTIC, \
>> 370:           "Use Multiversioning or Predicate to add aliasing runtime checks") \
> 
> This flag description implies that it should depend on `LoopMultiversioning` and `UseAutoVectorizationPredicate` flags settings but I did not find such checks.

I made the description more precise. The idea is that you can disable the speculative checks with `UseAutoVectorizationSpeculativeAliasingChecks`. If you have the speculative checks enabled, you still need to enable multiversioning and/or the auto vectorization predicate - otherwise that also disables the speculative checks.

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

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