[PATCH] D69914: [LVI] Normalize pointer behavior

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 272514.
nikic added a comment.

Simplify the patch a bit, in particular remove the movement of isKnownNonZero that really has nothing to do with this patch. Also rename everything to use nonnull rather than dereferencable terminology, to make this more amenable to future extension.


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

https://reviews.llvm.org/D69914

Files:
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/non-null.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69914.272514.patch
Type: text/x-patch
Size: 9474 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200622/2b1d67a5/attachment.bin>