[llvm-dev] Propagating noalias annotation

[Hal Finkel via llvm-dev]

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