[Attributor] Deduce "nofree" function attribute
authorHideto Ueno <uenoku.tokotoko@gmail.com>
Fri, 12 Jul 2019 17:38:51 +0000 (17:38 +0000)
committerHideto Ueno <uenoku.tokotoko@gmail.com>
Fri, 12 Jul 2019 17:38:51 +0000 (17:38 +0000)
commit65bbaf9ece26ed10736a81ed5c24de8edfcb4fe1
tree882746f28d46816d68b0da87f373caa3dcc4f455
parent189639b1c333295bc64834247dd5a368ef058a46
[Attributor] Deduce "nofree" function attribute

Summary: Deduce "nofree" function attribute. A more concise description of "nofree" is on D49165.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: homerdin, hfinkel, lebedev.ri, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D62687

llvm-svn: 365924
llvm/lib/Transforms/IPO/Attributor.cpp
llvm/test/Transforms/FunctionAttrs/arg_returned.ll
llvm/test/Transforms/FunctionAttrs/fn_noreturn.ll
llvm/test/Transforms/FunctionAttrs/nofree-attributor.ll
llvm/test/Transforms/FunctionAttrs/nosync.ll
llvm/test/Transforms/FunctionAttrs/nounwind.ll