[PPL-devel] simplify_using_context() vs. cloog_domain_simplify()
Enea Zaffanella
zaffanella at cs.unipr.it
Wed Sep 17 21:00:50 CEST 2008
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).
If really impatient, you can try it with the CVS version.
Enea.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cloog_domain_simplify.c
Type: text/x-csrc
Size: 2413 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20080917/c277633a/attachment.c>
More information about the PPL-devel
mailing list