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

[Tobias Hartmann]

On Tue, 30 Mar 2021 07:46:54 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.
>
> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
> 
>   test cleanup

Marked as reviewed by thartmann (Reviewer).

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

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