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

via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 22 09:44:46 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] [InstCombine] Fold `select (a == b | other_cond), a, b` to `select (other_cond), a, b` (PR #76203)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

XChy wrote:

Complete alive2 proof for commutated version: https://alive2.llvm.org/ce/z/CVH7kK

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] [InstCombine] Fold `select (a == b | other_cond), a, b` to `select (other_cond), a, b` (PR #76203)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list