[all-commits] [llvm/llvm-project] 614f36: [InstCombine] add tests for select of zero or all ...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 614f36fd38ec1f0a9f8d12470adec60bf9345c52
      https://github.com/llvm/llvm-project/commit/614f36fd38ec1f0a9f8d12470adec60bf9345c52
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-02-28 (Mon, 28 Feb 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/select.ll

  Log Message:
  -----------
  [InstCombine] add tests for select of zero or all ones; NFC

See #54053


  Commit: f422c5d87142cc1dc65cf7fb15444c2afc810611
      https://github.com/llvm/llvm-project/commit/f422c5d87142cc1dc65cf7fb15444c2afc810611
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-02-28 (Mon, 28 Feb 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
    M llvm/test/Transforms/InstCombine/select.ll

  Log Message:
  -----------
  [InstCombine] fold select-of-zero-or-ones with negated op

(X u< 2) ? -X : -1 --> sext (X != 0)
(X u> 1) ? -1 : -X --> sext (X != 0)

https://alive2.llvm.org/ce/z/U3y5Bb
https://alive2.llvm.org/ce/z/hgi-4p

This is part of solving:


Compare: https://github.com/llvm/llvm-project/compare/2dc90eee4630...f422c5d87142