<div dir="ltr">Awesome. That's a pretty good sign it's correct :)</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 13, 2016 at 10:15 AM, Adrian Prantl <span dir="ltr"><<a href="mailto:aprantl@apple.com" target="_blank">aprantl@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">aprantl added a comment.<br>
<br>
Ok, sorry, that was a bit silly on my end: The example from the PR has two functions, and I "measured" by adding a print after every Worklist.swap(Pending);<br>
After adding a second print upon entering a new function the full printout now reads:<br>
<br>
  entering function_Z3fooRKN2cv3MatEPhRKNS_8KeyPointE<br>
  iteration completed<br>
  iteration completed<br>
  entering functionasan.module_ctor<br>
  iteration completed<br>
<br>
So, yes, it does indeed converge after two iterations.<br>
<br>
<br>
<a href="http://reviews.llvm.org/D20178" rel="noreferrer" target="_blank">http://reviews.llvm.org/D20178</a><br>
<br>
<br>
<br>
</blockquote></div><br></div>