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

[Christian Hagedorn]

On Sat, 2 Sep 2023 11:34:17 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

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

The fix looks good to me!

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

Marked as reviewed by chagedorn (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/15551#pullrequestreview-1608810411