<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Sep 6, 2011, at 5:13 PM, Nick Lewycky wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">On 6 September 2011 16:33, Owen Anderson <span dir="ltr"><<a href="mailto:resistor@mac.com">resistor@mac.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Author: resistor<br>
Date: Tue Sep 6 18:33:25 2011<br>
New Revision: 139204<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=139204&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=139204&view=rev</a><br>
Log:<br>
Teach BasicAA about the aliasing properties of memset_pattern16.<br>
Fixes PR10872 and <<a href="rdar://problem/10065079">rdar://problem/10065079</a>>.<br>
<br>
Added:<br>
llvm/trunk/test/Analysis/BasicAA/memset_pattern.ll<br>
Modified:<br>
llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp<br></blockquote><div><br></div><div>Any particular reason not to use a LibCallAA for this?</div></div></blockquote><br></div><div>I asked Chris about this before implementing it. We don't currently use LibCallAA in the standard pass pipeline at all, and he considers it more intended for non-C users to describe the aliasing properties of runtime calls in their language implementations.</div><div><br></div><div>--Owen</div></body></html>