[llvm] [ConstraintElim] Simplify `sadd_with_overflow` if A and B have different signs (PR #135784)
Iris Shi via llvm-commits
llvm-commits at lists.llvm.org
Thu May 15 04:06:25 PDT 2025
el-ev wrote:
> Could you add an Alive2 proof showing this transform is valid given the precondition for completeness?
It's provided above.
https://alive2.llvm.org/ce/z/yYmrhk
https://github.com/llvm/llvm-project/pull/135784
More information about the llvm-commits
mailing list