[15] RFR(M): 8240227: Loop predicates should be copied to unswitched loops

[Roland Westrelin]

Hi Christian,

> Yes, that comment seems wrong. What I actually meant was (concrete) 
> range check predicates nodes like upper bound checks created in 
> PhaseIdealLoop::loop_predication_impl_helper() which do not have 
> additional outputs to data nodes (the skeleton predicates have the 
> control edges to these data nodes).

Can there really be a range check predicate that has some uses but none
of which are data uses in the loop?

Roland.