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

[Christian Hagedorn]

On Mon, 4 Sep 2023 05:04:32 GMT, Tobias Hartmann <thartmann 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.
>
> test/hotspot/jtreg/compiler/c2/MinValueStrideCountedLoop.java line 30:
> 
>> 28:  * @summary Loop increment should not be transformed into unsigned comparison
>> 29:  *
>> 30:  * @run main/othervm -Xcomp -XX:+TraceLoopOpts -XX:-TieredCompilation
> 
> `TraceLoopOpts` is a C2-only debug flag, the test needs a `@requires vm.debug & vm.compiler2.enabled`

Is `TraceLoopOpts` really required for the test?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15551#discussion_r1314469665