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

[Emanuel Peter]

On Mon, 18 Aug 2025 06:53:24 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> src/hotspot/share/opto/mempointer.hpp line 674:
>> 
>>> 672: // to be as simple as possible. For example, the pointer:
>>> 673: //
>>> 674: //   pointer = base + 2L * ConvI2L(i + 4 * j + con1) + con2
>> 
>> Is this `MemPointerRawSummand` form?
>
> No, that was supposed to be C2 IR... though I suppose `MemPointerRawSummand` would also faithfully represent the same form, see below.

I added some more comments to hopefully make it a bit more clear.

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

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