[llvm-branch-commits] [llvm] [ConstraintElim] Prove sadd/ssub.with.overflow cannot overflow from the exact sum (PR #235159)

Jon Roelofs via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Fri Oct 23 17:03:20 PDT 2026

Previous message: [llvm-branch-commits] [llvm] [ConstraintElim] Prove sadd/ssub.with.overflow cannot overflow from the exact sum (PR #235159)
Next message: [llvm-branch-commits] [llvm] [ConstraintElim] Prove sadd/ssub.with.overflow cannot overflow from the exact sum (PR #235159)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/jroelofs stacked https://github.com/llvm/llvm-project/pull/235159

Previous message: [llvm-branch-commits] [llvm] [ConstraintElim] Prove sadd/ssub.with.overflow cannot overflow from the exact sum (PR #235159)
Next message: [llvm-branch-commits] [llvm] [ConstraintElim] Prove sadd/ssub.with.overflow cannot overflow from the exact sum (PR #235159)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-branch-commits mailing list