https://github.com/nikic commented: Why doesn't the existing loop and block disposition verification catch this? isAvailableAtEntry is a combination of LoopInvariant and ProperlyDominatesBlock dispositions. https://github.com/llvm/llvm-project/pull/127550