8240227: Loop predicates should be copied to unswitched loops

Copy loop range check predicates to unswitched loops and update their control edges.

Reviewed-by: kvn, neliasso, thartmann, roland
12 files changed