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

[Emanuel Peter]

On Mon, 28 Jul 2025 11:00:52 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 190 commits:
>> 
>>  - manual merge with master
>>  - fix include order
>>  - manual merge with master
>>  - rm multiversioning testing
>>  - more comments cleanu
>>  - comment cleanup
>>  - more descriptions / proof
>>  - improve comments
>>  - fix test and code
>>  - small comment addition
>>  - ... and 180 more: https://git.openjdk.org/jdk/compare/f40381e4...d7e856d8
>
> src/hotspot/share/opto/mempointer.hpp line 706:
> 
>> 704: // Note: we also need to track constants as separate raw summands. For
>> 705: //       this, we say that a raw summand tracks a constant iff _variable == null,
>> 706: //       and we store the constant value in _scaleI.
> 
> This contradicts the `con2` example above.

True, I further specified things here.

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

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