[Bug tree-optimization/53571] [4.6/4.7/4.8 regression] ICE with -O{2,3} -floop-parallelize-all in cloog_domain_stride()

2012-06-05 Thread burnus at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53571

Tobias Burnus burnus at gcc dot gnu.org changed:

   What|Removed |Added

 CC||burnus at gcc dot gnu.org

--- Comment #4 from Tobias Burnus burnus at gcc dot gnu.org 2012-06-05 
21:03:03 UTC ---
(In reply to comment #1)
 Please specify the cloog/ppl versions you are using.  What target is this on?

I can reproduce it with the current GCC trunk on openSUSE Factory (x86-64)
[package libcloog0-debuginfo-0.15.10+ppl-9.8].

Program received signal SIGSEGV, Segmentation fault.

#0  0x2ace1656 in cloog_domain_stride (domain=optimized out,
strided_level=optimized out, 
nb_par=optimized out, stride=0x7fffd5e0, offset=0x7fffd5d0) at
source/ppl/domain.c:2813
#1  0x2acd7b21 in cloog_loop_stride_1 (nb_par=2, level=1,
loop=0x15a8c20) at source/loop.c:1077
#2  cloog_loop_generate_general (loop=0x0, level=1, scalar=1,
scaldims=0x158b000, nb_scattdims=3, 
nb_par=optimized out, options=0x1596780) at source/loop.c:1371
#3  0x2acd71f3 in cloog_loop_generate_scalar (options=0x1596780,
nb_par=2, nb_scattdims=3, 
scaldims=0x158b000, scalar=0, level=1, loop=0x159c930) at
source/loop.c:1489
#4  cloog_loop_generate (loop=optimized out, context=0x0, level=1, scalar=0,
scaldims=0x158b000, 
nb_scattdims=3, nb_par=2, options=0x1596780) at source/loop.c:1573
#5  0x2ace834b in cloog_program_generate (program=0x1595d00,
options=0x1596780) at source/program.c:687
#6  0x00cd34b5 in scop_to_clast (scop=0x158e890)
at /home/tob/projects/gcc-git/gcc/gcc/graphite-clast-to-gimple.c:1551
#7  0x00cd36d5 in gloog (scop=0x158e890, bb_pbb_mapping=0x158e4f0)
at /home/tob/projects/gcc-git/gcc/gcc/graphite-clast-to-gimple.c:1632
#8  0x00cd078e in graphite_transform_loops () at
/home/tob/projects/gcc-git/gcc/gcc/graphite.c:276
#9  0x009e2c87 in graphite_transforms () at
/home/tob/projects/gcc-git/gcc/gcc/tree-ssa-loop.c:254

The failing line is:
  cloog_vector_gcd (U-p[0], U-NbColumns, stride);
The problem is that U-p == NULL.

And U is initialized via cloog_solve_diophantine,
  cloog_matrix_hermite (temp, hermi, unimod);
  rank = cloog_dio_get_first_diagonal_zero (hermi);
  nbc = temp-NbColumns;
...
  *u = cloog_dio_init_U (unimodinv, hermi-NbColumns, rank);

In the latter, one has:
  if (rank == n)
return cloog_matrix_alloc (0, 0);

And according to gdb rank==2 (the other arguments are optimized out). Well, and
for a 0 argument, cloog_matrix_alloc sets u-p to NULL.


[Bug tree-optimization/53571] [4.6/4.7/4.8 regression] ICE with -O{2,3} -floop-parallelize-all in cloog_domain_stride()

2012-06-04 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53571

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2012-06-04
   Target Milestone|--- |4.6.4
 Ever Confirmed|0   |1

--- Comment #1 from Richard Guenther rguenth at gcc dot gnu.org 2012-06-04 
10:07:39 UTC ---
Please specify the cloog/ppl versions you are using.  What target is this on?


[Bug tree-optimization/53571] [4.6/4.7/4.8 regression] ICE with -O{2,3} -floop-parallelize-all in cloog_domain_stride()

2012-06-04 Thread xarthisius.kk at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53571

--- Comment #2 from Kacper Kowalik xarthisius.kk at gmail dot com 2012-06-04 
10:11:09 UTC ---
(In reply to comment #1)
 Please specify the cloog/ppl versions you are using.  What target is this on?

dev-libs/cloog-ppl-0.15.10
dev-libs/ppl-0.11.2-r1

Using built-in specs.
COLLECT_GCC=/usr/x86_64-pc-linux-gnu/gcc-bin/4.6.3/gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/4.6.3/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /dev/shm/portage/sys-devel/gcc-4.6.3/work/gcc-4.6.3/configure
--prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/4.6.3
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.6.3/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.3
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.3/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.6.3/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.6.3/include/g++-v4
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec
--disable-fixed-point --with-ppl --with-cloog --disable-ppl-version-check
--with-cloog-include=/usr/include/cloog-ppl --enable-lto --enable-nls
--without-included-gettext --with-system-zlib --enable-obsolete
--disable-werror --enable-secureplt --enable-multilib --enable-libmudflap
--disable-libssp --enable-libgomp
--with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/4.6.3/python
--enable-checking=release --disable-libgcj --enable-languages=c,c++,fortran
--enable-shared --enable-threads=posix --enable-__cxa_atexit
--enable-clocale=gnu --enable-targets=all --with-bugurl=http://bugs.gentoo.org/
--with-pkgversion='Gentoo 4.6.3 p1.3, pie-0.5.1'
Thread model: posix
gcc version 4.6.3 (Gentoo 4.6.3 p1.3, pie-0.5.1)


[Bug tree-optimization/53571] [4.6/4.7/4.8 regression] ICE with -O{2,3} -floop-parallelize-all in cloog_domain_stride()

2012-06-04 Thread xarthisius.kk at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53571

--- Comment #3 from Kacper Kowalik xarthisius.kk at gmail dot com 2012-06-04 
18:23:12 UTC ---
Git bisect show this revision as a culprit:
http://gcc.gnu.org/viewcvs?view=revisionrevision=163142