<div class="gmail_quote">On Thu, Oct 13, 2011 at 3:24 AM, Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Justin,<br>
<div class="im"><br>
> Any opinions from the core developers?  It would be possible to add this pass to<br>
> the default alias analysis passes for some target triples.<br>
<br>
</div>I guess either Chris can pronounce from on high whether it is OK to say that<br>
pointers in different address spaces cannot alias each other, or you can contact<br>
the main developers for each LLVM target and ask them what the situation is for<br>
their target.  If pointers in different address spaces don't alias for any of<br>
the currently supported LLVM targets then I think you can just add the logic to<br>
basic alias analysis.<br></blockquote><div><br></div><div>Following the LLVM language reference, it is not required that they be alias-free.</div><div><br></div><div>In the interests of getting this in before the branch, I could add it to the basic alias analysis, but leave it dependent on a command-line option that is off by default.  Does this sound reasonable?</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Ciao, Duncan.<br>
<div><div></div><div class="h5">_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><br><div>Thanks,</div><div><br></div><div>Justin Holewinski</div><br>