[llvm] [LoopVersioning] Add a check to see if the input loop is in LCSSA form (PR #116443)

[Vedant Paranjape via llvm-commits]

VedantParanjape wrote:

> I'm familiar with the pass and will let @fhahn take a look, but does it need to be a function pass as opposed to a loop pass?

do you mean to say not familiar?

I am not super familiar with this pass as well, but I think because it uses LoopAccessInfo and LoopInfo and they cannot be queried per Loop? so it's a function pass.

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