Integrated: 8367967: C2: "fatal error: Not monotonic" with Mod nodes

[Hannes Greule]

On Sun, 21 Sep 2025 06:11:11 GMT, Hannes Greule <hgreule at openjdk.org> wrote:

> Generally, we shouldn't return a wider type (ZERO) if there is a later case that would return a more narrow type (TOP) for the same input types. If the inputs are widened and the first case doesn't match anymore but the later one still does, the result is not monotonic with the previous result.
> 
> Please review :)

This pull request has now been integrated.

Changeset: 59e76af4
Author:    Hannes Greule <hgreule at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/59e76af47b23f582bbc21465a1871205d2499f28
Stats:     76 lines in 2 files changed: 71 ins; 5 del; 0 mod

8367967: C2: "fatal error: Not monotonic" with Mod nodes

Co-authored-by: Christian Hagedorn <chagedorn at openjdk.org>
Reviewed-by: bmaillard, vlivanov, chagedorn, shade

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

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