[llvm] [InstCombine] Combine and->cmp->sel->or-disjoint into and->mul (PR #135274)

Jeffrey Byrnes via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 14 14:07:25 PDT 2025

Previous message: [llvm] [InstCombine] Combine and->cmp->sel->or-disjoint into and->mul (PR #135274)
Next message: [llvm] [InstCombine] Combine and->cmp->sel->or-disjoint into and->mul (PR #135274)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

jrbyrnes wrote:

Generalized proof: https://alive2.llvm.org/ce/z/MibAcN

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

Previous message: [llvm] [InstCombine] Combine and->cmp->sel->or-disjoint into and->mul (PR #135274)
Next message: [llvm] [InstCombine] Combine and->cmp->sel->or-disjoint into and->mul (PR #135274)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list