RFR: 8281429: PhiNode::Value() is too conservative for tripcount of CountedLoop [v2]

[Roland Westrelin]

On Tue, 22 Mar 2022 09:45:24 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request incrementally with four additional commits since the last revision:
>> 
>>  - Update src/hotspot/share/opto/cfgnode.cpp
>>    
>>    Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>
>>  - Update src/hotspot/share/opto/cfgnode.cpp
>>    
>>    Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>
>>  - Update src/hotspot/share/opto/loopnode.cpp
>>    
>>    Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>
>>  - Update src/hotspot/share/opto/loopnode.cpp
>>    
>>    Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>
>
> src/hotspot/share/opto/loopPredicate.cpp line 1069:
> 
>> 1067:                 inner_loop = inner_loop->_child;
>> 1068:                 inner_head = inner_loop->_head->as_Loop();
>> 1069:                 inner_head->verify_strip_mined(1);
> 
> Why did you remove the verification code?

I hit a failure in that code for an inner loop that no longer has the shape of a counted loop. Let me double check if I can still reproduce it.

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

PR: https://git.openjdk.java.net/jdk/pull/7823