[llvm-branch-commits] [llvm] [ConstraintElim] Simplify `usub_with_overflow` when A uge B (PR #135785)

Iris Shi via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Thu May 15 04:10:43 PDT 2025

Previous message: [llvm-branch-commits] [llvm] [ConstraintElim] Simplify `usub_with_overflow` when A uge B (PR #135785)
Next message: [llvm-branch-commits] [llvm] [ConstraintElim] Simplify `usub_with_overflow` when A uge B (PR #135785)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

el-ev wrote:

https://alive2.llvm.org/ce/z/ZRmQES

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

Previous message: [llvm-branch-commits] [llvm] [ConstraintElim] Simplify `usub_with_overflow` when A uge B (PR #135785)
Next message: [llvm-branch-commits] [llvm] [ConstraintElim] Simplify `usub_with_overflow` when A uge B (PR #135785)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-branch-commits mailing list