Integrated: 8333366: C2: CmpU3Nodes are not pushed back to worklist in PhaseCCP leading to non-fixpoint assertion failure

[Christian Hagedorn]

On Fri, 31 May 2024 17:34:41 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> The current code to push uses back to the worklist during CCP handles `CmpU` nodes but misses `CmpU3` nodes. This leads to an assertion failure that we have not reached a fixpoint.
> 
> The fix is straight forward to add a case for `CmpU3` at the case where we already handle `CmpU` nodes such that they can be added back to the worklist like `CmpU` nodes during CCP.
> 
> This was found during the analysis of [JDK-8332920](https://bugs.openjdk.org/browse/JDK-8332920) by trying to simplify the regression test (thanks to @TobiHartmann!). To properly add regression tests for JDK-8332920 and avoid hitting this bug here with some flag combination, we should fix this first. I will soon propose a PR for JDK-8332920 as well. 
> 
> Thanks,
> Christian

This pull request has now been integrated.

Changeset: 7c83d7ab
Author:    Christian Hagedorn <chagedorn at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7c83d7ab53f1f761a88a1d248b9a2f14980ef702
Stats:     53 lines in 2 files changed: 51 ins; 0 del; 2 mod

8333366: C2: CmpU3Nodes are not pushed back to worklist in PhaseCCP leading to non-fixpoint assertion failure

Reviewed-by: kvn, thartmann

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

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