[all-commits] [llvm/llvm-project] 5af8ba: [InstSimplify] Add more poison folding optimizations

[Juneyoung Lee via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5af8bacc940243038478da1c92c3481cbdfcece3
      https://github.com/llvm/llvm-project/commit/5af8bacc940243038478da1c92c3481cbdfcece3
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2021-06-23 (Wed, 23 Jun 2021)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstCombine/and-narrow.ll
    M llvm/test/Transforms/InstCombine/getelementptr.ll
    M llvm/test/Transforms/InstCombine/select-binop-cmp.ll
    M llvm/test/Transforms/InstSimplify/ConstProp/poison.ll
    M llvm/test/Transforms/InstSimplify/and.ll
    M llvm/test/Transforms/InstSimplify/fcmp.ll
    M llvm/test/Transforms/InstSimplify/mul.ll
    M llvm/test/Transforms/InstSimplify/or.ll
    M llvm/test/Transforms/InstSimplify/select-inseltpoison.ll
    M llvm/test/Transforms/InstSimplify/select.ll
    M llvm/test/Transforms/InstSimplify/shift.ll
    M llvm/test/Transforms/InstSimplify/sub.ll

  Log Message:
  -----------
  [InstSimplify] Add more poison folding optimizations

This adds more poison folding optimizations to InstSimplify.

Since all binary operators propagate poison, these are fine.

Also, the precondition of `select cond, undef, x` -> `x` is relaxed to allow the case when `x` is undef.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D104661