search for: vanengelen04array

...ures, tests and/or interface are welcome. I'd suggest looking at: Using the chains of recurrences algebra for data dependence testing and induction variable substitution MS Thesis, Johnie Birch Array Data Dependence Testing with the Chains of Recurrences Algebra http://citeseer.ist.psu.edu/vanengelen04array.html An empirical evaluation of chains of recurrences for array dependence testing http://doi.acm.org/10.1145/1152154.1152198 etc. >> From my experience I can say it's essential to use a precise alias > analysis as the base for the array dependence analysis. Fortunately, > usin...

.... > I'd suggest looking at: > > Using the chains of recurrences algebra for data dependence testing > and induction variable substitution > MS Thesis, Johnie Birch > > Array Data Dependence Testing with the Chains of Recurrences Algebra > http://citeseer.ist.psu.edu/vanengelen04array.html > > An empirical evaluation of chains of recurrences for array dependence > testing > http://doi.acm.org/10.1145/1152154.1152198 I've read the second one, but am not sure if it's easy to implement if overflow and unknown signedness are taken into account. For now, I wil...

Hi, > As part of the advanced compilers course semester project (at UIUC), we > are starting to implement array dependence analysis for LLVM. I'm currently working on a similar project and hoping to finish it in about two weeks. I am going to share the code when it's ready. I've spent some time analyzing LLVM code for scientific and "ordinary" programs to find out

As part of the advanced compilers course semester project (at UIUC), we are starting to implement array dependence analysis for LLVM. As of now we are considering GCD and Banerjee tests. Any suggestion on features, tests and/or interface are welcome. Our deadline is at the beginning of may so hopefully by then we will have a working prototype to submit. -- Alexandre X. Duchâteau & Albert

...looking at: >> >> Using the chains of recurrences algebra for data dependence testing >> and induction variable substitution >> MS Thesis, Johnie Birch >> >> Array Data Dependence Testing with the Chains of Recurrences Algebra >> http://citeseer.ist.psu.edu/vanengelen04array.html >> >> An empirical evaluation of chains of recurrences for array dependence >> testing >> http://doi.acm.org/10.1145/1152154.1152198 > >I've read the second one, but am not sure if it's easy to implement if >overflow and unknown signedness are taken int...

...looking at: >> >> Using the chains of recurrences algebra for data dependence testing >> and induction variable substitution >> MS Thesis, Johnie Birch >> >> Array Data Dependence Testing with the Chains of Recurrences Algebra >> http://citeseer.ist.psu.edu/vanengelen04array.html >> >> An empirical evaluation of chains of recurrences for array dependence >> testing >> http://doi.acm.org/10.1145/1152154.1152198 > > I've read the second one, but am not sure if it's easy to implement if > overflow and unknown signedness are taken i...