Files
llvm-project/llvm/lib/Analysis/LoopPass.cpp
Aiden Grossman d34661b89c [LPM][LegacyPM] Reenable LCSSA Verification
This was disabled about a decade ago due to issues with LoopSink.
LoopSink has since had its LegacyPM version removed and is now a
function pass due to not needing too much loop infrastructure. So we can
try enabling this again to prevent backsliding on important cases while
we work on switching to the NewPM which does enforce these things.

Eventually we will want to add assertions here for LoopStrengthReduce,
but given it does not correctly preserve LCSSA, postpone that for now.

Reviewers: arsenm, Meinersbur, nikic, fhahn

Pull Request: https://github.com/llvm/llvm-project/pull/191667
2026-04-19 12:02:24 -07:00

13 KiB