[PATCH] D50172: [ValueTracking] Teach isKnownNonNullFromDominatingCondition about AND

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.
mkazantsev added reviewers: Ka-Ka, craig.topper, spatel, fedor.sergeev, reames.

`isKnownNonNullFromDominatingCondition` is able to prove non-null basing on `br` or `guard`
by `%p != null` condition, but is unable to do so basing on `(%p != null) && %other_cond`.
This patch allows it to do so.


https://reviews.llvm.org/D50172

Files:
  lib/Analysis/ValueTracking.cpp
  test/Transforms/LICM/hoist-deref-load.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D50172.158699.patch
Type: text/x-patch
Size: 5533 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180802/bbb58bf3/attachment.bin>