[Bug target/63805] New: [4.9/4.8/5 Regression] ICE: in extract_insn, at recog.c:2154 with -mcpu=power8

[Bug target/63805] New: [4.9/4.8/5 Regression] ICE: in extract_insn, at recog.c:2154 with -mcpu=power8

[trippels at gcc dot gnu.org]

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

            Bug ID: 63805
           Summary: [4.9/4.8/5 Regression] ICE: in extract_insn, at
                    recog.c:2154 with -mcpu=power8
           Product: gcc
           Version: 4.8.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
              Host: powerpc64-unknown-linux-gnu
            Target: powerpc64-unknown-linux-gnu

trippels@gcc2-power8 status % cat freelist_test.ii
template <typename _Tp> struct A
{
  _Tp _M_i;
  void
  load ()
  {
    _Tp a;
    __atomic_load (&_M_i, &a, 0);
  }
};
class B
{
  int *ptr;
  int tag;
};
class C
{
public:
  template <typename Allocator> C (Allocator, int);
  template <bool, int>
  void
  construct ()
  {
    pool_.load ();
  }
  A<B> pool_;
};
class D
{
  int *px;
  int pn;
};
class F
{
public:
  F (int);
};
class G
{
public:
  G (int) : p_predicate_value (0) {}
  class readonly_property61 : F
  {
  public:
    readonly_property61 (int) : F (0) {}
  } p_predicate_value;
  D m_message;
};
void report_assertion (G);
template <typename, int threadsafe, int bounded>
void
run_test ()
{
  C b (0, 0);
  b.construct<threadsafe, bounded> ();
  report_assertion (0);
}
template <bool bounded>
void
run_tests ()
{
  run_test<C, 0, bounded> ();
}
void
freelist_teststest_method ()
{
  run_tests<false> ();
}


trippels@gcc2-power8 status % /home/trippels/gcc_test/usr/local/bin/g++ -c
-mcpu=power8 -O2 freelist_test.ii
freelist_test.ii: In function ‘void freelist_teststest_method()’:
freelist_test.ii:68:1: error: unrecognizable insn:
 }
 ^
(insn 10 9 11 2 (set (reg:PTI 157)
        (unspec:PTI [
                (mem/v:TI (plus:DI (reg/f:DI 150 virtual-stack-vars)
                        (const_int 24 [0x18])) [-1  S16 A128])
            ] UNSPEC_LSQ)) freelist_test.ii:8 -1
     (nil))
freelist_test.ii:68:1: internal compiler error: in extract_insn, at
recog.c:2327
0x1094384b _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:110
0x1094389f _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/gcc/rtl-error.c:118
0x1090a587 extract_insn(rtx_insn*)
        ../../gcc/gcc/recog.c:2327
0x106d9a3b instantiate_virtual_regs_in_insn
        ../../gcc/gcc/function.c:1574
0x106d9a3b instantiate_virtual_regs
        ../../gcc/gcc/function.c:1942
0x106d9a3b execute
        ../../gcc/gcc/function.c:1991
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.
>From gcc-bugs-return-466223-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 10 12:37:06 2014
Return-Path: <gcc-bugs-return-466223-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31893 invoked by alias); 10 Nov 2014 12:37:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 31852 invoked by uid 48); 10 Nov 2014 12:37:02 -0000
From: "fxcoudert at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/61127] GNAT incorrectly accepts <> as a second association of a generic formal package
Date: Mon, 10 Nov 2014 12:37:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ada
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: fxcoudert at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cf_gcctarget bug_status cf_reconfirmed_on cf_gcchost everconfirmed
Message-ID: <bug-61127-4-f1VYgNa4ss@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61127-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61127-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg00695.txt.bz2
Content-length: 661

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida127

Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|x86_64-apple-darwin13.1.0   |
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-10
               Host|x86_64-apple-darwin13.1.0   |
     Ever confirmed|0                           |1

--- Comment #1 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
Confirmed with current trunk on x86_64-linux, not darwin-specific.

[Bug target/63805] ICE: in extract_insn, at recog.c:2327 with -mcpu=power8

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-10
   Target Milestone|---                         |4.8.5
            Summary|[4.9/4.8/5 Regression] ICE: |ICE: in extract_insn, at
                   |in extract_insn, at         |recog.c:2327 with
                   |recog.c:2154 with           |-mcpu=power8
                   |-mcpu=power8                |
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Not a regression, because it apparently never worked.

[Bug target/63805] ICE: in extract_insn, at recog.c:2327 with -mcpu=power8

[rguenth at gcc dot gnu.org]

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

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

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

[Bug target/63805] ICE: in extract_insn, at recog.c:2327 with -mcpu=power8

