[llvm] [InstCombine] Fold shifts + selects with -1 to scmp(X, 0) (PR #164129)

via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 23 06:51:24 PDT 2025

Previous message: [llvm] [InstCombine] Fold shifts + selects with -1 to scmp(X, 0) (PR #164129)
Next message: [llvm] [InstCombine] Fold shifts + selects with -1 to scmp(X, 0) (PR #164129)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

AZero13 wrote:

> Please add some negative tests and provide the alive2 proof.

@dtcxzyw Done!

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

Previous message: [llvm] [InstCombine] Fold shifts + selects with -1 to scmp(X, 0) (PR #164129)
Next message: [llvm] [InstCombine] Fold shifts + selects with -1 to scmp(X, 0) (PR #164129)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list