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

Sat Jan 29 01:09:11 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.

Looks reasonable.

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

Marked as reviewed by kvn (Reviewer).

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