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

[Quan Anh Mai]

On Fri, 19 Dec 2025 04:00:31 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 8ab7d3b8
Author:    Quan Anh Mai <qamai at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8ab7d3b89f656e5c2882e19065f01fcc434161d2
Stats:     47 lines in 2 files changed: 11 ins; 22 del; 14 mod

8374078: C2_MacroAssembler::verify_int_in_range has incorrect early return condition

Reviewed-by: kvn, dlong

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

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