<div dir="ltr">Seems good, but it could use a test case.  In general, I'm not sure how we tests analyses, since they need a transform that uses them to test.</div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Mon, Apr 28, 2014 at 12:33 AM, Tobias Güntner <span dir="ltr"><<a href="mailto:guentner@rbg.informatik.tu-darmstadt.de" target="_blank">guentner@rbg.informatik.tu-darmstadt.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Am 10.04.2014 23:10, schrieb Tobias Güntner:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi!<br>
<br>
isNoAliasFn returns 'false' for the call instruction in this example:<br>
<br>
declare noalias i8* @test()<br>
define void @foo() {<br>
   call i8* @test()<br>
   ret void<br>
}<br>
<br>
isNoAliasFn checks if the function has a noalias attribute. I suppose it<br>
should check the return value instead. I've attached a patch.<br>
<br>
Regards,<br>
Tobias<br>
</blockquote>
<br>
ping<br>
<br>
<br>
______________________________<u></u>_________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">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/<u></u>mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>