[llvm-dev] Propagating noalias annotation

[Hongbin Zheng via llvm-dev]

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>