Revert "[ValutTracking] Use isGuaranteedNotToBePoison in impliesPoison"
authorHans Wennborg <hans@chromium.org>
Tue, 9 May 2023 07:15:18 +0000 (09:15 +0200)
committerHans Wennborg <hans@chromium.org>
Tue, 9 May 2023 07:15:18 +0000 (09:15 +0200)
commit706e8110573c83f140a63b40803d6370c86c1414
tree953b72a1ec85febfa804762b6527ce684fbaf850
parent0d1864a754919deae84605aae2b5db8722ae69d4
Revert "[ValutTracking] Use isGuaranteedNotToBePoison in impliesPoison"

This broke two lit tests:

  LLVM :: Transforms/LoopSimplify/merge-exits.ll
  LLVM :: Transforms/PhaseOrdering/X86/vector-reductions.ll

see comment on the code review.

> Differential Revision: https://reviews.llvm.org/D149934

This reverts commit 2ba4cfd56769ab50c9c6f432f93265d7793bd1f2.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstCombine/2012-03-10-InstCombine.ll