Logic in getInsertPointForUses doesn't account for a corner case when Def only
comes to a Phi user from unreachable blocks. In this case, the incoming value may
be arbitrary (and not even available in the input block) and break the loop-related
invariants that are asserted below.
In fact, if we encounter this situation, no IR modification is needed. This Phi will be
simplified away with nearest cleanup.