Integrated: 8264360: Loop strip mining verification fails with "should be on the backedge"

Roland Westrelin roland at openjdk.java.net
Tue Mar 30 08:01:45 UTC 2021


On Mon, 29 Mar 2021 15:53:33 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The assert checks that loads that are found as uses of a loop back
> edge have the back edge as control input. In this case, because that
> code is executed during final graph reshaping (CastPPs are in the
> process of being eliminated and memory operations inherit their
> control inputs as precedence edges), the edge between a load and the
> back edge is a precedence edge. Relaxing the assert is all that is
> required.

This pull request has now been integrated.

Changeset: d2a63f25
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/d2a63f25
Stats:     72 lines in 2 files changed: 71 ins; 0 del; 1 mod

8264360: Loop strip mining verification fails with "should be on the backedge"

Reviewed-by: kvn, thartmann

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

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


More information about the hotspot-compiler-dev mailing list