<div dir="ltr">On 2 November 2013 05:59, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><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 class="HOEnZb"><div class="h5">> I would be scared to enable SCEV AA because it's not well tested<br>
<br>
</div></div>This seems like a solvable problem. SCEV AA itself is something like 30 lines of non-boilerplate code, and essentially does one thing (calls getMinusSCEV in both directions and uses getUnsignedRange on the result). We should look it over.<br>
</blockquote><div></div></div><br></div><div class="gmail_extra">If SCEV AA itself is conservative, the worst that can happen is that it won't detect all cases it could, but we can extend it later. It seems to me that this piece of code was added as an experiment and never updated, but since it's already there, we could come up with a few tests that would check the boundaries of a 30 loc piece, no?</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">--renato</div></div>