Integrated: 8257574: C2: "failed: parsing found no loops but there are some" assert failure

[Roland Westrelin]

On Wed, 2 Dec 2020 08:28:41 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The assert fires because the loop only has an infinite loop which
> causes the has_loops flag to be cleared. But because a NeverBranch is
> also added to the graph on the next pass of loop opts (for
> verification), C2 finds a loop and that's inconsistent with the
> has_loops flag. This is supposed to be handled by the
> only_has_infinite_loops() call in the assert but not in this case
> because the loop is not an innermost loop.

This pull request has now been integrated.

Changeset: 86b65756
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/86b65756
Stats:     66 lines in 2 files changed: 50 ins; 6 del; 10 mod

8257574: C2: "failed: parsing found no loops but there are some" assert failure

Reviewed-by: thartmann, neliasso, chagedorn

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

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