[llvm-dev] extra loads in nested for-loop

[Phil Tomson via llvm-dev]

I see there is a noalias attribute introduced in LLVM 3.8 for that very
purpose.

On Tue, Jul 12, 2016 at 12:08 PM, Daniel Berlin <dberlin at dberlin.org> wrote:

> Right, it's literally not possible to say these are not aliased without
> help :)
>
>
> On Tue, Jul 12, 2016 at 11:58 AM, Krzysztof Parzyszek via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
>> On 7/11/2016 6:21 PM, Phil Tomson wrote:
>>
>>>
>>> In the context of this particular function wouldn't alias analysis be
>>> able to figure out that there is no alias to a?
>>>
>>
>> They are function parameters, so there is no way to tell if they are
>> aliased or by looking at the function's body.  You can try using "restrict"
>> to tell the compiler that they are not, if that is the case in your program.
>>
>>
>> -Krzysztof
>>
>> --
>> Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted
>> by The Linux Foundation
>> _______________________________________________
>> 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/20160712/df5eb590/attachment.html>