[PATCH] D22202: Let FuncAttrs infer the 'returned' argument attribute

[Hal Finkel via llvm-commits]

hfinkel created this revision.
hfinkel added reviewers: majnemer, sanjoy, chandlerc, dberlin, reames, jmolloy.
hfinkel added a subscriber: llvm-commits.
Herald added a subscriber: mcrosier.

A function can have one argument with the 'returned' attribute, indicating that the associated argument is always the return value of the function. Add FuncAttrs inference logic.

I intend to make the optimizer smarter about looking through functions with a returned parameter (in support of the llvm.noalias intrinsic). We might as well let generic functions with this property benefit as well.

http://reviews.llvm.org/D22202

Files:
  lib/Transforms/IPO/FunctionAttrs.cpp
  test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll
  test/Transforms/FunctionAttrs/nocapture.ll
  test/Transforms/FunctionAttrs/readattrs.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22202.63431.patch
Type: text/x-patch
Size: 4864 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160710/399e67b7/attachment.bin>