[all-commits] [llvm/llvm-project] 297ec6: [IsKnownNonZero] Handle the case with non-constant...

[serguei-katkov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 297ec611304663931be52e6118d9f135ceb8a027
      https://github.com/llvm/llvm-project/commit/297ec611304663931be52e6118d9f135ceb8a027
  Author: Serguei Katkov <serguei.katkov at azul.com>
  Date:   2020-09-29 (Tue, 29 Sep 2020)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/phi.ll

  Log Message:
  -----------
  [IsKnownNonZero] Handle the case with non-constant phi nodes

Handle the case when all inputs of phi are proven to be non zero.

Constants are checked in beginning of this method before check for depth of recursion,
so it is a partial case of non-constant phi.

Recursion depth is already handled by the function.

Reviewers: aqjune, nikic, efriedma
Reviewed By: nikic
Subscribers: dantrushin, hiraditya, jdoerfert, llvm-commits
Differential Revision: https://reviews.llvm.org/D88276