RFR: 8314191: C2 compilation fails with "bad AD file" [v3]

[Quan Anh Mai]

> 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.

Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:

 - Merge branch 'master' into ucountedloop
 - TraceLoopOpt not needed
 - fix tests
 - add test
 - should not transform into unsigned comparison if either side is a loop increment variable

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15551/files
  - new: https://git.openjdk.org/jdk/pull/15551/files/9a6b5f17..58622148

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=15551&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=15551&range=01-02

  Stats: 13884 lines in 336 files changed: 9245 ins; 2433 del; 2206 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