[Bug tree-optimization/17672] New: ICE in build_classic_dist_vector

[Bug tree-optimization/17672] New: ICE in build_classic_dist_vector

[opticcow at linux-militia dot net]

gcc build fails

configured with:

../gcc/configure --prefix=/beta --enable-shared --enable-languages=c,c++,objc
--enable-threads=posix --enable-__cxa_atexit --enable-libada --disable-libgcj

built with:

make BOOT_CFLAGS="-save-temps -march=pentium4 -O3 -fweb -fprefetch-loop-arrays
-funroll-loops -fpeel-loops -fmodulo-sched -ftree-loop-linear  -fsched-spec-load
 -mfpmath=sse -maccumulate-outgoing-args -momit-leaf-frame-pointer"
STAGE1_CFLAGS="-march=pentium4 -O2 -fweb -fprefetch-loop-arrays -funroll-loops
-fpeel-loops -fsched-spec-load -mfpmath=sse -pipe" bootstrap

fails with:

stage1/xgcc -Bstage1/ -B/beta/i686-pc-linux-gnu/bin/ -c   -save-temps
-march=pentium4 -O3 -fweb -fprefetch-loop-arrays -funroll-loops -fpeel-loops
-fmodulo-sched -ftree-loop-linear  -fsched-spec-load  -mfpmath=sse
-maccumulate-outgoing-args -momit-leaf-frame-pointer -DIN_GCC   -W -Wall
-Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -pedantic
-Wno-long-long -Wno-variadic-macros -Wold-style-definition  -fno-common  
-DHAVE_CONFIG_H    -I. -I. -I../../gcc/gcc -I../../gcc/gcc/.
-I../../gcc/gcc/../include -I../../gcc/gcc/../libcpp/include 
../../gcc/gcc/sbitmap.c -o sbitmap.o
../../gcc/gcc/sbitmap.c: In function 'dump_sbitmap_vector':
../../gcc/gcc/sbitmap.c:753: internal compiler error: in
build_classic_dist_vector, at tree-data-ref.c:1525

Will attach .i

-- 
           Summary: ICE in build_classic_dist_vector
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: opticcow at linux-militia dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] ICE in build_classic_dist_vector

[opticcow at linux-militia dot net]

------- Additional Comments From opticcow at linux-militia dot net  2004-09-25 23:29 -------
Created an attachment (id=7219)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7219&action=view)
Preprocessed source

sbitmap.i

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] ICE in build_classic_dist_vector

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-25 23:36 -------
I know that I saw this before (in SPEC).
I also can confirm this on powerpc-darwin (I have not reduced the source yet).
only "-O3 -ftree-loop-linear" is needed to reproduce it.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org
  GCC build triplet|i686-pc-linux-gnu           |
           Keywords|                            |ice-on-valid-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-25 23:56 -------
Reduced testcase:
typedef struct simple_bitmap_def { int elms[1]; } *sbitmap;
void dump_sbitmap_vector (sbitmap *bmaps)
{
  int bb;
  for (bb = 0; bb < 10; bb++)
  {
    sbitmap bmap;
    unsigned int i, n;
    bmap = bmaps[bb];
      
    for (i = 0; i < 10; i++)
      for (n = 0; n < 20; n++)
	bmap->elms[i]++;
  }
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-25 23:56:01
               date|                            |
            Summary|ICE in                      |[4.0 Regression] ICE in
                   |build_classic_dist_vector   |build_classic_dist_vector
   Target Milestone|---                         |4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-26 00:01 -------
Something little shorter:
typedef struct simple_bitmap_def { int elms[1]; } *sbitmap;
void dump_sbitmap_vector (sbitmap bmap)
{
  int bb, i, n;
  for (bb = 0; bb < 10; bb++)
    for (i = 0; i < 10; i++)
      for (n = 0; n < 20; n++)
	bmap->elms[i]++;
}

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[opticcow at linux-militia dot net]

------- Additional Comments From opticcow at linux-militia dot net  2004-09-26 03:47 -------
> only "-O3 -ftree-loop-linear" is needed to reproduce it.

Was able to reproduce with just "-O -ftree-loop-linear" using testcase below.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2004-09-26 04:19 -------
This is fixed on lno, and will be fixed on mainline just as soon as the
tree-data-ref merge happens.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2004-10-07 17:32 -------
Patch here
http://gcc.gnu.org/ml/gcc-patches/2004-10/msg00308.html

should fix it.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2004-10-17 00:20 -------
Actually, this just lets us run into another bug, i'm about to submit a patch to
fix bootstrap fully with -ftree-loop-linear

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dberlin at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2004-10-17 17:38 -------
Patch here http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01360.html

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-01 18:08 -------
Subject: Bug 17672

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dberlin@gcc.gnu.org	2004-11-01 18:08:03

Modified files:
	gcc            : ChangeLog lambda-code.c tree-data-ref.c 
	                 tree-loop-linear.c tree-optimize.c 
Added files:
	gcc/testsuite/gcc.dg/tree-ssa: ltrans-1.c ltrans-2.c ltrans-3.c 
	                               ltrans-4.c ltrans-5.c 

Log message:
	2004-10-16  Daniel Berlin  <dberlin@dberlin.org>
	
	Fix PR tree-optimization/17672
	Fix PR tree-optimization/18168
	
	* lambda-code.c (lambda_lattice_compute_base): Fix reversed
	assert test.
	(gcc_tree_to_linear_expression): Add extra to existing constant.
	(depth_of_nest): Factor out function used in various places.
	(gcc_loop_to_lambda_loop): Clean up code a little bit. No
	functional changes.
	(find_induction_var_from_exit_cond): Stop guessing, and just
	get the right answer :).
	(gcc_loopnest_to_lambda_loopnest): Remove useless pre-allocation.
	Print out message about result of attempt to create perfect nest.
	(lbv_to_gcc_expression): Add type argument, use it to do math
	and induction variable creation.
	(lle_to_gcc_expression): Ditto.
	(lambda_loopnest_to_gcc_loopnest): Create new iv with same type as
	oldiv. Pass type argument to lle_to_gcc_expression and
	lbv_to_gcc_expression.
	Reset number of iterations after transformation.
	(perfect_nestify): Remove useless pre-allocation, and cleanup
	a small amount.
	
	* tree-data-ref.c (build_classic_dist_vector): Return false for
	dependences completely outside of the loop nest we asked about.
	(build_classic_dir_vector): Ditto.
	(compute_data_dependences_for_loop): Only add dependence relations
	inside the loop we asked about.
	
	* tree-loop-linear.c (linear_transform_loops): Use DDR_SIZE_VECT.
	Compute immediate uses.
	
	* tree-optimize.c: Move linear_transform_loops to before ivcanon.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6120&r2=2.6121
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/lambda-code.c.diff?cvsroot=gcc&r1=2.16&r2=2.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-data-ref.c.diff?cvsroot=gcc&r1=2.14&r2=2.15
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-loop-linear.c.diff?cvsroot=gcc&r1=2.2&r2=2.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-optimize.c.diff?cvsroot=gcc&r1=2.59&r2=2.60
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/ltrans-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/ltrans-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/ltrans-3.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/ltrans-4.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/ltrans-5.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672

[Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2004-11-01 19:21 -------
Fixed

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17672