<div dir="ltr">On 15 October 2013 22:11, 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"><span style="color:rgb(34,34,34)">I made use of SCEV everywhere that I could (I think). SCEV is used to analyze the induction variables, and then at the end to help with the rewriting. I don't think that I can use SCEV everywhere, however. For one thing, I need to check for equivalence of instructions, with certain substitutions, for instructions (like function calls) that SCEV does not interpret.</span></div>
</div></blockquote><div></div></div><br></div><div class="gmail_extra">Hi Hal,</div><div class="gmail_extra"><br></div><div class="gmail_extra">This is probably my lack of understanding of all that SCEV does than anything else.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">My comment was to the fact that you seem to be investigating specific cases (multiply, adding, increment size near line 240), which SCEV could get that as an expression, and possibly making it slightly easier to work with. I'll let other SCEV/LV experts to chime in, because I basically don't know what I'm talking about, here. ;)</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">cheers,</div><div class="gmail_extra">--renato</div></div>