[PATCH] D97005: Map Parameters marked as dereferenceable during inlining to loads.

[Michael Berg via Phabricator via llvm-commits]

mcberg2017 created this revision.
mcberg2017 added reviewers: reames, lebedev.ri, joechrisellis, efriedma, fhahn, jdoerfert.
Herald added a subscriber: hiraditya.
mcberg2017 requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

If a call has a Dereferenceable parameter and the call site provides
a pointer load to that parameter, walk all load's uses and validate
that all the calls we find have at least one parameter which
shares this property and matches the same definition.

I have done this as an existence walk, but it could just as easily be an intersection 
of all the loads parameters that are used in calls.


https://reviews.llvm.org/D97005

Files:
  llvm/lib/Transforms/Utils/InlineFunction.cpp
  llvm/test/Transforms/Inline/inline-dereferenceable.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D97005.324790.patch
Type: text/x-patch
Size: 4760 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210218/da29682f/attachment.bin>