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

Mon Jan 31 23:06:14 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.

This pull request has now been integrated.

Changeset: 4191b2b9
Author:    Igor Veresov <iveresov at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/4191b2b9b98c1137e5f27e3b64efb83857fa2c91
Stats:     71 lines in 2 files changed: 70 ins; 0 del; 1 mod

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

Reviewed-by: kvn

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

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