[PATCH] D99135: [deref] Implement initial set of inference rules for deref-at-point

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 333144.
reames added a comment.

Strip out the argument attribute cases for now.  I'll move them to their own review since they seem to need more discussion.


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

https://reviews.llvm.org/D99135

Files:
  llvm/lib/IR/Value.cpp
  llvm/test/Analysis/ValueTracking/deref-abstract-gc.ll
  llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D99135.333144.patch
Type: text/x-patch
Size: 5331 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210324/1f86e767/attachment.bin>