<div dir="ltr">I actually went a bit farther.<div>I generated something that covers pretty much all the domtree it sees as well.</div><div><br>It ends up being about 390k testcases.</div><div><br></div><div>I've attached the generator (thoughts on whether it should go in utils/ welcome).</div><div><br></div><div>You can obviously generate more if you want (IE you could make the thing list permutations of size 2), but this suffices to cover every actual case that comes up for the stack (loops are not necessary since the domtree is acylic anyway), and doing that generates billions and billions of testcases.</div><div><br></div><div>In any case, you can find interesting failures in all previous versions.</div><div>This patch ends up clean.</div><div><br></div><div>You can run by piping the output to opt -memoryssa </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Aug 7, 2016 at 1:02 PM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">So, ...<div>I enumerated literally all of the possibilities of conflict/noconflict pushes and pops, and it's about .... 1000 testcases.</div><div>I am going to try to see if i can't combine some without loss of functionality.</div><div><br></div><div>(Note that all previous versions of the use optimizer fail some set of cases, with this patch it fails none of them :P)</div><div><br></div><div><br></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 6, 2016 at 4:13 PM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">They are coming<div><div><br><br><div class="gmail_quote"><div dir="ltr">On Sat, Aug 6, 2016, 4:00 PM Sebastian Pop <<a href="mailto:sebpop@gmail.com" target="_blank">sebpop@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">sebpop added a comment.<br>
<br>
You may want to add the testcases you were speaking about that break the logic of checking the stack size.<br>
<br>
<br>
<a href="https://reviews.llvm.org/D23237" rel="noreferrer" target="_blank">https://reviews.llvm.org/D2323<wbr>7</a><br>
<br>
<br>
<br>
</blockquote></div></div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>