<div dir="ltr">On Mon, Aug 12, 2013 at 6:03 AM, Michele Scandale <span dir="ltr"><<a href="mailto:michele.scandale@gmail.com" target="_blank">michele.scandale@gmail.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 08/12/2013 12:44 AM, Michele Scandale wrote:<br>
> The idea is to extend the BasicAliasAnalysis to use addrspace modifier + target<br>
> information to decide aliasing based on physical address spaces and create a<br>
> "MemorySpaceAliasAnalysis" for those case where source language level<br>
> information may help, right?<br>
<br>
</div>I was looking to the AliasAnalysis infrastructure and TBAA implementation<br>
details. The only metadata kind currently supported is the MD_tbaa, in fact<br>
AliasAnalysis::Location has exactly one field for the TBAA tag.<br>
<br>
I think that deciding the aliasing based on the address space should happen<br>
before considering type informations, so the TBAA extension would not be a<br>
general solution.<br></blockquote><div><br></div><div>I could see this going either way.  You could argue that address space information is a part of the type system (e.g. a "__local float*" cannot alias a "__global float *") for the source-level aliasing information, and not part of the type system for target-dependent address space checks (e.g. in PTX, address space 1 cannot alias address space 2).  I do not have a strong preference either way.  Though I agree from a performance standpoint that checking for address space aliasing would be cheaper than checking for type-based aliasing.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Actually how a new independent alias analysis based on metadata (like TBAA, so<br>
attached to load/store & co. instructions) can be implemented?<br></blockquote><div><br></div><div>There is an interface for AliasAnalysis.  See TypeBasedAliasAnalysis.cpp for TBAA implementation.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
Thanks.<br>
<span class="HOEnZb"><font color="#888888"><br>
-Michele<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><br><div>Thanks,</div><div><br></div><div>Justin Holewinski</div>
</div></div>