[llvm] [SDag] Fold saddo[_carry] with bitwise-not argument to ssubo[_carry] (PR #66571)

[Simon Pilgrim via llvm-commits]

RKSimon wrote:

> > Please can you add Alive2 links
> 
> I've updated the description. Should I also change the commit message?

Yes, the alive2 links should be in the final git commit message.

https://github.com/llvm/llvm-project/pull/66571