Enea Zaffanella wrote:
Sebastian Pop wrote:
Hi, [...] You are right, this is an implementation error in the cloog-ppl backend. [...] Yes, the result computed by the PPL is correct.
Sebastian
Sebastian,
if you are interested, I have ready (see attached file) a replacement of function cloog_simplify_domain that uses the PPL implementation: it translates the two cloog input domains into PPL powersets, do the job, and translates back the result into a cloog domain.
Note that in order to use this function you will have to wait for the next PPL snapshot (the last snapshot does not include a few fixes regarding the C interface for powersets).
Hi there, the new snapshot is online: ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre30.tar.bz2 Please, let us know how it goes. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it