<div dir="ltr">Thanks Sebastian. I'll work on the review.<div><br></div><div>Preston</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Oct 21, 2013 at 2:49 PM, Sebastian Pop <span dir="ltr"><<a href="mailto:spop@codeaurora.org" target="_blank">spop@codeaurora.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<div class="im"><br>
Andrew Trick wrote:<br>
><br>
> On Oct 10, 2013, at 11:43 AM, Sebastian Pop <<a href="mailto:spop@codeaurora.org">spop@codeaurora.org</a>> wrote:<br>
</div><div class="im">> > Probably an easier way would be to implement an ad-hoc pattern matching to<br>
> > figure out whether Step occurs in each operand of Start, and that would also<br>
> > give me a simple way to compute the remainder in case it does not divide one of<br>
> > the operands.<br>
> ><br>
> > Let me know what would be the best to implement.<br>
><br>
> Sure. Sameer pointed out in this thread that the general problem is one of<br>
> finding a GCD of the start and step. But in this situation there's nothing<br>
> wrong with pattern matching common cases.<br>
<br>
</div>Thanks Andy for your guidance on this.  Attached is the delinearization<br>
implemented on top of SCEV analysis with pattern matching implementation of gcd<br>
and div.  I have added all testcases from the original patch of Hal (also<br>
attached for reference) all these testcases pass with no regressions (with<br>
respect to Hal's implementation.)<br>
<br>
I have also integrated the delinearization in Preston's dependence analysis.  I<br>
have updated the test-suite with what is now recognized as dependences with the<br>
-da-delinearize flag turned on.  Preston, could you please review these changes,<br>
I am not sure I agree with all these changes to the test-suite, and that means<br>
we will have to adjust either the delinearization or the dependence analysis<br>
pass.<br>
<br>
Thanks for reviewing the two attached patches (Hal's patch is provided for<br>
reference purposes only),<br>
<div class="HOEnZb"><div class="h5"><br>
Sebastian<br>
--<br>
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum,<br>
hosted by The Linux Foundation<br>
</div></div></blockquote></div><br></div>