[llvm-dev] Aliasing of pointers from different address spaces

[Hal Finkel via llvm-dev]

Hi, Elena,

You're correct. We do assume that pointers in different address spaces
can alias.

Targets can add their own AA pass into the AA query chain, and one of
the things such analysis passes can do account for target-specific
knowledge of address-space semantics. For example, see
lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp

 -Hal


On 04/26/2018 07:56 AM, Demikhovsky, Elena via llvm-dev wrote:
> Hi,
>  
> Can I configure address spaces aliasing for my specific target?
> I found this discussion
> (_https://groups.google.com/forum/#!topic/llvm-dev/0ZbzzN6t05o_
> <https://groups.google.com/forum/#%21topic/llvm-dev/0ZbzzN6t05o>) ,
> where James says “pointers in different address spaces cannot alias”,
> but it is not what I see in the code.
> I looked for a way to customize address spaces separation in Target,
> but I can’t find.
> Any thoughts?
> Thanks.
>  
>
>   * */Elena/*
>
>  
>  
>  
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
>
>
>
> _______________________________________________
> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180426/d3479859/attachment.html>