[Bug c/29255] New: [4.2.0 regression] ICE on valid code

[Bug c/29255] New: [4.2.0 regression] ICE on valid code

[edmar at freescale dot com]

Compiler configure with --enable-e500_double

Problem reproduced with:
//temp/gnu_toolchain/install_area/gcc-trunk/gcc-trunk-20060926-e500v2/bin/powerpc-unknown-linux-gnuspe-gcc
-O3 -funroll-loops -funroll-all-loops -S stream.i -v
Using built-in specs.
Target: powerpc-unknown-linux-gnuspe
Configured with: ../gcc-trunk/configure
--prefix=/temp/gnu_toolchain/install_area/gcc-trunk/gcc-trunk-20060926-e500v2
--with-local-prefix=/temp/gnu_toolchain/install_area/gcc-trunk/gcc-trunk-20060926-e500v2
--enable-languages=c,c++,fortran --enable-threads
--target=powerpc-unknown-linux-gnuspe
--with-gmp=/proj/ppc/sysperf/sw/gnu_toolchain/gcc_support/linuxAMD64
--with-mpfr=/proj/ppc/sysperf/sw/gnu_toolchain/gcc_support/linuxAMD64
--disable-shared --disable-multilib --disable-linux-futex --enable-e500_double
Thread model: posix
gcc version 4.2.0 20060926 (experimental)

/temp/gnu_toolchain/install_area/gcc-trunk/gcc-trunk-20060926-e500v2/libexec/gcc/powerpc-unknown-linux-gnuspe/4.2.0/cc1
-fpreprocessed stream.i -quiet -dumpbase stream.i -auxbase stream -O3 -version
-funroll-loops -funroll-all-loops -o stream.s
GNU C version 4.2.0 20060926 (experimental) (powerpc-unknown-linux-gnuspe)
        compiled by GNU C version 3.4.3.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: af19c94719eeca398c0b645020867b59
stream.c: In function 'main':
stream.c:269: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.2.0 regression] ICE on valid code
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: edmar at freescale dot com
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: powerpc-unknown-linux-gnuspe-gcc


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

[Bug c/29255] [4.2.0 regression] ICE on valid code

[edmar at freescale dot com]

------- Comment #1 from edmar at freescale dot com  2006-09-27 18:14 -------
Created an attachment (id=12339)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12339&action=view)
Source code that causes the ICE


-- 


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

[Bug target/29255] [4.2.0 regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-09-28 02:32 -------
Reducing ....


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |target


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

[Bug target/29255] [4.2 regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-09-28 02:53 -------
Reduced testcase:
static double a[2000000 +0],avgtime[4] = {0},maxtime[4] = {0};
main()
{
 int j, k;
 for (j=0; j<4; j++)
 {
   avgtime[j] = avgtime[j]/(double)(10 -1);
   g(avgtime[j],maxtime[j] );
 }
}
checktick(double asum, int j)
{
 asum += a[j];
 if (asum)
  f();
}

-------------------
The instruction which it is failing on is:
(insn:TI 22 121 138 (set (subreg:DF (reg:DI 9 9) 0)
        (mem/s/c:DF (plus:SI (reg/f:SI 29 29 [130])
                (reg:SI 3 3 [131])) [3 avgtime+0 S8 A64])) 919 {*frob_di_df_2}
(nil)
    (expr_list:REG_DEAD (reg:SI 3 3 [131])
        (nil)))

Which is invalid as you should be splitting the DI part.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|x86_64-unknown-linux-gnu    |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-28 02:53:34
               date|                            |
            Summary|[4.2.0 regression] ICE on   |[4.2 regression] ICE on
                   |valid code                  |valid code


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

[Bug target/29255] [4.2/4.3 regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.2.0


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

[Bug target/29255] [4.2/4.3 regression] ICE on valid code

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug target/29255] [4.2/4.3 regression] ICE on valid code on PPC SPE

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2007-03-11 03:22 -------
Joseph --

Do you have any insight into this bug, from your work on SPE?

Thanks,

-- Mark


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |joseph at codesourcery dot
                   |                            |com


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

[Bug target/29255] [4.2/4.3 regression] ICE on valid code on PPC SPE

[jsm28 at gcc dot gnu dot org]

------- Comment #5 from jsm28 at gcc dot gnu dot org  2007-03-11 13:59 -------
I can't reproduce this bug with current 4.2 branch or trunk.  My guess as to
the most likely patch to have fixed this is:

2006-11-16  Joseph Myers  <joseph@codesourcery.com>

        * config/rs6000/spe.md (frob_di_df_2): Handle non-offsettable
        memory operand.


-- 

jsm28 at gcc dot gnu dot org changed:

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


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