mkazantsev planned changes to this revision. mkazantsev added a comment. I'm planning to roll back to SCEV version. Value Tracking doesn't infer things from dominating conditions. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D149132/new/ https://reviews.llvm.org/D149132