[Bug c/17717] New: SH4 internal compiler error: in emit_move_insn

[Bug c/17717] New: SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

I am getting an internal compiler error reported when cross compiling two C
source files for an SH4 target. These source files compile and work correctly
when compiled natively for the build host.

I modified my makefile to dump the requested version info and copied all the
requested output for these two files below. I have the preprocessed input files
as well, but its is not obvious how these are supposed to be attached to this
bug report. I will attach the two compressed files if I figure it out. 

$ make libsqlite3.a
sh-elf-gcc -v -O2 -ml -m4 -mrenesas -save-temps  -DTHREADSAFE=1  -I.
-I../sqlite/src -c ../sqlite/src/expr.c
Reading specs from c:/GCC/xgcc/sh-elf/bin/../lib/gcc/sh-elf/3.4.0/specs
Configured with: ../../gcc-3.4.0-20040501-1/configure --enable-languages=c,c++
--disable-multilib --with-gcc --with-gnu-ld --with-gnu-as --with-stabs
--disable-shared --disable-threads --disable-win32-registry --disable-nls
--target=sh-elf --with-newlib --prefix=c:/gcc/xgcc/sh-elf -v
Thread model: single
gcc version 3.4.0 (mingw special)
 c:/GCC/xgcc/sh-elf/bin/../libexec/gcc/sh-elf/3.4.0/cc1.exe -E -quiet -v -I.
-I../sqlite/src -iprefix c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/
-DTHREADSAFE=1 ../sqlite/src/expr.c -ml -m4 -mrenesas -O2 -o expr.i
ignoring nonexistent directory
"c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/../../../../sh-elf/sys-include"
ignoring nonexistent directory
"c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/../../../../sh-elf/sys-include"
#include "..." search starts here:
#include <...> search starts here:
 .
 ../sqlite/src
 c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/include
 c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/../../../../sh-elf/include
 c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/include
 c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/../../../../sh-elf/include
End of search list.
 c:/GCC/xgcc/sh-elf/bin/../libexec/gcc/sh-elf/3.4.0/cc1.exe -fpreprocessed
expr.i -quiet -dumpbase expr.c -ml -m4 -mrenesas -auxbase expr -O2 -version -o
expr.s
GNU C version 3.4.0 (mingw special) (sh-elf)
        compiled by GNU C version 3.2.3 (mingw special 20030504-1).
GGC heuristics: --param ggc-min-expand=64 --param ggc-min-heapsize=65476
../sqlite/src/expr.c: In function `sqlite3ExprCode':
../sqlite/src/expr.c:1368: internal compiler error: in emit_move_insn, at
expr.c:2809
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.mingw.org/bugs.shtml> for instructions.
make: *** [expr.o] Error 1



$ make libsqlite3.a
sh-elf-gcc -v -O2 -ml -m4 -mrenesas -save-temps  -DTHREADSAFE=1  -I.
-I../sqlite/src -c ../sqlite/src/select.c
Reading specs from c:/GCC/xgcc/sh-elf/bin/../lib/gcc/sh-elf/3.4.0/specs
Configured with: ../../gcc-3.4.0-20040501-1/configure --enable-languages=c,c++
--disable-multilib --with-gcc --with-gnu-ld --with-gnu-as --with-stabs
--disable-shared --disable-threads --disable-win32-registry --disable-nls
--target=sh-elf --with-newlib --prefix=c:/gcc/xgcc/sh-elf -v
Thread model: single
gcc version 3.4.0 (mingw special)
 c:/GCC/xgcc/sh-elf/bin/../libexec/gcc/sh-elf/3.4.0/cc1.exe -E -quiet -v -I.
-I../sqlite/src -iprefix c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/
-DTHREADSAFE=1 ../sqlite/src/select.c -ml -m4 -mrenesas -O2 -o select.i
ignoring nonexistent directory
"c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/../../../../sh-elf/sys-include"
ignoring nonexistent directory
"c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/../../../../sh-elf/sys-include"
#include "..." search starts here:
#include <...> search starts here:
 .
 ../sqlite/src
 c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/include
 c:\GCC\xgcc\sh-elf\bin\../lib/gcc/sh-elf/3.4.0/../../../../sh-elf/include
 c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/include
 c:/gcc/xgcc/sh-elf/lib/gcc/sh-elf/3.4.0/../../../../sh-elf/include
End of search list.
 c:/GCC/xgcc/sh-elf/bin/../libexec/gcc/sh-elf/3.4.0/cc1.exe -fpreprocessed
select.i -quiet -dumpbase select.c -ml -m4 -mrenesas -auxbase select -O2
-version -o select.s
GNU C version 3.4.0 (mingw special) (sh-elf)
        compiled by GNU C version 3.2.3 (mingw special 20030504-1).
GGC heuristics: --param ggc-min-expand=64 --param ggc-min-heapsize=65476
../sqlite/src/select.c: In function `selectInnerLoop':
../sqlite/src/select.c:483: internal compiler error: in emit_move_insn, at
expr.c:2809
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.mingw.org/bugs.shtml> for instructions.
make: *** [select.o] Error 1

