[Bug target/26223] New: ICE on complex<long double> with -mno-80387

[Bug target/26223] New: ICE on complex<long double> with -mno-80387

[pluto at agmk dot net]

#include <complex>
using namespace std;

template <typename T>
complex<T> add(complex<T> a, complex<T> b) { return a + b; }

template complex<long double> add(complex<long double>, complex<long double>);


$ g++ -Wall tmp.cpp -mno-80387 -O2
tmp.cpp: In function &#8216;std::complex<_Tp> add(std::complex<_Tp>,
std::complex<_Tp>) [with T = long double]&#8217;:
tmp.cpp:5: error: insn does not satisfy its constraints:
(insn 48 18 49 0 (set (mem/c:XF (plus:DI (reg/f:DI 7 sp)
                (const_int 32 [0x20])) [0 S16 A8])
        (reg:XF 8 )) 99 {*movxf_integer} (nil)
    (nil))
tmp.cpp:5: internal compiler error: in reload_cse_simplify_operands,
           at postreload.c:394

$ gcc -v
Reading specs from /usr/lib64/gcc/x86_64-pld-linux/4.1.0/specs
Target: x86_64-pld-linux
Configured with: ../configure --prefix=/usr --libdir=/usr/lib64
--libexecdir=/usr/lib64 --infodir=/usr/share/info --mandir=/usr/share/man
--x-libraries=/usr/X11R6/lib64 --enable-shared --enable-threads=posix
--enable-__cxa_atexit --enable-languages=c,c++,fortran,objc,obj-c++,ada,java
--enable-c99 --enable-long-long --disable-multilib --enable-nls
--disable-werror --with-gnu-as --with-gnu-ld --with-demangler-in-ld
--with-system-zlib --with-slibdir=/lib64 --enable-cmath --enable-libgcj
--enable-libgcj-multifile --enable-libgcj-database --enable-gtk-cairo
--enable-java-awt=gtk,xlib --enable-jni --enable-xmlj --enable-alsa
--enable-dssi x86_64-pld-linux
Thread model: posix
gcc version 4.1.0 20060210 (prerelease)

revision 110831


-- 
           Summary: ICE on complex<long double> with -mno-80387
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pluto at agmk dot net
 GCC build triplet: x86-64
  GCC host triplet: x86-64
GCC target triplet: x86-64


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

[Bug target/26223] ICE on complex<long double> with -mno-80387

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-11 16:07 -------
IIRC long double on x86 and x86_64 is done with x87 and not the SSE unit so
this is bug is semi invalid.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2006-02-16 14:12 -------
Confirmed.
Even simpler testcase (crashes with "gcc -mno-80387"):

===============================================
long double foo(long double x) { return x; }
===============================================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-16 14:12:55
               date|                            |
            Summary|ICE on complex<long double> |[4.0/4.1/4.2 regression] ICE
                   |with -mno-80387             |on long double with -mno-
                   |                            |80387
   Target Milestone|---                         |4.0.3


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-02-16 15:12 -------
I don't know if this is really valid code as long double on x86_64 uses 387 so
turning off 387 explicitly says no 387 instructions.  In fact I think the
regression was caused by actually -mno-387 working correctly in turning off the
387 instructions from being emitting.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|x86-64                      |
   GCC host triplet|x86-64                      |
           Keywords|ice-on-valid-code           |


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[pluto at agmk dot net]

