[Bug regression/26435] New: ICE with -O1 -ftree-loop-linear and higher optimization

[Bug regression/26435] New: ICE with -O1 -ftree-loop-linear and higher optimization

[uttamp at us dot ibm dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1904 bytes --]

Hi, 
Following code gets ICE.

elm3b11:/home/pawar> cat test.c
typedef struct _A2 A2;
struct _A2 {
   int type ;
   int n1 ;
   int n2 ;
   int inc1 ;
   int inc2 ;
   double *entries ;
};


double
A2_infinityNorm (
   A2 *mtx
) {
double norm ;
int ncol, nrow ;

if ( (nrow = mtx->n1) <= 0 || (ncol = mtx->n2) <= 0 ) {
   return(0.0) ;
}

norm = 0.0 ;
if ( ((mtx)->type == 1) ) {
   if ( mtx->inc2 == 1 ) {
      double sum ;
      double *row = mtx->entries ;
      int inc1 = mtx->inc1, irow, jcol ;

      for ( irow = 0 ; irow < nrow ; irow++, row += inc1 ) {
         for ( jcol = 0, sum = 0.0 ; jcol < ncol ; jcol++ ) {
            sum += fabs(row[jcol]) ;
         }
         if ( norm < sum ) {
            norm = sum ;
         }
      }
   }
}
return(norm) ; }

elm3b11:/home/pawar> /opt/gcc-nightly/trunk-20060220/bin/gcc -c -O1
-ftree-loop-linear test.c
test.c: In function ‘A2_infinityNorm’:
test.c:32: warning: incompatible implicit declaration of built-in function
‘fabs’
test.c:15: error: definition in block 19 does not dominate use in block 15
for SSA_NAME: row_27 in statement:
row_38 = PHI <row_27(15), row_18(6)>;
PHI argument
row_27
for PHI node
row_38 = PHI <row_27(15), row_18(6)>;
test.c:15: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE with -O1 -ftree-loop-linear and higher optimization
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: regression
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uttamp at us dot ibm dot com
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


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

[Bug tree-optimization/26435] ICE with -O1 -ftree-loop-linear and higher optimization

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-23 01:38 -------
I bet this is really just PR 25937 again exposed with a different testcase and
improvements to other parts of GCC.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
  BugsThisDependsOn|                            |25937
          Component|regression                  |tree-optimization
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2006-02-23 11:42 -------
In contrast to PR 25937, I can reproduce this bug also on
x86_64-unknown-linux-gnu.

Shorter testcase:

=========================================
int foo(int *p, int n)
{
    int i, j, k = 0;

    for ( i = 0; i < 2; ++i, p += n )
        for ( j = 0; j < 2; ++j )
            k += p[j];
    return k;
}
=========================================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-23 11:42:08
               date|                            |
            Summary|ICE with -O1 -ftree-loop-   |[4.1/4.2 regression] ICE
                   |linear and higher           |with -O1 -ftree-loop-linear
                   |optimization                |and higher optimization
   Target Milestone|---                         |4.1.1


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

[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-03-23 09:36 -------
Looks related to PR25211


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |25211


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

[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2006-04-16 18:38 -------
Basic, valid code that crashes the optimizers: P1.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[sebastian dot pop at cri dot ensmp dot fr]

------- Comment #5 from sebastian dot pop at cri dot ensmp dot fr  2006-05-10 12:32 -------
Created an attachment (id=11430)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11430&action=view)
first shot at fixing this

didn't tested the patch, other than with RUNTESTFLAGS="tree-ssa.exp"
and the current pr report.


-- 


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

[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2006-05-17 14:26 -------
Subject: Bug 26435

Author: spop
Date: Wed May 17 14:25:59 2006
New Revision: 113862

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113862
Log:
        PR middle-end/20256
        PR middle-end/26435
        * tree-loop-linear.c (linear_transform_loops): Don't test
perfect_nest_p.
        Call rewrite_into_loop_closed_ssa only when something changed.
        * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration.
        * lambda-code.c (can_convert_to_perfect_nest): Declared.
        (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter.
        Test for perfect_nest_p here.  Fix formating.
        (replace_uses_equiv_to_x_with_y): Fix formating.
        (stmt_uses_op): Removed.
        (can_convert_to_perfect_nest): Removed loopivs parameter.
        Complete the test by checking the scalar dependences.
        (perfect_nestify): Remove the test for can_convert_to_perfect_nest.
        Fix formating.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr20256.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr26435.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lambda-code.c
    trunk/gcc/lambda.h
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ltrans-1.c
    trunk/gcc/tree-loop-linear.c


-- 


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

[Bug tree-optimization/26435] [4.1 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-05-18 04:56 -------
Fixed at least on the mainline.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] ICE    |[4.1 regression] ICE with -
                   |with -O1 -ftree-loop-linear |O1 -ftree-loop-linear and
                   |and higher optimization     |higher optimization


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

[Bug tree-optimization/26435] [4.1 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[mmitchel at gcc dot gnu dot org]

------- Comment #8 from mmitchel at gcc dot gnu dot org  2006-05-25 02:31 -------
Will not be fixed in 4.1.1; adjust target milestone to 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.1                       |4.1.2


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

[Bug tree-optimization/26435] [4.1 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[spop at gcc dot gnu dot org]

------- Comment #9 from spop at gcc dot gnu dot org  2006-08-17 13:14 -------
Subject: Bug 26435

Author: spop
Date: Thu Aug 17 13:14:26 2006
New Revision: 116223

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116223
Log:
        PR middle-end/25211
        PR middle-end/20256
        PR middle-end/26435
        * tree-loop-linear.c (linear_transform_loops): Don't test
perfect_nest_p.
        Call rewrite_into_loop_closed_ssa only when something changed.
        * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration.
        * lambda-code.c (can_convert_to_perfect_nest): Declared.
        (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter.
        Test for perfect_nest_p here.  Fix formating.
        (replace_uses_equiv_to_x_with_y): Fix formating.
        (stmt_uses_op): Removed.
        (can_convert_to_perfect_nest): Removed loopivs parameter.
        Complete the test by checking the scalar dependences.
        (perfect_nestify): Remove the test for can_convert_to_perfect_nest.
        Fix formating.  Don't copy statements in the inner loop: move them to
        the inner loop header.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr20256.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr26435.c
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/pr27745.f90
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/lambda-code.c
    branches/gcc-4_1-branch/gcc/lambda.h
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/ltrans-1.c
    branches/gcc-4_1-branch/gcc/tree-loop-linear.c


-- 


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

[Bug tree-optimization/26435] [4.1 regression] ICE with -O1 -ftree-loop-linear and higher optimization

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2006-08-17 15:01 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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