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 12:55:15 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Manuel Hässig has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Improve comment
>>  - Fix build failure on product
>
> test/hotspot/jtreg/compiler/loopopts/superword/TestMemorySegmentField.java line 57:
> 
>> 55:     @Test
>> 56:     @IR(counts = {IRNode.LOAD_VECTOR_B, IRNode.VECTOR_SIZE_ANY, "> 0",
>> 57:                   IRNode.ADD_VB, IRNode.VECTOR_SIZE_ANY,        "> 0",
> 
> Do you actually need the `IRNode.VECTOR_SIZE_ANY` here? Is the default failing for you?
> Suggestion:
> 
>     @IR(counts = {IRNode.LOAD_VECTOR_B, "> 0",
>                   IRNode.ADD_VB, "> 0",

Here I do not seem to need them. In `TestMemorySegmentByteSizeLongLoopLimit.java` they are needed, however. Will remove.

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

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