RFR: 8335392: C2 MergeStores: enhanced pointer parsing [v16]

[Emanuel Peter]

On Mon, 4 Nov 2024 10:12:25 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   more review applications
>
> src/hotspot/share/opto/mempointer.cpp line 352:
> 
>> 350:   //   bounds of that same memory object.
>> 351: 
>> 352:   // Hence, all 3 conditions of the "MemoryPointer Lemma" are established, and hence
> 
> Since we also have added `(S0)` recently, we might need to add a word here about it and then update this to "all 4 conditions".

Good idea

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

PR Review Comment: https://git.openjdk.org/jdk/pull/19970#discussion_r1827588447