RFR: 8308660: C2 compilation hits 'node must be dead' assert [v2]

[Vladimir Kozlov]

On Thu, 14 Mar 2024 16:02:12 GMT, Roland Westrelin <roland at openjdk.org> wrote:

>> In `IfNode::fold_compares_helper()`, `adjusted_val` is:
>> 
>> 
>> (SubI (AddI top constant) 0)
>> 
>> 
>> which is then transformed to the `top` node. The code, next, tries to
>> destroy the `adjusted_val` node i.e. the `top` node. That results in
>> the assert failure. Given We're trying to fold 2 ifs in a dying part
>> of the graph, the fix is straightforward: test `adjusted_val` for top
>> and bail out from the transformation if that's the case.
>
> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
> 
>   fix test

Good.

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

Marked as reviewed by kvn (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/18305#pullrequestreview-1937283076