RFR: 8371536: C2: VerifyIterativeGVN should assert on first detected failure [v9]

Manuel Hässig mhaessig at openjdk.org
Wed Jan 28 10:11:12 UTC 2026


On Wed, 28 Jan 2026 10:06:51 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> Right, of course we need to assert in that case as well. Made the change (not sure that's exactly what you meant by "convert the `else if` condition into an `assert` though).
>
> Defining a small, say `GVNVerificationPhase`, enum would already be cleaner, safer and less overhead.

You could even make that a debug only field of `PhaseIterGVN` and override it for `PhaseCCP`.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28295#discussion_r2735882522


More information about the hotspot-compiler-dev mailing list