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

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 17 03:15:20 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 ]

RKSimon wrote:

Please can you add Alive2 links

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