atrick accepted this revision. atrick added a comment. This revision is now accepted and ready to land. This looks great. It seems like it will work well for createAddRecFromPHI. I think we're still missing intrinsic support in getNoWrapFlagsFromUB. http://reviews.llvm.org/D18684