[jdk17] RFR: 8268884: C2: Change to meet_speculative in phase CCP assert

[Nils Eliasson]

On Tue, 29 Jun 2021 09:37:49 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> Hi Nils,
> Compile::remove_speculative_types() removes speculative types before CCP. How come this node still has a speculative type?

Compile::remove_speculative_types() traverses the graph bottom up. The checkcast is part of an infinite loop with no exit edge. It can't be reached from below.

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

PR: https://git.openjdk.java.net/jdk17/pull/170