RFR: 8265132 : C2 compilation fails with assert "missing precedence edge" [v4]

[Jamsheed Mohammed C M]

On Sat, 19 Jun 2021 07:43:11 GMT, Igor Veresov <iveresov at openjdk.org> wrote:

>> I didn't say there is a case already. I just said it can even take care of that. problem with using LCA is the new fix has raised LCA, may be i should use LCA_Orig in second case. but do you see problem in using dominate in assert?
>
> Looking at `PhaseCFG::implicit_null_check()` it seems that there can be only a single null block with a deopt in it.  It looks for a very specific shape that has a deopt on the true side of a comparison with a null. Or is there something I'm missing?

I agree, will retain the earlier fix. will use LCA_Orig for the second assert.

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

PR: https://git.openjdk.java.net/jdk/pull/4200