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

[David Sherwood via llvm-commits]

david-arm 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: #93499
> 
> With that, it seems like `isAnalyzableEarlyExitLoop` and `mayFault` would be better placed outside LAA?

I'm on holiday at the moment I'm afraid, but I'm happy to review your comments and look at any patches you have when I get back on Wednesday next week.

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