[all-commits] [llvm/llvm-project] 353fa4: [PredicateInfo] Place predicate info after assume

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 353fa4403a06c2d86d617362b42e20ee6b3f53be
      https://github.com/llvm/llvm-project/commit/353fa4403a06c2d86d617362b42e20ee6b3f53be
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-07-13 (Mon, 13 Jul 2020)

  Changed paths:
    M llvm/lib/Transforms/Utils/PredicateInfo.cpp
    M llvm/test/Transforms/NewGVN/assume-equal.ll
    M llvm/test/Transforms/NewGVN/assumes.ll
    M llvm/test/Transforms/Util/PredicateInfo/testandor.ll

  Log Message:
  -----------
  [PredicateInfo] Place predicate info after assume

Place the ssa.copy instructions for assumes after the assume,
instead of before it. Both options are valid, but placing them
afterwards prevents assumes from being replaced with assume(true).
This fixes https://bugs.llvm.org/show_bug.cgi?id=37541 in NewGVN
and will avoid a similar issue in SCCP when we handle more
predicate infos.

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