[Bug c/27875] New: [4.2 Regression] ICE on gcc testsuite.

[Bug c/27875] New: [4.2 Regression] ICE on gcc testsuite.

[edmar at freescale dot com]

Note: This problems happens only on trunk compiler configured with
--target=powerpc-unknown-linux-gnuspe --enable-e500_double

I have lots of dejagnu failures that looks just like this one:

 /temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/xgcc
-B/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/   -O2  -c -o
20040219-1.o
/local/gnu_toolchain/build_area/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/20040219-1.c
--save-temps -v
Reading specs from
/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/specs
Target: powerpc-unknown-linux-gnuspe
Configured with: ../gcc-trunk/configure
--prefix=/local/gnu_toolchain/install_area/gcc-trunk-20060531-e500v2
--with-local-prefix=/local/gnu_toolchain/install_area/gcc-trunk-20060531-e500v2
--enable-languages=c,c++ --enable-threads --target=powerpc-unknown-linux-gnuspe
--disable-shared --disable-multilib --disable-linux-futex --enable-e500_double
Thread model: posix
gcc version 4.2.0 20060531 (experimental)
 /temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/cc1 -E -quiet -v
-iprefix
/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/../lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/
-isystem /temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/include
-D__unix__ -D__gnu_linux__ -D__linux__ -Dunix -D__unix -Dlinux -D__linux
-Asystem=linux -Asystem=unix -Asystem=posix
/local/gnu_toolchain/build_area/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/20040219-1.c
-O2 -fpch-preprocess -o 20040219-1.i
ignoring nonexistent directory
"/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/../lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/include"
ignoring nonexistent directory
"/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/../lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/../../../../powerpc-unknown-linux-gnuspe/sys-include"
ignoring nonexistent directory
"/temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/../lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/../../../../powerpc-unknown-linux-gnuspe/include"
ignoring nonexistent directory
"/local/gnu_toolchain/install_area/gcc-trunk-20060531-e500v2/lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/../../../../powerpc-unknown-linux-gnuspe/include"
#include "..." search starts here:
#include <...> search starts here:
 /temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/include

/local/gnu_toolchain/install_area/gcc-trunk-20060531-e500v2/lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/include

/local/gnu_toolchain/install_area/gcc-trunk-20060531-e500v2/lib/gcc/powerpc-unknown-linux-gnuspe/4.2.0/../../../../powerpc-unknown-linux-gnuspe/sys-include
End of search list.
 /temp/gnu_toolchain/build_area/obj_gcc-trunk_e500v2/gcc/cc1 -fpreprocessed
20040219-1.i -quiet -dumpbase 20040219-1.c -auxbase-strip 20040219-1.o -O2
-version -o 20040219-1.s
GNU C version 4.2.0 20060531 (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: 4118f9e203b0571767cd04dca35b7482
/local/gnu_toolchain/build_area/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/20040219-1.c:
In function 'foo':
/local/gnu_toolchain/build_area/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/20040219-1.c:1:
error: unrecognizable insn:
(insn 11 10 12 3 (set (subreg:DF (reg:DI 121) 0)
        (mem/u/c/i:DF (reg/f:SI 122) [2 S8 A64])) -1 (nil)
    (nil))
/local/gnu_toolchain/build_area/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/20040219-1.c:1:
internal compiler error: in extract_insn, at recog.c:2077
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.2 Regression] ICE on gcc testsuite.
           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


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

[Bug c/27875] [4.2 Regression] ICE on gcc testsuite.

[edmar at freescale dot com]

------- Comment #1 from edmar at freescale dot com  2006-06-02 15:41 -------
Created an attachment (id=11579)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11579&action=view)
file generated with --save-temps


-- 


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.0


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[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=27875

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[dje at gcc dot gnu dot org]

------- Comment #2 from dje at gcc dot gnu dot org  2006-06-07 02:31 -------
Can you provide any information about what initially produces the
(subreg:DF (reg:DI)) ?


-- 

dje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dje at gcc dot gnu dot org


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-06-30 05:36 -------
Confirmed, it is produced by expand:
;; return 0.0
(insn 9 8 10 (set (reg:SI 123)
        (high:SI (symbol_ref:SI ("*.LANCHOR0") [flags 0x182]))) -1 (nil)
    (nil))

(insn 10 9 11 (set (reg/f:SI 122)
        (lo_sum:SI (reg:SI 123)
            (symbol_ref:SI ("*.LANCHOR0") [flags 0x182]))) -1 (nil)
    (expr_list:REG_EQUAL (symbol_ref:SI ("*.LANCHOR0") [flags 0x182])
        (nil)))

(insn 11 10 12 (set (subreg:DF (reg:DI 121) 0)
        (mem/u/c/i:DF (reg/f:SI 122) [0 S8 A64])) -1 (nil)
    (nil))

(insn 12 11 13 (set (reg:DI 124)
        (reg:DI 121)) -1 (nil)
    (nil))

(insn 13 12 14 (set (reg:DI 119 [ <result> ])
        (reg:DI 124)) -1 (nil)
    (nil))


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-30 05:36:07
               date|                            |


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-06-30 05:37 -------
It has to do with the return only.
The reduced code ICEs at -O1 and above only:
double foo() { return 0.0;}
because otherwise we get a temporary variable.


-- 


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-06-30 05:46 -------
The problem comes from:
1537          if (GET_CODE (return_reg) == PARALLEL)
1538            emit_group_load (return_reg, val, type, int_size_in_bytes
(type));
1539          else
1540            emit_move_insn (return_reg, val);


return_reg is:
(parallel:DF [
        (expr_list:REG_DEP_TRUE (reg:DI 119 [ <result> ])
            (const_int 0 [0x0]))
    ])
But I don't understand why it is DImode.  Because the return type is double,
shouldn't this also be DI.  

To me the mode should be DF and there should be a move without access to memory
to change the mode.


-- 


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[dje at gcc dot gnu dot org]

------- Comment #6 from dje at gcc dot gnu dot org  2006-06-30 13:39 -------
This may be due to spe_build_register_parallel() called from
rs6000_function_value().


-- 

dje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amodra at bigpond dot net
                   |                            |dot au


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-07-08 02:26 -------
http://gcc.gnu.org/ml/gcc/2006-04/msg00463.html


-- 


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

[Bug target/27875] [4.2 Regression] ICE on gcc testsuite.

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-07-08 02:29 -------
This is really a dup of bug 27287 which is also affects 4.1.

*** This bug has been marked as a duplicate of 27287 ***


-- 

pinskia at gcc dot gnu dot org changed:

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


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