[llvm] [PassManager] Mark Loop RequireAnalysis as OptionalPassInfoMixin (PR #196345)

[Aiden Grossman via llvm-commits]

boomanaiden154 wrote:

> feels like if we can run arbitrary loop analyses in required loop passes, we should ensure the loop is in LCSSA form. so I'd suggest instead making LCSSA required

I don't think there are any required loop passes which is why this wasn't an issue before. Making LCSSA required I think would transforms loops in `optnone` functions which might not hurt too much, but is probably still undesirable.

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