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

[Vladimir Kozlov]

On Sun, 17 Aug 2025 21:42:01 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/mempointer.hpp line 403:
> 
>> 401: //   Given:
>> 402: //     (C0) pointer p and its MemPointer mp, which is constructed with safe decompositions.
>> 403: //     (C1) a summand "scale_v * v" that occurs in mp.
> 
> What is `v` here? And related `scale_v`?  In previous text you used `scale_i * variable_i`. Is it the same.

Based on new comment at line 44 this is induction variable (iv). Consider explaining that `v` is induction variable to avoid confusion.  I first thought it represents all kind of variables used in index expressions.

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

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