RFR: 8356176: C2 MemorySegment: missing RCE with byteSize() in Loop Exit Check inside the for Expression [v3]
Quan Anh Mai
qamai at openjdk.org
Tue Aug 12 16:35:19 UTC 2025
On Tue, 12 Aug 2025 15:59:55 GMT, Emanuel Peter <epeter at openjdk.org> wrote:
>>> if the region is a Loop, then we should have _total_wins = _loop_entry_wins + _loop_back_wins, correct?
>>
>> Actually, this might not be true, because there is a codepath that resets the win count when a load is moved from an outer to an inner loop.
>
> Hmm ok. That complicates things for sure.
> Do you feel you like you understand the implication on all cases here then?
But should the invariant still hold after the reset? `0 + 0 == 0` after all?
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/26429#discussion_r2270513456
More information about the hotspot-compiler-dev
mailing list