RFR: 8356176: C2 MemorySegment: missing RCE with byteSize() in Loop Exit Check inside the for Expression [v3]

[Manuel Hässig]

On Tue, 12 Aug 2025 13:24:13 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> And: if the region is a Loop, then we should have _total_wins = _loop_entry_wins + _loop_back_wins, correct? 

If a `LoopNode` can only have `EntryControl` and `LoopBackControl` as control inputs, it should be correct.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26429#discussion_r2269973130