[all-commits] [llvm/llvm-project] a22449: [NFC][InstCombine] Add tests for and reduction w/ ...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a22449336ed918ef5946d5f89c50df9404a2c062
      https://github.com/llvm/llvm-project/commit/a22449336ed918ef5946d5f89c50df9404a2c062
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-08-03 (Tue, 03 Aug 2021)

  Changed paths:
    A llvm/test/Transforms/InstCombine/reduction-and-sext-zext-i1.ll

  Log Message:
  -----------
  [NFC][InstCombine] Add tests for and reduction w/ i1 element type (PR51259)


  Commit: cdb0dfdffaaf061ba1b4e5653e6179db152ed891
      https://github.com/llvm/llvm-project/commit/cdb0dfdffaaf061ba1b4e5653e6179db152ed891
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-08-03 (Tue, 03 Aug 2021)

  Changed paths:
    A llvm/test/Transforms/InstCombine/reduction-or-sext-zext-i1.ll

  Log Message:
  -----------
  [NFC][InstCombine] Add tests for or reduction w/ i1 element type (PR51259)


  Commit: 4ba3326f17ddabc1f427508a927a987d812ac543
      https://github.com/llvm/llvm-project/commit/4ba3326f17ddabc1f427508a927a987d812ac543
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-08-03 (Tue, 03 Aug 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/reduction-and-sext-zext-i1.ll
    M llvm/test/Transforms/InstCombine/reduction-or-sext-zext-i1.ll

  Log Message:
  -----------
  [InstCombine] `vector_reduce_{or,and}(?ext(<n x i1>))` --> `?ext(vector_reduce_{or,and}(<n x i1>))` (PR51259)

This allows the expansion logic to actually trigger if the argument
was extended from i1 element type, like the rest of the reductions expect.

Alive2 agrees:
https://alive2.llvm.org/ce/z/wcfews (or zext)
https://alive2.llvm.org/ce/z/FCXNFx (or sext)
https://alive2.llvm.org/ce/z/f26zUY (and zext)
https://alive2.llvm.org/ce/z/jprViN (and sext)


Compare: https://github.com/llvm/llvm-project/compare/bd13c8e610ca...4ba3326f17dd