RFR: 8361608: C2: assert(opaq->outcnt() == 1 && opaq->in(1) == limit) failed [v4]

[Roland Westrelin]

On Fri, 17 Oct 2025 14:38:40 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

> A technical concern: I assume we want to check the invariant on every loop with such an opaque node (and I can't know ahead of time where loop unrolling is going to happen), so I should traverse the loop tree and look at every loop in there?

Maybe that can be done in `IdealLoopTree::counted_loop()`?

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

PR Comment: https://git.openjdk.org/jdk/pull/27586#issuecomment-3415920474