RFR: 8298952: All nodes should have type(n) == Value(n) after IGVN [v3]

[Emanuel Peter]

On Tue, 31 Jan 2023 09:37:22 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> src/hotspot/share/opto/c2_globals.hpp line 623:
>> 
>>> 621:   develop(uint, VerifyIterativeGVN, 0,                                      \
>>> 622:           "Verify Iterative Global Value Numbering"                         \
>>> 623:           "=XY, with Y: verify Def-Use modifications during sparse IGVN"    \
>> 
>> Do you understand what "sparse" refers to? Maybe we should simply remove that word.
>
> Will remove the "sparse".
> Maybe the idea was that we only IGVN a part of the graph, as needed (whatever is on the worklist).

done.

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

PR: https://git.openjdk.org/jdk/pull/11775