[llvm] [LoopVectorize] Add support for vectorisation of more early exit loops (PR #88385)

[Florian Hahn via llvm-commits]

fhahn wrote:

Starting to think about the code for the dependence/memory analysis, I was wondering if this could be generalized a bit more separately. AFAICT the dependence analysis and runtime check generation part of LAA does not really care if there are early exits, as  long as we can compute the symbolic max, which should be safe to use instead of the exact BTC: https://github.com/llvm/llvm-project/pull/93499

With that, it seems like `isAnalyzableEarlyExitLoop` and `mayFault` would be better placed outside LAA?

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