[all-commits] [llvm/llvm-project] 9dfea0: [SCCP] Handle assume predicates

[Nikita Popov via All-commits]

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

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

  Log Message:
  -----------
  [SCCP] Handle assume predicates

Take assume predicates into account when visiting ssa.copy. The
handling is the same as for branch predicates, with the difference
that we're always on the true edge.

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