-- 
           Summary: SH4 internal compiler error: in emit_move_insn
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dennisc at harding dot ca
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-mingw32
  GCC host triplet: i686-pc-mingw32
GCC target triplet: sh4-unknown-elf


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

[Bug c/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-09-28 19:33 -------
Created an attachment (id=7232)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7232&action=view)
preprocessed source for first inteernal error case


-- 


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

[Bug c/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-09-28 19:34 -------
Created an attachment (id=7233)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7233&action=view)
preprocessed source for second internal error case


-- 


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

[Bug middle-end/17717] SH4 internal compiler error: in emit_move_insn

[pinskia at gcc dot gnu dot org]

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


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

[Bug middle-end/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-09-28 20:48 -------
This bug only occurs with the -mrenesas option specified. If this option is
removed the code is compiled correctly. However I need to use this option to
compile code that can be linked with other code compiled by the Renesas tools
which use this alternate calling convention. 

-- 


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
          Component|middle-end                  |target
           Keywords|                            |ice-on-valid-code


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #7232|preprocessed source for     |preprocessed source for
        description|first inteernal error case  |first internal error case


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-20 18:04 -------
Created an attachment (id=7387)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7387&action=view)
preprocessed 6line file that triggers ICE

This is the preprocessor output of a minimal (6 line) file that triggers the
ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #7232 is|0                           |1
           obsolete|                            |
Attachment #7233 is|0                           |1
           obsolete|                            |


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-20 18:06 -------
Created an attachment (id=7388)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7388&action=view)
gcc command and output for minimal test

This is the command line and compiler output produce with the new minimal
trigger file.

This file will compile if the command line option -mrenesas is removed.

-- 


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-20 18:49 -------
This bug is triggered by calls to functions that return a char value combined
with the -mrenesas compiler option. Removing the compiler option, or changing
the functions return type to int will both eliminate the error. 

-- 


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-20 22:17 -------
I have requilt my cross compiler using the latest GCC 3.4.2 source and the bug
is gone. It compiles the same test case code without the ICE. 

This bug can probably be closed now. Good job.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |3.4.0
      Known to work|                            |3.4.2


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-21 01:30 -------
Fixed so closing.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4.2


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-26 18:40 -------
(From update of attachment 7387)
The ICE is triggered by the char function return value assignment when
compiling for the Renesas ABI.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #7387|preprocessed 6line file that|preprocessed 6 line file
        description|triggers ICE                |that triggers ICE


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-26 18:45 -------
I was premature in reporting that version 3.4.2 fixed this bug. I didn't get a
ICE on my test file anymore, but not because the bug was fixed. It turns out
that version 3.4.2 compilers ignore the -mrenesas target option and always
generate code for the standard ABI. This additional bug hid the orginal problem
since it only occurs when using the renesas ABI. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
      Known to work|3.4.2                       |
         Resolution|FIXED                       |


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[dennisc at harding dot ca]

