[llvm-commits] DependenceAnalysis patch

[Preston Briggs]

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-commits/attachments/20121107/3e6071b9/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-commits/attachments/20121107/3e6071b9/attachment.obj>