[jdk16] RFR: 8260284: C2: assert(_base == Int) failed: Not an Int

[Tobias Hartmann]

On Fri, 22 Jan 2021 14:09:06 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> `PhaseIterGVN::no_dependent_zero_check()` does not handle the case when the divisor `n->in(2)` is top when a Div/Mod node is dying. As a result, we hit the assertion in `is_int()` because the type is top.
> 
> The fix is straight forward to handle this case and just return false to avoid any further redundant optimization on a dead node.
> 
> Thanks,
> Christian

Looks good to me.

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

Marked as reviewed by thartmann (Reviewer).

PR: https://git.openjdk.java.net/jdk16/pull/129