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

[Michael Berg via Phabricator via llvm-commits]

mcberg2017 created this revision.
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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D97002

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

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