RFR: 8375653: C2: CmpUNode::sub is not monotonic [v4]

[Quan Anh Mai]

On Thu, 22 Jan 2026 14:24:06 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Missing patterns
>>  - Add IR tests, fix correctness tests
>
> test/hotspot/jtreg/compiler/c2/gvn/CmpUNodeValueTests.java line 59:
> 
>> 57:         Random r = Utils.getRandomInstance();
>> 58:         long x = r.nextLong();
>> 59:         long y = r.nextLong();
> 
> If you use `Generators.java` you may be more likely to hit interesting edge cases (zero, max_uint, etc).

Done!

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

PR Review Comment: https://git.openjdk.org/jdk/pull/29308#discussion_r2717273444