[llvm] [LoopVectorize] Perform loop versioning for some early exit loops (PR #120603)

[Florian Hahn via llvm-commits]

fhahn wrote:

> Hi @nikic, just for my own understanding can you point me to the part of the LangRef that says out-of-bounds loads are UB? Perhaps I'm missing something, but I did have a look and it wasn't immediately obvious to me where this is stated.

This was my understanding as well, but I also couldn't find a clear reference from LangRef. Put up https://github.com/llvm/llvm-project/pull/128429 to clarify

https://github.com/llvm/llvm-project/pull/120603