| commit | b71ba51d81f0e7d1affb84aa18ea31d202a7819c | [log] [tgz] |
|---|---|---|
| author | Max Kazantsev <max.kazantsev@azul.com> | Mon Aug 06 06:11:36 2018 +0000 |
| committer | Max Kazantsev <max.kazantsev@azul.com> | Mon Aug 06 06:11:36 2018 +0000 |
| tree | 25b447524954ea5890db72259c43ccc31082d3fb | |
| parent | a1706269a057b3db528d852d5542e5f4e059415b [diff] |
[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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@338990 91177308-0d34-0410-b5e6-96231b3b80d8