------- Comment #4 from pluto at agmk dot net  2006-02-16 15:32 -------
(In reply to comment #3)
> I don't know if this is really valid code as long double on x86_64 uses 387 so
> turning off 387 explicitly says no 387 instructions.  In fact I think the
> regression was caused by actually -mno-387 working correctly in turning off the
> 387 instructions from being emitting.
> 

testcase from #c2 works with -m32 -mno-80387 -mno-fp-ret-in-387 -msoft-float
but fails with -m64.


-- 


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[steven at gcc dot gnu dot org]

------- Comment #5 from steven at gcc dot gnu dot org  2006-02-16 19:51 -------
Silly question maybe, but why is reg-stack doing anything at all if -mno-80387? 

Before reg-stack we have,

(insn 26 12 27 3 (set (mem/c:XF (plus:DI (reg/f:DI 6 bp)
                (const_int -16 [0xfffffffffffffff0])) [0 S16 A8])
        (reg:XF 0 ax)) 99 {*movxf_integer} (nil)
    (nil))

After reg-stack, we have:

(insn 27 31 21 3 (set (reg:XF 8 )
        (mem/c:XF (plus:DI (reg/f:DI 6 bp)
                (const_int -16 [0xfffffffffffffff0])) [0 S16 A8])) 99
{*movxf_integer} (nil)
    (nil))


-- 

steven at gcc dot gnu dot org changed:

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


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[steven at gcc dot gnu dot org]

------- Comment #6 from steven at gcc dot gnu dot org  2006-02-16 19:58 -------
Ignore my comment #5, I mis-grep-ed the insn uids :-/


-- 


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2006-02-18 06:50 -------
This is too obscure to be a P1.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[mmitchel at gcc dot gnu dot org]

------- Comment #8 from mmitchel at gcc dot gnu dot org  2006-02-24 00:26 -------
This issue will not be resolved in GCC 4.1.0; retargeted at GCC 4.1.1.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.3                       |4.1.1


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[mmitchel at gcc dot gnu dot org]

------- Comment #9 from mmitchel at gcc dot gnu dot org  2006-05-25 02:33 -------
Will not be fixed in 4.1.1; adjust target milestone to 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.1                       |4.1.2


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[sayle at gcc dot gnu dot org]

------- Comment #10 from sayle at gcc dot gnu dot org  2006-06-04 04:28 -------
Subject: Bug 26223

Author: sayle
Date: Sun Jun  4 04:28:25 2006
New Revision: 114355

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114355
Log:

        PR target/26223
        * config/i386/i386.c (construct_container): Split static issued_error
        flag into issued_sse_arg_error, issued_sse_ret_error and
        issued_x87_ret_error.  Issue a daignostic if the x86-64 ABI
        requires the use of x87 registers and the user explicitly
        specified the -mno-80387 command line option.

        * gcc.target/i386/amd64-abi-2.c: New test case.


Added:
    trunk/gcc/testsuite/gcc.target/i386/amd64-abi-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/26223] [4.0/4.1/4.2 regression] ICE on long double with -mno-80387

[sayle at gcc dot gnu dot org]

------- Comment #11 from sayle at gcc dot gnu dot org  2006-06-05 22:44 -------
Subject: Bug 26223

Author: sayle
Date: Mon Jun  5 22:44:46 2006
New Revision: 114415

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114415
Log:

        PR target/26223
        * config/i386/i386.c (construct_container): Split static issued_error
        flag into issued_sse_arg_error, issued_sse_ret_error and
        issued_x87_ret_error.  Issue a daignostic if the x86-64 ABI
        requires the use of x87 registers and the user explicitly
        specified the -mno-80387 command line option.

        * gcc.target/i386/amd64-abi-2.c: New test case.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.target/i386/amd64-abi-2.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/i386/i386.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/26223] [4.0 regression] ICE on long double with -mno-80387

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.0.3
      Known to work|                            |4.1.2 4.2.0
            Summary|[4.0/4.1/4.2 regression] ICE|[4.0 regression] ICE on long
                   |on long double with -mno-   |double with -mno-80387
                   |80387                       |
   Target Milestone|4.1.2                       |4.0.4


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

[Bug target/26223] [4.0 regression] ICE on long double with -mno-80387

[sayle at gcc dot gnu dot org]

------- Comment #12 from sayle at gcc dot gnu dot org  2006-06-06 19:43 -------
Subject: Bug 26223

Author: sayle
Date: Tue Jun  6 19:43:17 2006
New Revision: 114446

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114446
Log:

        PR target/26223
        * config/i386/i386.c (construct_container): Split static issued_error
        flag into issued_sse_arg_error, issued_sse_ret_error and
        issued_x87_ret_error.  Issue a daignostic if the x86-64 ABI
        requires the use of x87 registers and the user explicitly
        specified the -mno-80387 command line option.

        * gcc.target/i386/amd64-abi-2.c: New test case.


Added:
    branches/gcc-4_0-branch/gcc/testsuite/gcc.target/i386/amd64-abi-2.c
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/config/i386/i386.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/26223] [4.0 regression] ICE on long double with -mno-80387

[roger at eyesopen dot com]

------- Comment #13 from roger at eyesopen dot com  2006-06-06 22:41 -------
This should now be fixed on all active branches.


-- 

roger at eyesopen dot com changed:

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


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