[llvm] [Inliner] Add support for preserving `nocapture` param attr (PR #113418)

via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 30 10:00:57 PDT 2024


goldsteinn wrote:

> It seems to me this type of attribute propagation should have been done in FunctionAttrs/Attributor, and not the responsibility of the inliner

That doesn't quite work because at inlining we can lose information that can be irrecoverable.

i.e `foo` may just a wrapper for `bar` that adds `nocapture`, but nothing else about `bar` may allow us to deduce `nocapture`.

https://github.com/llvm/llvm-project/pull/113418


More information about the llvm-commits mailing list