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

[Emanuel Peter]

On Tue, 19 Aug 2025 06:01:02 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> I ment, I don't see code for checking flags consistency for flags specified on command line. Consider next combination:
>> 
>>  % java -XX:+UseAutoVectorizationSpeculativeAliasingChecks -XX:-LoopMultiversioning -XX:-UseAutoVectorizationPredicate Test
>> 
>> What VM will do?
>
> It would like to add speculative checks, but cannot because neither multiversioning nor predicate is available. Currently, there is no error, nor is there any logic that changes the value of the flag.
> 
> Would you like that to be an error?
> The downside is that I would have to add special logic in some tests to avoid such errors/crashes, where I now randomly enable and disable these tests.
> 
> Or would you like me to check the values of the flags, and then possibly disable `UseAutoVectorizationSpeculativeAliasingChecks` automatically in the VM if neither multiversioning nor the predicate are available?

If I'm doing something, then probably automatically disable `UseAutoVectorizationSpeculativeAliasingChecks`.

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

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