RFR: 8370200: Crash: assert(outer->outcnt() >= phis + 2 - be_loads && outer->outcnt() <= phis + 2 + stores + 1) failed: only phis [v4]

[Roland Westrelin]

On Fri, 12 Dec 2025 13:11:57 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request incrementally with three additional commits since the last revision:
>> 
>>  - Update src/hotspot/share/opto/node.cpp
>>    
>>    Co-authored-by: Daniel Lundén <daniel.lunden at oracle.com>
>>  - Update test/hotspot/jtreg/compiler/loopstripmining/TestMismatchedMemoryPhis.java
>>    
>>    Co-authored-by: Daniel Lundén <daniel.lunden at oracle.com>
>>  - Update src/hotspot/share/opto/cfgnode.cpp
>>    
>>    Co-authored-by: Daniel Lundén <daniel.lunden at oracle.com>
>
> src/hotspot/share/opto/cfgnode.cpp line 2701:
> 
>> 2699:       }
>> 2700:     }
>> 2701:   }
> 
> Another drive-by question:
> You are refactoring / fixing existing optimizations:
> Are there IR tests that cover the original optimization? How do we avoid that we lose optimizations here?

None was integrated with the initial change. I added one.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28677#discussion_r2614768042