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

[Emanuel Peter]

On Mon, 11 Aug 2025 12:11:55 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Update test/hotspot/jtreg/compiler/loopopts/superword/TestAliasingFuzzer.java
>>   
>>   Co-authored-by: Manuel Hässig <manuel at haessig.org>
>
> src/hotspot/share/opto/vectorization.cpp line 743:
> 
>> 741: //
>> 742: //              k = (init - stride - 1) / abs(stride)
>> 743: //              last = MAX(init, init + k * stride)
> 
> Suggestion:
> 
> //              last = MIN(init, init + k * stride)
> 
> This should be `MIN` otherwise this does not clamp to zero.

Yes! Actually the implementation does the correct thing here, just the comments are off.

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

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