RFR: 8374078: C2_MacroAssembler::verify_int_in_range has incorrect early return condition

Fri Dec 19 04:07:38 UTC 2025

Hi,

This PR fixes the incorrect early return condition in `C2_MacroAssembler::verify_int_in_range`. Previously, `lo == min_jint && hi == max_jint` is equivalent to `t == Type::INT`. But this is not true anymore.

Please take a look and leave your reviews, thanks a lot.

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

Commit messages:
 - Fix verify

Changes: https://git.openjdk.org/jdk/pull/28916/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=28916&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8374078
  Stats: 18 lines in 2 files changed: 6 ins; 8 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/28916.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/28916/head:pull/28916

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