[llvm] And sub combine (PR #119316)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 9 19:24:41 PST 2024

Previous message: [llvm] And sub combine (PR #119316)
Next message: [llvm] [InstCombine] Fold `(X & C1) - (X & C2) --> X & (C1 ^ C2)` if `(C1 & C2) == C2` (PR #119316)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

Please read https://llvm.org/docs/InstCombineContributorGuide.html and
+ Provide alive2 proofs
+ Adjust the PR title


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

Previous message: [llvm] And sub combine (PR #119316)
Next message: [llvm] [InstCombine] Fold `(X & C1) - (X & C2) --> X & (C1 ^ C2)` if `(C1 & C2) == C2` (PR #119316)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list