RFR: 8371581: C2: PhaseCCP should reach fixpoint by revisiting deeply-Value-d nodes [v2]

[Aleksey Shipilev]

On Thu, 13 Nov 2025 13:31:16 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Aleksey Shipilev has updated the pull request incrementally with three additional commits since the last revision:
>> 
>>  - More restrictive CmpP check
>>  - Tighten up comments and signatures
>>  - Do Value() once
>
> src/hotspot/share/opto/phaseX.cpp line 2799:
> 
>> 2797:   // This is the meat of CCP: pull from worklist; compute new value; push changes out.
>> 2798: 
>> 2799:   // Do the first round.
> 
> It's worth noting that because we start with everything being `Type::TOP`, this round will visit all alive nodes in the graph.

Right, blurbed.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28288#discussion_r2523498119