Alexandre Isoard via llvm-dev
2017-Nov-15 01:34 UTC
[llvm-dev] Propagating noalias annotation
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* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171114/ff86287c/attachment.html>
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
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