asbirlea added a comment. FWIW, there are other loop passes that drastically change the loop structure (e.g. SimpleLoopUnswitch), and preserve all analyses, including LoopInfo. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D110057/new/ https://reviews.llvm.org/D110057