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

Sergei Barannikov via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 17 07:09:59 PDT 2023

Previous message: [llvm] [SDag] Fold saddo[_carry] with bitwise-not argument to ssubo[_carry] (PR #66571)
Next message: [llvm] [SDag] Fold saddo[_carry] with bitwise-not argument to ssubo[_carry] (PR #66571)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

s-barannikov wrote:

> Please can you add Alive2 links

I've updated the description. Should I also change the commit message?


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

Previous message: [llvm] [SDag] Fold saddo[_carry] with bitwise-not argument to ssubo[_carry] (PR #66571)
Next message: [llvm] [SDag] Fold saddo[_carry] with bitwise-not argument to ssubo[_carry] (PR #66571)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list