<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 11, 2014 at 12:07 PM, Bruno Cardoso Lopes <span dir="ltr"><<a href="mailto:bruno.cardoso@gmail.com" target="_blank">bruno.cardoso@gmail.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":3tz" class="a3s" style="overflow:hidden">Do you recall any specific reason for commenting out this assertion?<br>
Compile time performance?<br></div></blockquote><div><br></div><div>No, it fired constantly and everywhere. =/</div><div><br></div><div>Back when I was hacking on this, the loop pass manager would invalidate LCSSA form for loops outside of the specific layer of the loop nest it was visiting, and thus this assert would trigger. I tried to fix many such issues, but while I managed to fix everything I actually saw happen in the wild, I wasn't able to turn it on without triggering rampant asserts.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":3tz" class="a3s" style="overflow:hidden">
I just sent out a patch to fix a issue in LCSSA <span class="il">and</span> having this on<br>
would have catch that before, I was wondering about turning it on<br>
again.</div></blockquote></div><br>Yea, it would be really nice to check this kind of stuff, but I'm quite worried about how much it will end up firing in places that (today) don't matter. I left the commented out assert it to help debug actual PRs that came up in practice which ended up having to do with this. That said, fixes here seem really good to have; if we could actually turn it on that would be amazing.</div></div>