<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><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>If I recall correctly, AWZ will get this too (<a href="https://courses.cs.washington.edu/courses/cse501/04wi/papers/alpern-popl88.pdf" target="_blank">https://courses.cs.washington.edu/courses/cse501/04wi/papers/alpern-popl88.pdf</a>). AWZ is a Hopcroft-partitioning-based algorithm, and Hopcroft partitioning is O(n*log(n)).<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 class="gmail_extra"></div></div></blockquote></div></div></blockquote><div>Yes, AWZ will get some, and the hash based ones will get some different ones.</div><div><br></div><div>The one i have implemented unifies AWZ and hash based and will also do predication/value inference.</div><div><br></div><div><br></div></div></div></div>