RFR: 8350864: C2: verify structural invariants of the Ideal graph [v4]

Fri Sep 5 08:13:35 UTC 2025

On Fri, 5 Sep 2025 08:07:21 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

> I sometime dream we had node->is<RegionNode>(), that would ease a few of these things (subjective).

Is that something we could do, in a separate RFE? I wonder if we could generate it with the same kind of macros as with which we define `is_Region`... we would just forward from the instantiation `is<RegionNode>` to `is_Region`.

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

PR Comment: https://git.openjdk.org/jdk/pull/26362#issuecomment-3257466360