* [Bug tree-optimization/17672] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
@ 2004-09-25 23:29 ` opticcow at linux-militia dot net
2004-09-25 23:36 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: opticcow at linux-militia dot net @ 2004-09-25 23:29 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
2004-09-25 23:29 ` [Bug tree-optimization/17672] " opticcow at linux-militia dot net
@ 2004-09-25 23:36 ` pinskia at gcc dot gnu dot org
2004-09-25 23:56 ` [Bug tree-optimization/17672] [4.0 Regression] " pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-25 23:36 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
2004-09-25 23:29 ` [Bug tree-optimization/17672] " opticcow at linux-militia dot net
2004-09-25 23:36 ` pinskia at gcc dot gnu dot org
@ 2004-09-25 23:56 ` pinskia at gcc dot gnu dot org
2004-09-26 0:01 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-25 23:56 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (2 preceding siblings ...)
2004-09-25 23:56 ` [Bug tree-optimization/17672] [4.0 Regression] " pinskia at gcc dot gnu dot org
@ 2004-09-26 0:01 ` pinskia at gcc dot gnu dot org
2004-09-26 3:47 ` opticcow at linux-militia dot net
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-26 0:01 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (3 preceding siblings ...)
2004-09-26 0:01 ` pinskia at gcc dot gnu dot org
@ 2004-09-26 3:47 ` opticcow at linux-militia dot net
2004-09-26 4:19 ` dberlin at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: opticcow at linux-militia dot net @ 2004-09-26 3:47 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (4 preceding siblings ...)
2004-09-26 3:47 ` opticcow at linux-militia dot net
@ 2004-09-26 4:19 ` dberlin at gcc dot gnu dot org
2004-10-07 17:32 ` dberlin at gcc dot gnu dot org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2004-09-26 4:19 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (5 preceding siblings ...)
2004-09-26 4:19 ` dberlin at gcc dot gnu dot org
@ 2004-10-07 17:32 ` dberlin at gcc dot gnu dot org
2004-10-17 0:20 ` dberlin at gcc dot gnu dot org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2004-10-07 17:32 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (6 preceding siblings ...)
2004-10-07 17:32 ` dberlin at gcc dot gnu dot org
@ 2004-10-17 0:20 ` dberlin at gcc dot gnu dot org
2004-10-17 17:38 ` dberlin at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2004-10-17 0:20 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (7 preceding siblings ...)
2004-10-17 0:20 ` dberlin at gcc dot gnu dot org
@ 2004-10-17 17:38 ` dberlin at gcc dot gnu dot org
2004-11-01 18:08 ` cvs-commit at gcc dot gnu dot org
2004-11-01 19:21 ` dberlin at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2004-10-17 17:38 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (8 preceding siblings ...)
2004-10-17 17:38 ` dberlin at gcc dot gnu dot org
@ 2004-11-01 18:08 ` cvs-commit at gcc dot gnu dot org
2004-11-01 19:21 ` dberlin at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-11-01 18:08 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug tree-optimization/17672] [4.0 Regression] ICE in build_classic_dist_vector
2004-09-25 23:28 [Bug tree-optimization/17672] New: ICE in build_classic_dist_vector opticcow at linux-militia dot net
` (9 preceding siblings ...)
2004-11-01 18:08 ` cvs-commit at gcc dot gnu dot org
@ 2004-11-01 19:21 ` dberlin at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2004-11-01 19:21 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 12+ messages in thread