[Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293

[Bug middle-end/38559] New: [graphite] ICE :in build2_stat, at tree.c:3293

[mitul dot thakkar at amd dot com]

During compilation, getting build2_stat failure.. Following is the description
for the same.

gcc -O2 -floop-block error_build_stat.c

error_build_stat.c: In function 'test':
error_build_stat.c:1: internal compiler error: in build2_stat, at tree.c:3293
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Reduced test case is attached for the same.

-Mitul Thakkar.


-- 
           Summary: [graphite] ICE :in build2_stat, at tree.c:3293
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mitul dot thakkar at amd dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293

[mitul dot thakkar at amd dot com]

------- 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

[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293

[hjagasia at gcc dot gnu dot org]

------- 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

[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293

[spop at gcc dot gnu dot org]

------- 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

[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293

[spop at gcc dot gnu dot org]

------- 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

[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293

[spop at gcc dot gnu dot org]

------- 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