Skip to content
Commit 34b0666b authored by Max Kazantsev's avatar Max Kazantsev
Browse files

[ValueTracking] Teach isKnownNonNullFromDominatingCondition about AND

`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.

Differential Revision: https://reviews.llvm.org/D50172
Reviewed By: reames

llvm-svn: 338990
parent 3bec3abf
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment