<div dir="ltr"><div>> <span style="line-height:1.5">The GVN on the newgvn branch i have will remove these, and is more complicated</span></div><div><span style="line-height:1.5">> </span><span style="line-height:1.5">The one i have implemented unifies AWZ and hash based and will also do predication/value inference.</span></div><div><span style="line-height:1.5"><br></span></div><div><span style="line-height:1.5">This is exciting news. It sounds like it will find a lot of the interesting cases.</span><br></div><div><br></div><div>> Note that we don't do full-on polynomial time equivalence finding.  While it would be fun to play with such algorithms, they are often not practical.</div><div><br></div><div>Yes, fair enough. I thought that might be the case. A lot of the examples in the papers seem a bit contrived anyway, so it would be interesting to know just how many "real" opportunities are being missed.</div><div><br></div>>  <span style="line-height:1.5">The one i saw some hope for was </span><a href="http://link.springer.com/chapter/10.1007%2F978-3-540-76637-7_22" target="_blank" style="line-height:1.5">http://link.springer.com/chapter/10.1007%2F978-3-540-76637-7_22</a><div>> I haven't had a chance to play with it.</div><div><br></div><div>This looks very promising, thank you.</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, 4 May 2016 at 11:01 Daniel Berlin <<a href="mailto:dberlin@dberlin.org">dberlin@dberlin.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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></div></div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><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>
</blockquote></div>