RFR: 8275337 C1: assert(false) failed: live_in set of first block must be empty

Mon Jan 31 23:06:13 UTC 2022

On Fri, 28 Jan 2022 21:23:09 GMT, Igor Veresov <iveresov at openjdk.org> wrote:

> When determining if an instruction is loop invariant we should check its dominance instead of just comparing the dominator tree depths.
> 
> Tier1-7 tests are clean.

Thanks for the review!

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

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