* [Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
2008-12-17 23:24 [Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293 mitul dot thakkar at amd dot com
@ 2008-12-17 23:25 ` mitul dot thakkar at amd dot com
2008-12-22 19:42 ` hjagasia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: mitul dot thakkar at amd dot com @ 2008-12-17 23:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from mitul dot thakkar at amd dot com 2008-12-17 23:24 -------
Created an attachment (id=16918)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16918&action=view)
Reduced Test Case
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
2008-12-17 23:24 [Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293 mitul dot thakkar at amd dot com
2008-12-17 23:25 ` [Bug middle-end/38559] " mitul dot thakkar at amd dot com
@ 2008-12-22 19:42 ` hjagasia at gcc dot gnu dot org
2009-01-08 1:32 ` spop at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: hjagasia at gcc dot gnu dot org @ 2008-12-22 19:42 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from hjagasia at gcc dot gnu dot org 2008-12-22 19:41 -------
For the clast_stmt below:
if (midend_8 >= mid_10+1) {
for (s_3=0;s_3<=min(midend_8-mid_10-1,63);s_3++) {
S5(0,s_3) ;
}
}
graphite gets into
translate_clast:stmt_guard->graphite_create_new_guard->graphite_create_guard_cond_expr->graphite_translate_clast_equation->clast_to_gcc_expression
Finally graphite calls
fold_build2 (PLUS_EXPR, type, tl, tr);
which in turn calls
build2_stat (code, type, op0, op1, PASS_MEM_STAT);
Finally for the RHS of the clast guard equation "if (midend_8 >= mid_10+1)"
the following code is invoked:
if ((code == MINUS_EXPR || code == PLUS_EXPR || code == MULT_EXPR)
&& arg0 && arg1 && tt && POINTER_TYPE_P (tt))
gcc_assert (TREE_CODE (arg0) == INTEGER_CST || TREE_CODE (arg1) ==
INTEGER_CST);
For the RHS, "mid_10+1", the TREE_CODE of "mid_10" is SSA_NAME and that of "1"
is INTEGER_CST.
Hence the gcc_assert raises an assertion.
--
hjagasia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2008-12-22 19:41:18
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
2008-12-17 23:24 [Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293 mitul dot thakkar at amd dot com
2008-12-17 23:25 ` [Bug middle-end/38559] " mitul dot thakkar at amd dot com
2008-12-22 19:42 ` hjagasia at gcc dot gnu dot org
@ 2009-01-08 1:32 ` spop at gcc dot gnu dot org
2009-01-08 1:37 ` spop at gcc dot gnu dot org
2009-01-08 14:15 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-08 1:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from spop at gcc dot gnu dot org 2009-01-08 01:32 -------
Subject: Bug 38559
Author: spop
Date: Thu Jan 8 01:32:16 2009
New Revision: 143178
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143178
Log:
2009-01-07 Sebastian Pop <sebastian.pop@amd.com>
Jan Sjodin <jan.sjodin@amd.com>
PR tree-optimization/38559
* testsuite/gcc.dg/graphite/pr38559.c: New.
* graphite.c (debug_value, copy_constraint,
swap_constraint_variables, scale_constraint_variable, ): New.
(get_lower_bound, get_upper_bound): Removed.
(graphite_trans_bb_strip_mine): Clean up this code that works
only for constant number of iterations. Fully copy upper and
lower bound constraints, not only the constant part of them.
* graphite.h (debug_value): Declared.
Added:
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38559.c
Modified:
branches/graphite/gcc/ChangeLog.graphite
branches/graphite/gcc/graphite.c
branches/graphite/gcc/graphite.h
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
2008-12-17 23:24 [Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293 mitul dot thakkar at amd dot com
` (2 preceding siblings ...)
2009-01-08 1:32 ` spop at gcc dot gnu dot org
@ 2009-01-08 1:37 ` spop at gcc dot gnu dot org
2009-01-08 14:15 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-08 1:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from spop at gcc dot gnu dot org 2009-01-08 01:36 -------
Fixed.
--
spop at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
2008-12-17 23:24 [Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293 mitul dot thakkar at amd dot com
` (3 preceding siblings ...)
2009-01-08 1:37 ` spop at gcc dot gnu dot org
@ 2009-01-08 14:15 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-08 14:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from spop at gcc dot gnu dot org 2009-01-08 14:14 -------
Subject: Bug 38559
Author: spop
Date: Thu Jan 8 14:14:41 2009
New Revision: 143187
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143187
Log:
2009-01-07 Sebastian Pop <sebastian.pop@amd.com>
Jan Sjodin <jan.sjodin@amd.com>
PR tree-optimization/38559
* testsuite/gcc.dg/graphite/pr38559.c: New.
* graphite.c (debug_value, copy_constraint,
swap_constraint_variables, scale_constraint_variable, ): New.
(get_lower_bound, get_upper_bound): Removed.
(graphite_trans_bb_strip_mine): Clean up this code that works
only for constant number of iterations. Fully copy upper and
lower bound constraints, not only the constant part of them.
* graphite.h (debug_value): Declared.
Added:
trunk/gcc/testsuite/gcc.dg/graphite/pr38559.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite.c
trunk/gcc/graphite.h
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
^ permalink raw reply [flat|nested] 6+ messages in thread