[LLVMdev] loop carried dependence analysis?

[Preston Briggs]

Erkan, you're right. Sorry about that.
Attached is the most recent version.

Preston



Hi Preston,
> I am trying to use DA as well. I used your example and commands that you
> wrote in order to get DA information.
> However, it does not report any dependence info.
> I am wondering whether your local copy differs from the one on the
> repository ?
> Thanks.
> Erkan.



---------- Forwarded message ----------
From: Preston Briggs <preston.briggs at gmail.com>
Date: Wed, Nov 7, 2012 at 12:51 PM
Subject: DependenceAnalysis patch
To: "llvm-commits at cs.uiuc.edu" <llvm-commits at cs.uiuc.edu>, Chandler Carruth
<chandlerc at google.com>, Hal Finkel <hfinkel at anl.gov>, Benjamin Kramer <
benny.kra at gmail.com>


Here's a patch that covers the problems reported by Chandler last week.
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.

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.

If someone could review this change and check it in, if appropriate, I'd be
obliged.

Thanks,
Preston
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121112/ae8e59cd/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: da.patch
Type: application/octet-stream
Size: 293860 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121112/ae8e59cd/attachment.obj>