reames accepted this revision. reames added a comment. This revision is now accepted and ready to land. LGTM I think we should constant fold the condition as well as infer it, but that can be a separate patch. https://reviews.llvm.org/D32482