[all-commits] [llvm/llvm-project] b22917: [InstCombine] Fold Ext(i1) Pred shr(A, BW - 1) => ...

[XChy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b22917e6e2a0aec05474f58e64b7e87d1ea0a054
      https://github.com/llvm/llvm-project/commit/b22917e6e2a0aec05474f58e64b7e87d1ea0a054
  Author: XChy <xxs_chy at outlook.com>
  Date:   2023-10-13 (Fri, 13 Oct 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/icmp-shr.ll
    M llvm/test/Transforms/InstCombine/icmp-xor-signbit.ll

  Log Message:
  -----------
  [InstCombine] Fold Ext(i1) Pred shr(A, BW - 1) => i1 Pred A s< 0 (#68244)

Resolves #67916 .
This patch folds `Ext(icmp (A, xxx)) Pred shr(A, BW - 1)` into `i1 Pred
A s< 0`.
[Alive2](https://alive2.llvm.org/ce/z/k53Xwa).