The indvars test is great. Can you add more specific unit tests with -scalar-evolution -analyze to cover the cases that you analyze more aggressively now? Otherwise LGTM. Thanks! http://reviews.llvm.org/D5638