[llvm-commits] dependence analysis

Sebastian Pop spop at codeaurora.org
Thu Oct 11 00:36:01 PDT 2012


Tested on x86-linux with cmake+ninja.
Committed r165708.

Thanks,
Sebastian

On Wed, Oct 10, 2012 at 11:25 PM, Preston Briggs
<preston.briggs at gmail.com> wrote:
> This is an updated version of the dependence-analysis patch, including an
> MIV test based on Banerjee's inequalities.
>
> It's a fairly complete implementation of the paper
>
> Practical Dependence Testing
> Gina Goff, Ken Kennedy, and Chau-Wen Tseng
> PLDI 1991
>
>
> It cannot yet propagate constraints between coupled RDIV subscripts
> (discussed in Section 5.3.2 of the paper).
>
> It's organized as a FunctionPass with a single entry point that supports
> testing for dependence between two instructions in a function. If there's no
> dependence, it returns null. If there's a dependence, it returns a pointer
> to a Dependence which can be queried about details (what kind of dependence,
> is it loop independent, direction and distance vector entries, etc). I
> haven't included every imaginable feature, but there's a good selection that
> should be adequate for supporting many loop transformations. Of course, it
> can be extended as necessary.
>
> Included in the patch file are many test cases, commented with C code
> showing the loops and array references.
>
> Thanks,
> Preston
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>



-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum,
hosted by The Linux Foundation



More information about the llvm-commits mailing list