<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: arial,helvetica,sans-serif; font-size: 10pt; color: #000000'><br><hr id="zwchr"><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" <llvm-commits@lists.llvm.org><br><b>To: </b>reviews+D23876+public+4a33dfaeb73cf394@reviews.llvm.org, "David Callahan" <dcallahan@fb.com><br><b>Cc: </b>"llvm-commits" <llvm-commits@lists.llvm.org><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<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 id="DWT4748"><br></div></div></blockquote>Obviously we need to think about how we want this to work :) -- 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> -Hal<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>_______________________________________________<br>llvm-commits mailing list<br>llvm-commits@lists.llvm.org<br>http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits<br></blockquote><br><br><br>-- <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></div></body></html>