[jdk17u-dev] RFR: 8280799: С2: assert(false) failed: cyclic dependency prevents range check elimination

[Martin Doerr]

Clean backport of [JDK-8280799](https://bugs.openjdk.java.net/browse/JDK-8280799)

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

Commit messages:
 - Backport 1ef45c5bbdeb4e1ca65c6d8f3ac1568a6951f3a7

Changes: https://git.openjdk.java.net/jdk17u-dev/pull/310/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk17u-dev&pr=310&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8280799
  Stats: 340 lines in 3 files changed: 314 ins; 21 del; 5 mod
  Patch: https://git.openjdk.java.net/jdk17u-dev/pull/310.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk17u-dev pull/310/head:pull/310

PR: https://git.openjdk.java.net/jdk17u-dev/pull/310