[Bug middle-end/38250] New: ICE with -O2 -ftree-loop-distribution

[Bug middle-end/38250] New: ICE with -O2 -ftree-loop-distribution

[tomby at gcc dot gnu dot org]

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

GCC ICEs on folowing code with options -O2 -ftree-loop-distribution

typedef long unsigned int size_t;
typedef struct   {
      long dat[2];
} gsl_complex_long_double;
typedef struct {
    size_t size;
    size_t stride;
    long *data;
} gsl_vector_complex_long_double;
void gsl_vector_complex_long_double_set_zero (gsl_vector_complex_long_double *
v) 
{
    long * const data = v->data;
    const size_t n = v->size;
    const size_t stride = v->stride;
    const gsl_complex_long_double zero = { { 0,0} } ;
    size_t i;
    for (i = 0; i < n; i++)     
        *(gsl_complex_long_double *) (data + 2 * i * stride) = zero;
}

as

prx.c: In function ‘gsl_vector_complex_long_double_set_zero’:
prx.c:10: internal compiler error: in fold_binary, at fold-const.c:9308


Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --prefix=/abuild/tbily/install/ --enable-checks
--enable-bootstrap --disable-multilib
Thread model: posix
gcc version 4.4.0 20081118 (experimental) (GCC)


-- 
           Summary: ICE with -O2 -ftree-loop-distribution
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tomby at gcc dot gnu dot org
 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=38250

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[tomby at gcc dot gnu dot org]

------- Comment #1 from tomby at gcc dot gnu dot org  2008-11-24 16:31 -------
Created an attachment (id=16758)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16758&action=view)
gcc ICEs on this file


-- 


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

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[tomby at gcc dot gnu dot org]

------- Comment #2 from tomby at gcc dot gnu dot org  2008-11-24 16:39 -------
In tree-loop-distribution.c (generate_memset_zero) can be DR_STEP(dr) NULL. But
it is passed into fold_build2 that expect two non null expressions. 

If program flow goes to end: due to goto then temporary variables created
during force_gimple_operand are added to referenced vars. But this variables
have not def bb. So later checks fails.


-- 


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

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[tomby at gcc dot gnu dot org]

------- Comment #3 from tomby at gcc dot gnu dot org  2008-11-24 16:42 -------
Created an attachment (id=16760)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16760&action=view)
This patch fixes problems


-- 


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

Re: [Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[Sebastian Pop]

The patch looks good.  Please test and ask for approval to
commit to trunk on gcc-patches@.

Thanks,
Sebastian

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[sebpop at gmail dot com]

------- Comment #4 from sebpop at gmail dot com  2008-11-24 17:27 -------
Subject: Re:  ICE with -O2 -ftree-loop-distribution

The patch looks good.  Please test and ask for approval to
commit to trunk on gcc-patches@.

Thanks,
Sebastian


-- 


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

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[tomby at gcc dot gnu dot org]

------- Comment #5 from tomby at gcc dot gnu dot org  2008-12-03 13:36 -------
Subject: Bug 38250

Author: tomby
Date: Wed Dec  3 13:35:13 2008
New Revision: 142394

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142394
Log:
        PR middle-end/38250
        * tree-loop-distribution.c (build_size_arg): New function.
        (generate_memset_zero): Checks if DR_STEP(de) is NULL.
        Reorganized generating of stmts.
        * testsuite/gcc.dg/tree-ssa/pr38250.c: New file.
        * tree-data-ref.c (dr_analyze_innermost): Returns bool.
        Indicate if analysis succeed.
        * tree-data-ref.h (dr_analyze_innermost): Returns bool.
        * tree-predcom.c (valid_initializer_p, find_looparound_phi):
        Uses new definition of dr_analyze_innermost.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-data-ref.c
    trunk/gcc/tree-data-ref.h
    trunk/gcc/tree-loop-distribution.c
    trunk/gcc/tree-predcom.c


-- 


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

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2008-12-03 15:38 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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

[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2008-12-29 03:22 -------
*** Bug 36116 has been marked as a duplicate of this bug. ***


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |martin dot drab at fjfi dot
                   |                            |cvut dot cz


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