[PATCH] D69571: [ValueTracking][WIP] Allow context-sensitive nullness check for non-pointers

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert updated this revision to Diff 226989.
jdoerfert added a comment.
Herald added a subscriber: asbirlea.

Add tests from D60846 <https://reviews.llvm.org/D60846> and fix the bug exposed there


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69571/new/

https://reviews.llvm.org/D69571

Files:
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/InstCombine/known-non-zero.ll
  llvm/test/Transforms/InstSimplify/known-non-zero.ll
  llvm/test/Transforms/LICM/hoist-mustexec.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69571.226989.patch
Type: text/x-patch
Size: 8307 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191029/a3ec055e/attachment-0001.bin>