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

[Vladimir Kozlov]

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.

Marked as reviewed by kvn (Reviewer).

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

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