[jdk17u-dev] RFR: 8286638: C2: CmpU needs to do more precise over/underflow analysis

[Goetz Lindenmaier]

I backport this for parity with 17.0.5-oracle.

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

Commit messages:
 - Backport 2d34acfec908e6cdfb8e920b54d5b932029e4bac

Changes: https://git.openjdk.org/jdk17u-dev/pull/486/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=486&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8286638
  Stats: 62 lines in 2 files changed: 57 ins; 1 del; 4 mod
  Patch: https://git.openjdk.org/jdk17u-dev/pull/486.diff
  Fetch: git fetch https://git.openjdk.org/jdk17u-dev pull/486/head:pull/486

PR: https://git.openjdk.org/jdk17u-dev/pull/486