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

[Vladimir Kozlov]

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

>> 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`.

Yes, you can do that in `CompilerConfig::ergo_initialize()` as we do for other compiler's flags. That is what I am asking for.  I don't think you need to do that in `check_args_consistency()` because flags don't conflict.

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

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