begin syncing InstCombineAddSub
Add support for new language features:
 - NSWSub + Add predicates
 - KnownZeros and KnownOnes