[dimhen at gmail dot com]

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

--- Comment #2 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
I have similar error in LTO/x86_64, but stack is slightly different.

gcc-trunk r218991, binutils-trunk current

g++ -flto -o xx [6 files]. I'll try to reduce testcase.

TesterTest.cpp:422:1: internal compiler error: in extract_insn, at recog.c:2327
0xb230b8 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
    /home/dimhen/src/gcc_current/gcc/rtl-error.c:110
0xb23148 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
    /home/dimhen/src/gcc_current/gcc/rtl-error.c:118
0xad96f8 extract_insn(rtx_insn*)
    /home/dimhen/src/gcc_current/gcc/recog.c:2327
0xad97a7 extract_insn_cached(rtx_insn*)
    /home/dimhen/src/gcc_current/gcc/recog.c:2218
0x86f8c9 cleanup_subreg_operands(rtx_insn*)
    /home/dimhen/src/gcc_current/gcc/final.c:3124
0xad51b9 split_insn
    /home/dimhen/src/gcc_current/gcc/recog.c:2937
0xadd3ad split_all_insns()
    /home/dimhen/src/gcc_current/gcc/recog.c:2991
0xadd4c8 rest_of_handle_split_after_reload
    /home/dimhen/src/gcc_current/gcc/recog.c:3938
0xadd4c8 execute
    /home/dimhen/src/gcc_current/gcc/recog.c:3967
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.
lto-wrapper: fatal error: g++ returned 1 exit status
compilation terminated.
/usr/local/binutils_current/bin/ld: fatal error: lto-wrapper failed
collect2: error: ld returned 1 exit status

[Bug target/63805] ICE: in extract_insn, at recog.c:2327 with -mcpu=power8

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

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

--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
A smaller test case still fails with GCC 5.0.0 20150221, on both ppc64 and
ppc64le.  4.9.4 and 4.8.3 fail similarly.

$ cat u.cpp && /build/gcc-trunk/gcc/xgcc -B /build/gcc-trunk/gcc -O2 -S
-mcpu=power8 -xc++ u.cpp
struct A { long a; int b; };

struct B
{
    struct { } c;
    long a;
    int b;
};

void foo (B);

void bar ()
{
    A a;
    __atomic_load (&a, &a, 0);
    foo (B ());
}
u.cpp: In function ‘void bar()’:
u.cpp:17:1: error: unrecognizable insn:
 }
 ^
(insn 5 2 6 2 (set (reg:PTI 156)
        (unspec:PTI [
                (mem/v:TI (plus:DI (reg/f:DI 150 virtual-stack-vars)
                        (const_int 24 [0x18])) [-1  S16 A128])
            ] UNSPEC_LSQ)) u.cpp:15 -1
     (nil))
u.cpp:17:1: internal compiler error: in extract_insn, at recog.c:2343
0x109b11db _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
    /home/remote/msebor/fsf/gcc/trunk/gcc/rtl-error.c:110
0x109b1247 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
    /home/remote/msebor/fsf/gcc/trunk/gcc/rtl-error.c:118
0x10977b87 extract_insn(rtx_insn*)
    /home/remote/msebor/fsf/gcc/trunk/gcc/recog.c:2343
0x106e0ddf instantiate_virtual_regs_in_insn
    /home/remote/msebor/fsf/gcc/trunk/gcc/function.c:1598
0x106e0ddf instantiate_virtual_regs
    /home/remote/msebor/fsf/gcc/trunk/gcc/function.c:1966
0x106e0ddf execute
    /home/remote/msebor/fsf/gcc/trunk/gcc/function.c:2015
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.
>From gcc-bugs-return-478407-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Feb 25 05:45:02 2015
Return-Path: <gcc-bugs-return-478407-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 96802 invoked by alias); 25 Feb 2015 05:45:02 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 96708 invoked by uid 48); 25 Feb 2015 05:44:59 -0000
From: "law at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/64172] [4.9 Regression] Wrong code with GCC vector extensions on ARM when compiled without NEON
Date: Wed, 25 Feb 2015 09:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.2
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: law at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc short_desc
Message-ID: <bug-64172-4-pmE9Ruz1ya@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64172-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64172-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg02739.txt.bz2
Content-length: 692

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd172

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at redhat dot com
            Summary|[4.9/5 Regression] Wrong    |[4.9 Regression] Wrong code
                   |code with GCC vector        |with GCC vector extensions
                   |extensions on ARM when      |on ARM when compiled
                   |compiled without NEON       |without NEON

--- Comment #15 from Jeffrey A. Law <law at redhat dot com> ---
Fixed by Vlad's commit on the trunk.