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

Tue Sep 9 08:25:24 UTC 2025

On Tue, 9 Sep 2025 08:21:28 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> I don't think so.
>
> Can you add a comment, why it can be arbitrarily large?
> Do you have an example where we have very many ctrl uses?

Also: are these all supposed to be projections of a specific kind? We could also test for that. You can also add that to a future RFE.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26362#discussion_r2332472835