[llvm] [InstCombine] Fold `select (a == b | other_cond), a, b` to `select (other_cond), a, b` (PR #76203)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 28 23:35:56 PST 2023

Previous message: [llvm] [InstCombine] Fold `select (a == b | other_cond), a, b` to `select (other_cond), a, b` (PR #76203)
Next message: [llvm] 8a4266a - [InstSimplify] Fold `u/sdiv exact (mul nsw/nuw X, C), C --> X` when C is not a power of 2 (#76445)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

It also holds for logical and/or.
Alive2: https://alive2.llvm.org/ce/z/9Ko8wb

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

Previous message: [llvm] [InstCombine] Fold `select (a == b | other_cond), a, b` to `select (other_cond), a, b` (PR #76203)
Next message: [llvm] 8a4266a - [InstSimplify] Fold `u/sdiv exact (mul nsw/nuw X, C), C --> X` when C is not a power of 2 (#76445)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list