mkazantsev added a comment. If we prove that two values are the same, their SCEVs can also be proven the same (and not necessarity SCEVUnknown). CHANGES SINCE LAST ACTION https://reviews.llvm.org/D149323/new/ https://reviews.llvm.org/D149323