------- Additional Comments From dennisc at harding dot ca  2004-10-26 18:52 -------
I have found a patch for this problem that was proposed by DJ Delorie about a
year ago. His posting in the mailing list is at
http://gcc.gnu.org/ml/gcc-patches/2003-10/msg02277.html which I have copied below.

    * From: DJ Delorie <dj at redhat dot com>
    * To: gcc-patches at gcc dot gnu dot org
    * Cc: dj at redhat dot com
    * Date: Fri, 24 Oct 2003 23:10:31 -0400
    * Subject: [patch] sh-elf, -mrenesas, FUNCTION_VALUE

This file:

char bar(int);

void foo (char *f, int i)
{
  f[i] = bar(i);
}

Fails thusly:

$ ./cc1 -quiet -mrenesas -O2 -m4 dj.c
dj.c: In function `foo':

dj.c:5: internal compiler error: in emit_move_insn, at expr.c:2792


The failure is due to bar()'s return value being mispromoted, leading
to a (set (QI) (SI)).  Proposed patch follows.  Comments?


2003-10-24  DJ Delorie  <dj@redhat.com>

	* config/sh/sh.h (FUNCTION_VALUE): Support renesas attribute.

Index: config/sh/sh.h
===================================================================
RCS file: /cvs/gcc/gcc/gcc/config/sh/sh.h,v
retrieving revision 1.225
diff -p -2 -r1.225 sh.h
*** config/sh/sh.h	13 Oct 2003 21:16:32 -0000	1.225
--- config/sh/sh.h	25 Oct 2003 02:35:39 -0000
*************** extern enum reg_class reg_class_from_let
*** 1634,1646 ****
  #define FUNCTION_VALUE(VALTYPE, FUNC)					\
    gen_rtx (REG,								\
! 	   ((GET_MODE_CLASS (TYPE_MODE (VALTYPE)) == MODE_INT		\
! 	     && GET_MODE_SIZE (TYPE_MODE (VALTYPE)) < UNITS_PER_WORD	\
! 	     && (TREE_CODE (VALTYPE) == INTEGER_TYPE			\
! 		 || TREE_CODE (VALTYPE) == ENUMERAL_TYPE		\
! 		 || TREE_CODE (VALTYPE) == BOOLEAN_TYPE			\
! 		 || TREE_CODE (VALTYPE) == CHAR_TYPE			\
! 		 || TREE_CODE (VALTYPE) == REAL_TYPE			\
! 		 || TREE_CODE (VALTYPE) == OFFSET_TYPE))		\
! 	    ? (TARGET_SHMEDIA ? DImode : SImode) : TYPE_MODE (VALTYPE)), \
  	   BASE_RETURN_VALUE_REG (TYPE_MODE (VALTYPE)))
  
--- 1634,1648 ----
  #define FUNCTION_VALUE(VALTYPE, FUNC)					\
    gen_rtx (REG,								\
!            sh_attr_renesas_p (FUNC)					\
! 	   ? TYPE_MODE (VALTYPE)					\
! 	   : ((GET_MODE_CLASS (TYPE_MODE (VALTYPE)) == MODE_INT		\
! 	       && GET_MODE_SIZE (TYPE_MODE (VALTYPE)) < UNITS_PER_WORD	\
! 	       && (TREE_CODE (VALTYPE) == INTEGER_TYPE			\
! 		   || TREE_CODE (VALTYPE) == ENUMERAL_TYPE		\
! 		   || TREE_CODE (VALTYPE) == BOOLEAN_TYPE		\
! 		   || TREE_CODE (VALTYPE) == CHAR_TYPE			\
! 		   || TREE_CODE (VALTYPE) == REAL_TYPE			\
! 		   || TREE_CODE (VALTYPE) == OFFSET_TYPE))		\
! 	      ? (TARGET_SHMEDIA ? DImode : SImode) : TYPE_MODE (VALTYPE)), \
  	   BASE_RETURN_VALUE_REG (TYPE_MODE (VALTYPE)))


I'm not really able to judge the nature of the patch, but I will test it as soon
as I can get GCC version 3.4.2 to recognize the -mrenesas switch again.

-- 


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.2                       |---


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

[Bug target/17717] SH4 internal compiler error: in emit_move_insn

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-31 15:05 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-31 15:05:23
               date|                            |


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