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

Hal Finkel via llvm-commits llvm-commits at lists.llvm.org
Sun Jul 10 11:40:12 PDT 2016

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.



-------------- 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>

More information about the llvm-commits mailing list