.cloog file parsing - different with different backends

[Uday K Bondhugula]

With the attached .cloog,

$ cloog-polylib-0.16.1/cloog dicho.cloog

runs fine, but

$ cloog-polylib-0.16.1/cloog -f 8 -l 10 dicho.cloog
[CLooG] WARNING: some scattering functions are similar.
[CLooG] INFO: 4 dimensions (over 10) are scalar.
Segmentation fault (core dumped)

With cloog-isl 0.17.0, both run fine. I thought both used the same file
reading code.

Some of the statements here have multiple domains, and I used 'number of
domains' explicitly (even if it was 1).

1 # of domains
13 14
1 0 0 0 1 0 0 0 0 0 0 0 0 0
1 0 0 0 -1 0 0 0 0 1 0 0 0 -1
1 0 0 0 0 1 0 0 0 0 0 0 0 -1
1 0 0 0 0 -1 0 1 0 0 0 0 0 -1
1 0 0 0 0 0 1 0 0 0 0 0 0 0
1 0 0 0 0 0 -1 0 1 0 0 0 0 -1
1 -32 0 0 1 0 0 0 0 0 0 0 0 0
1 32 0 0 -1 0 0 0 0 0 0 0 0 31
1 0 -32 0 1 0 1 0 0 0 0 0 0 0
1 0 32 0 -1 0 -1 0 0 0 0 0 0 31
1 0 0 -32 1 1 0 0 0 0 0 0 0 0
1 0 0 32 -1 -1 0 0 0 0 0 0 0 31
1 0 0 0 0 0 0 0 0 0 0 1 0 -1
0 0 0

Thanks,
-Uday

[Sven Verdoolaege]

On Sat, Mar 31, 2012 at 11:07:27AM +0530, Uday K Bondhugula wrote:
>
> With the attached .cloog,
>
> $ cloog-polylib-0.16.1/cloog dicho.cloog
>
> runs fine, but
>
> $ cloog-polylib-0.16.1/cloog -f 8 -l 10 dicho.cloog
> [CLooG] WARNING: some scattering functions are similar.
> [CLooG] INFO: 4 dimensions (over 10) are scalar.
> Segmentation fault (core dumped)
>
> With cloog-isl 0.17.0, both run fine. I thought both used the same
> file reading code.

What makes you think there's a problem in the parsing?

Anyway, in case the maintainers are still interested in cloog-polylib,
I gave them access to the repo and pushed out my latest changes.

The actual problem should be easy enough to fix.
It looks like you just have to change some i's to 0's.

skimo

[Uday Kumar Reddy B]

On Sat, Mar 31, 2012 at 1:06 PM, Sven Verdoolaege <skimo...@kotnet.org> wrote:

On Sat, Mar 31, 2012 at 11:07:27AM +0530, Uday K Bondhugula wrote:
>
> With the attached .cloog,
>
> $ cloog-polylib-0.16.1/cloog    dicho.cloog
>
> runs fine, but
>
> $ cloog-polylib-0.16.1/cloog -f 8 -l 10    dicho.cloog
> [CLooG] WARNING: some scattering functions are similar.
> [CLooG] INFO: 4 dimensions (over 10) are scalar.
> Segmentation fault (core dumped)
>
> With cloog-isl 0.17.0, both run fine.  I thought both used the same
> file reading code.

What makes you think there's a problem in the parsing?

$ cloog-polylib-0.16.1/cloog  dicho1.cloog
[CLooG] ERROR: Input error.

cloog-isl 0.17.0

$ cloog  dicho1.cloog

[CLooG] WARNING: some scattering functions are similar.
[CLooG] INFO: 4 dimensions (over 10) are scalar.

$

-Uday

 

Anyway, in case the maintainers are still interested in cloog-polylib,
I gave them access to the repo and pushed out my latest changes.

The actual problem should be easy enough to fix.
It looks like you just have to change some i's to 0's.

skimo

--
You got this message because you subscribed to the CLooG Development mailing list.
To send messages to this list, use cloog-de...@googlegroups.com
To stop subscribing, send a mail to cloog-developm...@googlegroups.com
For more options and to visit the group, http://groups.google.fr/group/cloog-development?hl=en