Dependence Analysis

Simone Pellegrini <motonacciu@gmail.com>
Thu, 17 Jun 2010 01:28:24 -0700 (PDT)

          From comp.compilers
Related articles
Dependence Analysis motonacciu@gmail.com (Simone Pellegrini) (2010-06-17)
| List of all articles for this month |
From: Simone Pellegrini <motonacciu@gmail.com>
Newsgroups: comp.compilers
Date: Thu, 17 Jun 2010 01:28:24 -0700 (PDT)
Organization: Compilers Central
Keywords: analysis, question
Posted-Date: 17 Jun 2010 13:19:37 EDT

Dear all,
I am developing a source-to-source compiler based on LLVM/clang. Now I
find myself in a situation where I need dependence analysis. I know
there are some efforts in building dependence analysis in LLVM based
on the IR representation but I need dependence analysis at the AST
level. I was looking at the state of the art in production compilers
(like GCC and Open64) and the only reasonable way to go seems to be
the Polyhedral model (which will also simplify loop transformations).


The main problem is that there are several libraries used to solve the
integer linear programming model and I have hard time finding the
best. I read several technical papers related to GRAPHITE (the
polyhedral optimization framework in GCC) and it seems they internally
uses several different libraries for solving the ILP (Omega, PIP,
PolyLib, ...). My question is, what library should I stick with? Omega
seems widely accepted but it's no longer developed. I really
appreciate any help.


cheers, Simone


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.