[Bug c/60410] New: -fshort-double ICEs x86_64

[Bug c/60410] New: -fshort-double ICEs x86_64

[pmatos at gcc dot gnu.org]

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

            Bug ID: 60410
           Summary: -fshort-double ICEs x86_64
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pmatos at gcc dot gnu.org

Created attachment 32259
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32259&action=edit
Testcase for this bug (and pr55113 as well)

After fixing PR55113, I noticed that the testcase gcc.dg/lto/pr55113_0.c ICEs
x86_64:

$ top-trunk/toolchain/install-native/bin/gcc -O2 -o test pr55113_0.c
-fshort-double 
<built-in>: internal compiler error: in layout_type, at stor-layout.c:2116
0xb36233 layout_type(tree_node*)
        ../../../src/gcc/gcc/stor-layout.c:2115
0xdf8998 make_vector_type
        ../../../src/gcc/gcc/tree.c:9431
0xdfbb87 build_vector_type_for_mode(tree_node*, machine_mode)
        ../../../src/gcc/gcc/tree.c:10205
0xe8dd57 ix86_get_builtin_type
        ../../../src/gcc/gcc/config/i386/i386.c:27021
0xe8de95 ix86_get_builtin_func_type
        ../../../src/gcc/gcc/config/i386/i386.c:27071
0xe8dfa1 def_builtin
        ../../../src/gcc/gcc/config/i386/i386.c:28787
0xe8e662 ix86_init_mmx_sse_builtins
        ../../../src/gcc/gcc/config/i386/i386.c:30724
0xe92e8f ix86_init_builtins
        ../../../src/gcc/gcc/config/i386/i386.c:32677
0x62c692 c_define_builtins
        ../../../src/gcc/gcc/c-family/c-common.c:5268
0x62e09c c_common_nodes_and_builtins()
        ../../../src/gcc/gcc/c-family/c-common.c:5712
0x57b859 c_init_decl_processing()
        ../../../src/gcc/gcc/c/c-decl.c:3550
0x5d260f c_objc_common_init()
        ../../../src/gcc/gcc/c/c-objc-common.c:63
0xb4333c lang_dependent_init
        ../../../src/gcc/gcc/toplev.c:1712
0xb4374a do_compile
        ../../../src/gcc/gcc/toplev.c:1900
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-03-04
          Component|c                           |target
      Known to work|                            |4.5.4
   Target Milestone|---                         |4.7.4
            Summary|-fshort-double ICEs x86_64  |[4.7/4.8/4.9 Regression]
                   |                            |-fshort-double ICEs x86_64
     Ever confirmed|0                           |1
      Known to fail|                            |4.6.4

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Regression from 4.5.  Eventually the assert was just added ...

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Yep.  r189974.

Looks like the target is confused by building a -fshort-double V2DF with
using double_type_node.

Probably broken also on i?86, just not triggered.

OTOH, -fshort-double is a red herring ...

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |rth at gcc dot gnu.org,
                   |                            |uros at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r189974, but that is just because it added an assertion.
The question is, if -fshort-double really has to be supported on x86_64/i686
(as ABI changing option), what to do with the intrinsics, grep double
config/i386/*intrin*.h shows quite a lot of intrinsics that use double, and
various builtins really assume DFmode arguments/return values/V*DF vectors etc.
So, perhaps we could just override
ix86_builtin_type_tab[(int)IX86_BT_DOUBLE] if double_type_node doesn't have
DFmode TYPE_MODE to some DFmode REAL_TYPE (that would likely fix this ICE), and
perhaps tweak the *intrin*.h headers to use typedef double __real_double
__attribute__((__mode__(__DFmode__))); instead of double (perhaps not this
part, it will very unlikely do the right thing, perhaps just tell people not to
use the intrinsics).

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[dominiq at lps dot ens.fr]

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
On x86_64-apple-darwin13 I get the same ICE in 32 bit mode also (-m32):

FAIL: gcc.dg/lto/pr55113 c_lto_pr55113_0.o assemble,  -flto -fshort-double -O0 
(internal compiler error)
UNRESOLVED: gcc.dg/lto/pr55113 c_lto_pr55113_0.o-c_lto_pr55113_0.o link  -flto
-fshort-double -O0 
UNRESOLVED: gcc.dg/lto/pr55113 c_lto_pr55113_0.o-c_lto_pr55113_0.o execute 
-flto -fshort-double -O0

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[dominiq at lps dot ens.fr]

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

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
See also http://gcc.gnu.org/ml/gcc-testresults/2014-03/msg00661.html
(x86_64-unknown-linux-gnu).

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |x86_64-*-*
           Priority|P3                          |P2

[Bug target/60410] [4.7/4.8/4.9 Regression] -fshort-double ICEs x86_64

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ro at gcc dot gnu.org

--- Comment #6 from Rainer Orth <ro at gcc dot gnu.org> ---
I'm seeing the same ICE on i386-pc-solaris2.1[01] as of r209079.  I suppose the
test needs to be skipped on that combination, too.

  Rainer

[Bug target/60410] [4.7/4.8/4.9/4.10 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #7 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/60410] [4.8/4.9/5 Regression] -fshort-double ICEs x86_64

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andi-gcc at firstfloor dot org

--- Comment #8 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 63372 has been marked as a duplicate of this bug. ***

[Bug target/60410] [4.8/4.9/5 Regression] -fshort-double ICEs x86_64

[andi-gcc at firstfloor dot org]

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

--- Comment #9 from Andi Kleen <andi-gcc at firstfloor dot org> ---
Should we just disable the option? If it hasn't worked since 4.5 probably noone
needs it.

[Bug target/60410] [4.8/4.9/5 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
IMHO -fshort-double should be made a target specific option and generally not
supported.

[Bug target/60410] [4.8/4.9/5 Regression] -fshort-double ICEs x86_64

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug target/60410] [4.8/4.9/5/6 Regression] -fshort-double ICEs x86_64

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #12 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/60410] [4.9/5/6 Regression] -fshort-double ICEs x86_64

[jakub at gcc dot gnu.org]

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

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

[Bug target/60410] [4.9/5/6 Regression] -fshort-double ICEs x86_64

[jakub at gcc dot gnu.org]

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

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

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