RFR: 8356176: C2 MemorySegment: missing RCE with byteSize() in Loop Exit Check inside the for Expression [v3]
Manuel Hässig
mhaessig at openjdk.org
Tue Aug 12 15:43:15 UTC 2025
On Tue, 12 Aug 2025 14:54:39 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:
>> I think that is actually the very definition of a `LoopNode`: it has the entry edge on `in(1)` and the backedge on `in(2)` ;)
>
> Alright, `region` becomes a field, and `profitable` gets asserts. Thank you for the suggestions.
> 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.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/26429#discussion_r2270325852
More information about the hotspot-compiler-dev
mailing list