Changed the approach to use phi nodes, as the vectorizer wouldn't understand that it had stuff to do otherwise. Also added in the llvm.loop metadata to the backwards branches of our static loop sizes to force it on.