<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 25, 2016 at 10:00 AM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="font-family:arial,helvetica,sans-serif;font-size:10pt;color:#000000"><br><hr><blockquote style="border-left:2px solid rgb(16,16,255);margin-left:5px;padding-left:5px;color:rgb(0,0,0);font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt"><b>From: </b>"Daniel Berlin via llvm-commits" <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>><br><b>To: </b><a href="mailto:reviews%2BD23876%2Bpublic%2B4a33dfaeb73cf394@reviews.llvm.org" target="_blank">reviews+D23876+public+<wbr>4a33dfaeb73cf394@reviews.llvm.<wbr>org</a>, "David Callahan" <<a href="mailto:dcallahan@fb.com" target="_blank">dcallahan@fb.com</a>><br><b>Cc: </b>"llvm-commits" <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>><br><b>Sent: </b>Thursday, August 25, 2016 11:33:32 AM<br><b>Subject: </b>Re: [PATCH] D23876: [CFLAA] On-Demand variant of Context Free Language Alias Analysis<span class=""><br><br><div dir="ltr">I'll take a glance at this, however, to bikeshed something, it probably shouldn't be called "on-demand".<div><br></div><div>In an ideal world, we should name these things by their precision vs speed tradeoff or something, so someone has some hope of knowing which to choose.</div><div><br></div><div>Especially if we have *3* of them :)</div><div><br></div></div></span></blockquote>Obviously we need to think about how we want this to work :) </div></div></blockquote><div><br></div><div>Yeah.</div><div>In an ideal world, we should expose one thing, and internally,  it uses some combination of these passes to provide good results for small and large problems, ....</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="font-family:arial,helvetica,sans-serif;font-size:10pt;color:#000000">-- It is not clear to me that we want 3 of them. I imagine that we want an analysis that is precise for small problems and then degrades gracefully as the problems get larger (some some appropriate definitions of smaller and larger). On-demand updating is often preferable regardless (whenever doing so is cheaper than redoing everything).<br><br></div></div></blockquote><div><br></div><div>I think we are both on the same page here :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="font-family:arial,helvetica,sans-serif;font-size:10pt;color:#000000"> -Hal<span class=""><br><blockquote style="border-left:2px solid rgb(16,16,255);margin-left:5px;padding-left:5px;color:rgb(0,0,0);font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt"><div dir="ltr"><div></div></div>
<br>______________________________<wbr>_________________<br>llvm-commits mailing list<br><a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-commits</a><br></blockquote><br><br><br></span><span class="HOEnZb"><font color="#888888">-- <br><div><span name="x"></span>Hal Finkel<br>Assistant Computational Scientist<br>Leadership Computing Facility<br>Argonne National Laboratory<span name="x"></span><br></div></font></span></div></div></blockquote></div><br></div></div>