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

[Roland Westrelin]

On Tue, 29 Jun 2021 10:51:21 GMT, Nils Eliasson <neliasso 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.

Wouldn't it make sense then to improve Compile::remove_speculative_types() so we're guaranteed it removes all of them?

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

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