[PATCH] D29729: [InstCombine] don't lose nsw/nuw from add by converting to xor

[Eli Friedman via Phabricator via llvm-commits]

efriedma requested changes to this revision.
efriedma added a comment.
This revision now requires changes to proceed.

We don't want to go down the path of forbidding optimizations on add/sub because we can deduce the operation doesn't overflow.  There's been a lot of activity recently surrounding the representation of predicates/assertions/etc.; the right solution probably lies in that direction.


https://reviews.llvm.org/D29729