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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 12 13:13:00 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 ]

nikic wrote:

Can you please update the patch description and alive proof? It doesn't seem to match what is actually implemented.

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