mkazantsev added a comment. Yeah. Why exactly `getRangeForAffineAR` could not infer the same facts? Maybe it's doing something over-conservative? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D147557/new/ https://reviews.llvm.org/D147557