Integrated: 8356647: C2: Excessively strict assert in PhaseIdealLoop::do_unroll

[Marc Chevalier]

On Mon, 19 May 2025 06:43:38 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

> This assert seems a bit too tight. See the JBS issue to check the math: the bound of `trip_count` should be `<= 2^31`, while the current bound is ` < (julong)max_juint/2` = floor((2^32-1)/2) = (2^32-2) / 2 = 2^31-1.

This pull request has now been integrated.

Changeset: 4b9290af
Author:    Marc Chevalier <mchevalier at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4b9290af0a46bdf662735c24d00732a4c1601102
Stats:     59 lines in 3 files changed: 57 ins; 0 del; 2 mod

8356647: C2: Excessively strict assert in PhaseIdealLoop::do_unroll

Reviewed-by: chagedorn, epeter, dlong

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

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