https://github.com/nema-ashutosh commented: In #209390 an alternate approach with predicate SCEV is considered, can u check the possibility to extend the applicability of that to LoopVersioningLICM as well ? https://github.com/llvm/llvm-project/pull/192902