RFR: 8374078: C2_MacroAssembler::verify_int_in_range has incorrect early return condition [v2]

[Quan Anh Mai]

> 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.

Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:

  refactor

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/28916/files
  - new: https://git.openjdk.org/jdk/pull/28916/files/a0e1c699..e7aee2c1

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=28916&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=28916&range=00-01

  Stats: 61 lines in 2 files changed: 17 ins; 26 del; 18 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