[jdk26] RFR: 8375653: C2: CmpUNode::sub is not monotonic [v2]

[Quan Anh Mai]

On Mon, 26 Jan 2026 18:27:02 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Hi all,
>> 
>> This pull request contains a backport of commit [30675faa](https://github.com/openjdk/jdk/commit/30675faa67d1bbb4acc729a841493bb8311416af) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
>> 
>> The commit being backported was authored by Quan Anh Mai on 26 Jan 2026 and was reviewed by Christian Hagedorn and Marc Chevalier.
>> 
>> Thanks!
>
> Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix test

I had to change the unit test a little bit because the inference that `x | y` is `< 0` if `x < 0` or `y < 0` is only introduced in JDK27. Please reapprove this PR.

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

PR Comment: https://git.openjdk.org/jdk/pull/29412#issuecomment-3803269411