[all-commits] [llvm/llvm-project] 59855b: [GVN] Add additional assume tests (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 59855b9d3bacc4321e3dd22ccf09bd9d177fdb6f
      https://github.com/llvm/llvm-project/commit/59855b9d3bacc4321e3dd22ccf09bd9d177fdb6f
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-09-17 (Thu, 17 Sep 2020)

  Changed paths:
    A llvm/test/Transforms/GVN/assume.ll

  Log Message:
  -----------
  [GVN] Add additional assume tests (NFC)

The other assume tests seem to be dealing with equalities in
particular. Test implication for the condition itself, especially
the negated case from PR47496.


  Commit: 91ce8e121b7f24ef68fad0ab07f6ab7e1ee06855
      https://github.com/llvm/llvm-project/commit/91ce8e121b7f24ef68fad0ab07f6ab7e1ee06855
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-09-17 (Thu, 17 Sep 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/GVN.cpp
    M llvm/test/Transforms/GVN/assume.ll

  Log Message:
  -----------
  [GVN] Use that assume(!X) implies X==false (PR47496)

We already use that assume(X) implies X==true, do the same for
assume(!X) implying X==false. This fixes PR47496.


Compare: https://github.com/llvm/llvm-project/compare/51973a607dfa...91ce8e121b7f