[llvm] [InstCombine] Fold zext(i1) == lshr(A, BW - 1) => i1 == A s< 0 (PR #68244)

via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 12 23:29:21 PDT 2023

Previous message: [llvm] [InstCombine] Fold zext(i1) == lshr(A, BW - 1) => i1 == A s< 0 (PR #68244)
Next message: [llvm] [InstCombine] Fold zext(i1) == lshr(A, BW - 1) => i1 == A s< 0 (PR #68244)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

XChy wrote:

New proof: [alive2](https://alive2.llvm.org/ce/z/c7psiD)

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

Previous message: [llvm] [InstCombine] Fold zext(i1) == lshr(A, BW - 1) => i1 == A s< 0 (PR #68244)
Next message: [llvm] [InstCombine] Fold zext(i1) == lshr(A, BW - 1) => i1 == A s< 0 (PR #68244)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list