[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 333163.
reames added a comment.

Address review comments, and make a stylistic adjustment to make it really clear that this patch doesn't effect alloca handling at all.


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.333163.patch
Type: text/x-patch
Size: 4816 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210324/3c68ee0b/attachment.bin>