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

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: jdoerfert, nlopes, apilipenko, nlewycky.
Herald added subscribers: dexonsmith, dantrushin, hiraditya, mcrosier.
Herald added a reviewer: bollu.
reames requested review of this revision.
Herald added a project: LLVM.

Building block towards D99100 <https://reviews.llvm.org/D99100>.

This implements the initial set of inference rules proposed in the llvm-dev thread "RFC: Decomposing deref(N) into deref(N) + nofree".  I've already stumbled across a few more when examining test cases, but it's good to get this checked in and tested.


Repository:
  rG LLVM Github Monorepo

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.332501.patch
Type: text/x-patch
Size: 6891 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210323/0655fb0c/attachment.bin>