RFR: 8283451: C2: assert(_base == Long) failed: Not a Long

[Tobias Hartmann]

On Tue, 22 Mar 2022 11:27:56 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The code in PhaseIterGVN::no_dependent_zero_check() tests for a top
> input by checking if is_top() is true but in this case the node has
> type top but is not yet transformed to top (after CCP).

Looks good.

test/hotspot/jtreg/compiler/c2/TestModDivTopInput.java line 29:

> 27:  * @summary C2: assert(_base == Long) failed: Not a Long
> 28:  * @run main/othervm -XX:+UnlockDiagnosticVMOptions -XX:+StressLCM -XX:+StressGCM -XX:+StressCCP -XX:+StressIGVN
> 29:  *                   -Xcomp -XX:CompileOnly=TestModDivTopInput -XX:-TieredCompilation -XX:StressSeed=87628618 TestModDivTopInput

Please add another run without a fixed seed.

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

Marked as reviewed by thartmann (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/7902