[llvm] [SCEV] Add PHI SCEV verification to ensure availability at loop entry (PR #127550)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 18 08:52:37 PST 2025


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


More information about the llvm-commits mailing list