<div>Erkan, you're right. Sorry about that.</div><div>Attached is the most recent version.</div><div><br></div><div>Preston</div><div><br></div><div><br></div><div><br></div><div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">


<span style="font-family:arial,sans-serif;font-size:13px">Hi Preston,</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">I am trying to use DA as well. I used your example and commands that you wrote in order to get DA information. </span><br style="font-family:arial,sans-serif;font-size:13px">


<span style="font-family:arial,sans-serif;font-size:13px">However, it does not report any dependence info. </span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">I am wondering whether your local copy differs from the one on the repository ?</span><br style="font-family:arial,sans-serif;font-size:13px">


<span style="font-family:arial,sans-serif;font-size:13px">Thanks.<br></span><span style="font-family:arial,sans-serif;font-size:13px">Erkan.</span></blockquote><br><br><div class="gmail_quote">---------- Forwarded message ----------<br>


From: <b class="gmail_sendername">Preston Briggs</b> <span dir="ltr"><<a href="mailto:preston.briggs@gmail.com" target="_blank">preston.briggs@gmail.com</a>></span><br>
Date: Wed, Nov 7, 2012 at 12:51 PM<br>Subject: DependenceAnalysis patch<br>To: "<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a>" <<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a>>, Chandler Carruth <<a href="mailto:chandlerc@google.com" target="_blank">chandlerc@google.com</a>>, Hal Finkel <<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>>, Benjamin Kramer <<a href="mailto:benny.kra@gmail.com" target="_blank">benny.kra@gmail.com</a>><br>



<br><br>Here's a patch that covers the problems reported by Chandler last week.<div>It checks the base pointer of each GEP to be sure they are loop invariant. The patch also updates the -analyze functionality so that all pairs of memory references are tested. Finally, all the test cases have been updated.</div>




<div><br></div><div>I haven't yet updated DA to analyze pairs of pointer dereferences. I wanted to get the initial correction in place first. I also expect that analyzer pointer derefs will benefit from delinearization and am hoping it gets incorporated soon.</div>




<div><br></div><div>If someone could review this change and check it in, if appropriate, I'd be obliged.</div><div><br></div><div>Thanks,</div><div>Preston</div><div><br></div>
</div><br></div>