[llvm-dev] Propagating noalias annotation
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?
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
> On 11/16/2017 10:11 AM, via llvm-dev wrote:
>> Is this what you are looking for?
>> Haicheng Wu
>> On 2017-11-14 20:34, Alexandre Isoard via llvm-dev wrote:
>>> 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
> Hal Finkel
> Lead, Compiler Technology and Programming Languages
> Leadership Computing Facility
> Argonne National Laboratory
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev