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

Mon Jan 26 12:19:15 UTC 2026

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!

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

Commit messages:
 - Backport 30675faa67d1bbb4acc729a841493bb8311416af

Changes: https://git.openjdk.org/jdk/pull/29412/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=29412&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8375653
  Stats: 389 lines in 3 files changed: 293 ins; 77 del; 19 mod
  Patch: https://git.openjdk.org/jdk/pull/29412.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/29412/head:pull/29412

PR: https://git.openjdk.org/jdk/pull/29412