jgalenson added a comment. I'm not very familiar with SCEV, so I'm not sure if I'm making the correct signed vs. unsigned ranges and comparisons here. What is the proper way to do that? Repository: rL LLVM https://reviews.llvm.org/D49602