RFR: 8314191: C2 compilation fails with "bad AD file"

Sat Sep 2 11:41:00 UTC 2023

Hi,

The root cause is that the comparison in the form `x + inc <=> bound` being transformed into `x u<=> bound - min_value` when `inc` is the min value of the loop type. The fix I propose is to avoid the transformation when either side is a counted loop increment.

Thanks a lot.

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

Commit messages:
 - fix tests
 - add test
 - should not transform into unsigned comparison if either side is a loop increment variable

Changes: https://git.openjdk.org/jdk/pull/15551/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=15551&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8314191
  Stats: 51 lines in 2 files changed: 51 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/15551.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/15551/head:pull/15551

PR: https://git.openjdk.org/jdk/pull/15551