[14] RFR(S): 8235452: Strip mined loop verification fails with assert(is_OuterStripMinedLoop()) failed: invalid node class

[Tobias Hartmann]

Hi Roland,

thanks for looking at this!

On 09.12.19 15:05, Roland Westrelin wrote:
> For OuterStripMinedLoopNode, is_valid_counted_loop() is false so the
> verification never runs when called from a OuterStripMinedLoopNode and
> the new line you added:
> 
>  958   } else if (is_OuterStripMinedLoop()) {
>  959     outer = this->as_OuterStripMinedLoop();
>  960     inner = outer->unique_ctrl_out()->as_CountedLoop();
>  961     assert(inner->is_valid_counted_loop(), "OuterStripMinedLoop should have been removed");
>  962     assert(!is_strip_mined(), "outer loop shouldn't be marked strip mined");
>  963   }
> 
> is unreachable.

Right. What about this?
http://cr.openjdk.java.net/~thartmann/8235452/webrev.01/

Thanks,
Tobias