RFR: 8347273: C2: VerifyIterativeGVN for Ideal and Identity [v3]

[Emanuel Peter]

On Tue, 10 Jun 2025 10:13:25 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Update src/hotspot/share/opto/phaseX.cpp
>>    
>>    Co-authored-by: Manuel Hässig <manuel at haessig.org>
>>  - review suggestions, and handled a few more edge cases
>
> Great effort and analysis! I have some comments/questions.

@chhagedorn I think I addressed all your concerns. The only question remaining is if we should have the "reproducers" in the code comments. Let's see what @TobiHartmann says.

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

PR Comment: https://git.openjdk.org/jdk/pull/22970#issuecomment-2959528486