[llvm-dev] Propagating noalias annotation (original) (raw)

Hongbin Zheng via llvm-dev llvm-dev at lists.llvm.org
Thu Nov 16 23:49:05 PST 2017

Could you elaborate "Note that, without further analysis of the uses of the potentially-noalias pointers, you can do this only ..."? Why the uses, instead of the def, of pointer matter?

Thanks Hongbin

On Thu, Nov 16, 2017 at 11:21 PM, Hal Finkel via llvm-dev < llvm-dev at lists.llvm.org> wrote:

Hi, Alexandre,

We don't have anything currently which does this. Note that, without further analysis of the uses of the potentially-noalias pointers, you can do this only for arguments with distinct (and identified) underlying objects (i.e., you need something a bit stronger than just "non-aliasing pointers"). -Hal

On 11/16/2017 10:11 AM, via llvm-dev wrote: Is this what you are looking for?

https://reviews.llvm.org/D4609 Best, Haicheng Wu On 2017-11-14 20:34, Alexandre Isoard via llvm-dev wrote:

Hello,

Do we have a pass that propagate the noalias annotation down to the callee when: - it is static - it is always called with non aliasing pointers ? Or maybe that is incorrect? -- ALEXANDRE ISOARD

LLVM Developers mailing list llvm-dev at lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -- Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory

LLVM Developers mailing list llvm-dev at lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171116/4c4f0de6/attachment.html>

More information about the llvm-dev mailing list