RFR: 8371716: C2: Phi node fails Value()'s verification when speculative types clash [v3]

Tue Nov 25 10:05:14 UTC 2025

On Tue, 25 Nov 2025 09:59:49 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

> > In future RFE's we could consider:
> 
> I might have missed something, but which solution would you then include for now?

The one you have now: one more round of filtering to get to fixpoint ;)

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

PR Comment: https://git.openjdk.org/jdk/pull/28331#issuecomment-3574795335