[Bug target/63501] New: ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[Bug target/63501] New: ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[saugustine at google dot com]

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

            Bug ID: 63501
           Summary: ICE in GCC powerpc64le top of trunk with
                    -mupper-regs-df
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: saugustine at google dot com

The enclosed (greatly reduced) test case fails with an internal
compiler error on gcc-4.9 and top of trunk. Works great with x86.

saugustine@saugustine: ~/creduce $ cat test.ii
fn1() {
  double fvalue;
  switch (0)
  case 0:
case 'f':
  fmtfp(fvalue);
}

saugustine@saugustine: ~/creduce $
~/gcc-tot/install/libexec/gcc/powerpc64le-linux-gnu/5.0.0/cc1
test.ii   -mcpu=power7   -mupper-regs-df   -O2
 fn1
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> <visibility> <early_local_cleanups>
<free-inline-summary> <whole-program> <profile_estimate> <devirt> <cp>
<inline> <pure-const> <static-var> <single-use> <comdats>Assembling
functions:
 fn1
test.ii: In function 'fn1':
test.ii:7:1: error: unrecognizable insn:
 }
 ^
(insn 24 23 25 2 (set (mem/c:DF (plus:DI (reg:DI 9 9)
                (const_int 96 [0x60])) [0  S8 A64])
        (reg/v:DF 3 3 [orig:155 fvalue ] [155])) test.ii:6 -1
     (nil))
test.ii:7:1: internal compiler error: in extract_insn, at recog.c:2206

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[dje at gcc dot gnu.org]

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

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |dje at gcc dot gnu.org
         Resolution|---                         |DUPLICATE

--- Comment #1 from David Edelsohn <dje at gcc dot gnu.org> ---
Duplicate of 63491 opened earlier today.

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

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[dje at gcc dot gnu.org]

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

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |NEW
   Last reconfirmed|                            |2014-10-09
                 CC|                            |bergner at gcc dot gnu.org,
                   |                            |meissner at gcc dot gnu.org
         Resolution|DUPLICATE                   |---
     Ever confirmed|0                           |1

--- Comment #2 from David Edelsohn <dje at gcc dot gnu.org> ---
Sorry, my mistake. I confused it with another bug.

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[dje at gcc dot gnu.org]

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

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Target|                            |powerpc64-*-*
   Target Milestone|---                         |4.9.3

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[meissner at gcc dot gnu.org]

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

--- Comment #3 from Michael Meissner <meissner at gcc dot gnu.org> ---
The -mupper-regs-df and -mupper-regs-sf options are a work in progress.  I am
working on these options right now on a private branch, but the code is not yet
ready for incorporation into the tree.  I don't know how long it will take to
track down the various bugs before the patches are submitted.

As I write this, the code in my branch requires the use of the -mlra option (to
switch to the LRA register allocator), and -mlra has some issues of its own
that we are investigating.

I have two spec tests (456.hmmer and 416.gamess) that fail when the
-mupper-regs-df -mlra options are used.  Of the tests that run, 454.calculix
and 470.lbm show about a 6-7% improvement, while 410.bwaves has a 6-7%
regression.

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[bergner at gcc dot gnu.org]

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

--- Comment #4 from Peter Bergner <bergner at gcc dot gnu.org> ---
(In reply to Michael Meissner from comment #3)
> The -mupper-regs-df and -mupper-regs-sf options are a work in progress.  I
> am working on these options right now on a private branch, but the code is
> not yet ready for incorporation into the tree.  I don't know how long it
> will take to track down the various bugs before the patches are submitted.

Meaning, don't use the -mupper-regs-df and -mupper-regs-sf options until Mike
has his patch(es) upstream.

[Bug target/63501] ICE in GCC powerpc64le top of trunk with -mupper-regs-df

[bergner at gcc dot gnu.org]

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

Peter Bergner <bergner at gcc dot gnu.org> changed:

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

--- Comment #5 from Peter Bergner <bergner at gcc dot gnu.org> ---
This is fixed now.