[Bug middle-end/47481] New: i386-rtems* Ada ICE at reload1.c:2105

[Bug middle-end/47481] New: i386-rtems* Ada ICE at reload1.c:2105

[joel at gcc dot gnu.org]

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

           Summary: i386-rtems* Ada ICE at reload1.c:2105
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: joel@gcc.gnu.org


This is definitely a regression since 4.5.2.

/users/joel/test-gcc/b-gccada-i386/./gcc/xgcc
-B/users/joel/test-gcc/b-gccada-i386/./gcc/ -nostdinc
-B/users/joel/test-gcc/b-gccada-i386/i386-rtems4.11/newlib/ -isystem
/users/joel/test-gcc/b-gccada-i386/i386-rtems4.11/newlib/targ-include -isystem
/users/joel/test-gcc/gcc-svn/newlib/libc/include
-B/users/joel/test-gcc/install-svn/i386-rtems4.11/bin/
-B/users/joel/test-gcc/install-svn/i386-rtems4.11/lib/ -isystem
/users/joel/test-gcc/install-svn/i386-rtems4.11/include -isystem
/users/joel/test-gcc/install-svn/i386-rtems4.11/sys-include    -c -g -O2
-msoft-float  -W -Wall -gnatpg -msoft-float  a-tiunio.ads -o a-tiunio.o
make[6]: *** [a-nllefu.o] Error 1
make[6]: *** Waiting for unfinished jobs....
a-ngelfu.adb: In function
'Ada.Numerics.Long_Long_Complex_Elementary_Functions.Elementary_Functions.Cos.2xnn':
a-ngelfu.adb:533:8: error: unable to find a register to spill in class 'CREG'
a-ngelfu.adb:533:8: error: this is the insn:
(insn 22 18 23 2 (parallel [
            (set (reg:SI 74)
                (const_int 0 [0]))
            (set (reg:SI 6 bp [72])
                (plus:SI (ashift:SI (reg:SI 74)
                        (const_int 2 [0x2]))
                    (reg:SI 6 bp [72])))
            (set (reg:SI 3 bx [73])
                (plus:SI (ashift:SI (reg:SI 74)
                        (const_int 2 [0x2]))
                    (reg:SI 3 bx [73])))
            (set (mem:BLK (reg:SI 6 bp [72]) [0 S12 A8])
                (mem/c:BLK (reg:SI 3 bx [73]) [0 S12 A128]))
            (use (reg:SI 74))
        ]) a-ngelfu.adb:532 677 {*rep_movsi}
     (expr_list:REG_UNUSED (reg:SI 74)
        (expr_list:REG_UNUSED (reg:SI 3 bx [73])
            (expr_list:REG_UNUSED (reg:SI 6 bp [72])
                (nil)))))
+===========================GNAT BUG DETECTED==============================+
| 4.6.0 20110126 (experimental) [trunk revision 169296] (i386-pc-rtems4.11) GCC
error:|
| in spill_failure, at reload1.c:2105                                      |
| Error detected around a-ngelfu.adb:533:8                                 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

[Bug middle-end/47481] [4.6 Regression] i386-rtems* Ada ICE at reload1.c:2105

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |i386-rtems*
           Priority|P3                          |P4
   Target Milestone|---                         |4.6.0
            Summary|i386-rtems* Ada ICE at      |[4.6 Regression]
                   |reload1.c:2105              |i386-rtems* Ada ICE at
                   |                            |reload1.c:2105

[Bug target/47481] [4.6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
          Component|middle-end                  |target
            Summary|[4.6 Regression]            |[4.6 Regression] spill
                   |i386-rtems* Ada ICE at      |failure with -O2
                   |reload1.c:2105              |-msoft-float on Ada RTS

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-01-27 11:25:11 UTC ---
-msoft-float certainly doesn't help.

[Bug target/47481] [4.6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.02.07 20:41:22
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org
     Ever Confirmed|0                           |1

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-02-07 20:41:22 UTC ---
Investigating.

[Bug target/47481] [4.6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW
         AssignedTo|ebotcazou at gcc dot        |unassigned at gcc dot
                   |gnu.org                     |gnu.org

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-02-08 17:44:34 UTC ---
There is probably no point in using 80-bit floats with -msoft-float:

Index: config/i386/i386.h
===================================================================
--- config/i386/i386.h  (revision 169914)
+++ config/i386/i386.h  (working copy)
@@ -658,7 +658,8 @@ enum target_cpu_default
 #define DOUBLE_TYPE_SIZE 64
 #define LONG_DOUBLE_TYPE_SIZE 80

-#define WIDEST_HARDWARE_FP_SIZE LONG_DOUBLE_TYPE_SIZE
+#define WIDEST_HARDWARE_FP_SIZE \
+  (TARGET_80387 ? LONG_DOUBLE_TYPE_SIZE : DOUBLE_TYPE_SIZE)

 #if defined (TARGET_BI_ARCH) || TARGET_64BIT_DEFAULT
 #define MAX_BITS_PER_WORD 64

[Bug target/47481] [4.6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[joel at gcc dot gnu.org]

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

--- Comment #4 from Joel Sherrill <joel at gcc dot gnu.org> 2011-02-08 19:02:10 UTC ---
With that patch, i386-rtems now builds. 

Can you commit it?

[Bug target/47481] [4.6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[ebotcazou at gcc dot gnu.org]

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

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-02-08 19:13:37 UTC ---
> Can you commit it?

It needs to be approved by a maintainer of the architecture.

[Bug target/47481] [4.6/4.7 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.0                       |4.6.1

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-25 19:51:58 UTC ---
GCC 4.6.0 is being released, adjusting target milestone.

[Bug target/47481] [4.6/4.7 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.1                       |4.6.2

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-27 12:32:38 UTC ---
GCC 4.6.1 is being released.

[Bug target/47481] [4.6/4.7 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.2                       |4.6.3

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-26 17:13:19 UTC ---
GCC 4.6.2 is being released.

[Bug target/47481] [4.6/4.7 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.3                       |4.6.4

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-01 14:38:04 UTC ---
GCC 4.6.3 is being released.

[Bug target/47481] [4.7/4.8/4.9 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.4                       |4.7.4

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-12 15:15:28 UTC ---
GCC 4.6.4 has been released and the branch has been closed.

[Bug target/47481] [4.7/4.8/4.9/4.10 Regression] spill failure with -O2 -msoft-float on Ada RTS

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.4                       |4.8.4

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
The 4.7 branch is being closed, moving target milestone to 4.8.4.

[Bug target/47481] [4.8/4.9/5 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.4                       |4.8.5

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.4 has been released.

[Bug target/47481] [4.8/4.9/5/6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.5                       |4.9.3

--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
The gcc-4_8-branch is being closed, re-targeting regressions to 4.9.3.

[Bug target/47481] [4.9/5/6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.3 has been released.

[Bug target/47481] [4.9/5/6 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.3                       |4.9.4

[Bug target/47481] [9/10/11/12 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #19 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug target/47481] [9/10/11/12 Regression] spill failure with -O2 -msoft-float on Ada RTS

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #20 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug target/47481] [10/11/12/13 Regression] spill failure with -O2 -msoft-float on Ada RTS

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #21 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug target/47481] [10/11/12/13 Regression] spill failure with -O2 -msoft-float on Ada RTS

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #22 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug target/47481] [11/12/13/14 Regression] spill failure with -O2 -msoft-float on Ada RTS

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47481

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #23 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.