<div dir="ltr">+fernando, who wrote the paper on divergence analysis you cite (and some follow-ons, i believe), and had an LLVM implementation of it.<div>It may make sense for him to look over the algorithm itself.</div><div><br></div><div><br></div><div>(Note that looking at your paper, i'll point out their is a version that handles affine constraints, etc at <a href="https://hal.inria.fr/hal-00650235v1/document">https://hal.inria.fr/hal-00650235v1/document</a>.  I have no opinion on whether it's better for your usecases, but I know it can be made as fast as your current algorithm :P)</div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 24, 2015 at 10:48 AM, Eric Christopher <span dir="ltr"><<a href="mailto:echristo@gmail.com" target="_blank">echristo@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Drive by review: Needs some code comments explaining the functions (though I admit that most of them are pretty straightforward so just a simple "this is the point of this function would be good). Otherwise I don't see anything in particular. Nice big block comment at the top with the explanation. :)<br>
<br>
-eric<br>
<br>
<br>
<a href="http://reviews.llvm.org/D8576" target="_blank">http://reviews.llvm.org/D8576</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="http://reviews.llvm.org/settings/panel/emailpreferences/" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
<br>
_______________________________________________<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>
</blockquote></div><br></div></div>