atrick accepted this revision. atrick added a reviewer: atrick. atrick added a comment. This revision is now accepted and ready to land. Well, ideally the IR is canonical before SCEV, but this condition is simple enough to catch anyway. Thanks. http://reviews.llvm.org/D13390