On Wed, Oct 7, 2009 at 12:30, Roberto Bagnara bagnara@cs.unipr.it wrote:
Sebastian Pop wrote:
I would like to know whether there exists a parametric integer linear programming solver that can be called from the PPL interface, or how we could use from PPL an existing solver, like http://piplib.org
We would need such a tool to improve the precision of the data dependence analysis of Graphite by computing the reaching definitions of array accesses.
Hi there.
I am very happy to announce that, mainly thanks to the excellent work of François Galea, the PPL now incorporates a parametric integer linear programming solver. We are currently adding a C interface to it, and we would like the Graphite people to help us testing it. In the next few days we will submit a tentative documentation for the C interface, so that you can provide us with feedback. Once the interfaces are agreed upon, we will prepare a snapshot for you to play with (for your convenience only, as the PPL is in constant release mode: you can find all the code in the `pip' branch of the central PPL Git repository).
Awesome! Thanks to everyone who contributed to make this happen.
I will work on a prototype that will use this solver in the data dependence analysis of Graphite, and will let you know how it works.
Sebastian