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

[Roland Westrelin]

> 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

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3245/files
  - new: https://git.openjdk.java.net/jdk/pull/3245/files/24fa528b..b461fd91

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3245&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3245&range=00-01

  Stats: 4 lines in 1 file changed: 0 ins; 1 del; 3 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3245.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3245/head:pull/3245

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