[all-commits] [llvm/llvm-project] 3dd206: [ConstProp] add tests for vector reductions with p...

[RotateRight via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3dd206367116b5519d984fe023d098ca3bbe2307
      https://github.com/llvm/llvm-project/commit/3dd206367116b5519d984fe023d098ca3bbe2307
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-05-24 (Mon, 24 May 2021)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/ConstProp/vecreduce.ll

  Log Message:
  -----------
  [ConstProp] add tests for vector reductions with poison elements; NFC


  Commit: a0e71f1832d194baffb25a4e7394b623d2bf97cb
      https://github.com/llvm/llvm-project/commit/a0e71f1832d194baffb25a4e7394b623d2bf97cb
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-05-24 (Mon, 24 May 2021)

  Changed paths:
    M llvm/lib/Analysis/ConstantFolding.cpp
    M llvm/test/Transforms/InstSimplify/ConstProp/vecreduce.ll

  Log Message:
  -----------
  [ConstProp] propagate poison from vector reduction element(s) to result

This follows from the underlying logic for binops and min/max.
Although it does not appear that we handle this for min/max
intrinsics currently.
https://alive2.llvm.org/ce/z/Kq9Xnh


Compare: https://github.com/llvm/llvm-project/compare/65d3dd7c883f...a0e71f1832d1