<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 15, 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"><span class="">On Mon, Dec 15, 2014 at 5:10 PM, Chandler Carruth <<a href="mailto:chandlerc@gmail.com">chandlerc@gmail.com</a>> wrote:<br>
><br>
> On Thu, Dec 11, 2014 at 12:07 PM, Bruno Cardoso Lopes<br>
> <<a href="mailto:bruno.cardoso@gmail.com">bruno.cardoso@gmail.com</a>> wrote:<br>
>><br>
>> Do you recall any specific reason for commenting out this assertion?<br>
>> Compile time performance?<br>
><br>
><br>
> No, it fired constantly and everywhere. =/<br>
><br>
> Back when I was hacking on this, the loop pass manager would invalidate<br>
> LCSSA form for loops outside of the specific layer of the loop nest it was<br>
> visiting, and thus this assert would trigger. I tried to fix many such<br>
> issues, but while I managed to fix everything I actually saw happen in the<br>
> wild, I wasn't able to turn it on without triggering rampant asserts.<br>
<br>
</span>I see, I can imagine that happening very often indeed.<br>
<span class=""><br>
>><br>
>> I just sent out a patch to fix a issue in LCSSA and having this on<br>
>> would have catch that before, I was wondering about turning it on<br>
>> again.<br>
><br>
><br>
> Yea, it would be really nice to check this kind of stuff, but I'm quite<br>
> worried about how much it will end up firing in places that (today) don't<br>
> matter. I left the commented out assert it to help debug actual PRs that<br>
> came up in practice which ended up having to do with this. That said, fixes<br>
> here seem really good to have; if we could actually turn it on that would be<br>
> amazing.<br>
<br>
</span>Cool, now that I know the reasons I'm aware of all the nightmare this<br>
can lead to.<br>
Will try it out and see what happens.<br>
<br>
Thanks for the detailed explanation :-)</blockquote></div><br>Sure, but I wonder, is there a better way to document this? Having to dig through commit history isn't exactly friendly.</div></div>