Subtype checks sometimes require complex control flow and loop predication can't handle it. 

One example is receiver subtype checks for invokeinterface/invokespecial of interface methods: it involves a subtype check against an interface. As JDK-8220708 demonstrates, when the check is loop invariant, it is very beneficial to  hoist it out of the loop.