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

[Emanuel Peter]

On Tue, 12 Aug 2025 15:40:39 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> 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.

Hmm ok. That complicates things for sure.
Do you feel you like you understand the implication on all cases here then?

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

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