[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[law at redhat dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at redhat dot com

--- Comment #1 from Jeffrey A. Law <law at redhat dot com> ---
I can't get this to fail either on the tip of the trunk or r205320.

Are you still seeing this failure?

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[schwab@linux-m68k.org]

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

--- Comment #2 from Andreas Schwab <schwab@linux-m68k.org> ---
http://gcc.gnu.org/ml/gcc-testresults/2014-01/msg02171.html

It still fails the same.

There's a similar ICE in gcc.dg/vect/pr37539.c -flto -ffat-lto-objects:

$ gcc/xgcc -Bgcc/ ../gcc/testsuite/gcc.dg/vect/pr37539.c
-fno-diagnostics-show-caret -fdiagnostics-color=never -flto -ffat-lto-objects
-ftree-vectorize -fno-vect-cost-model -fno-common -O2 -fdump-tree-vect-details
-lm -o ./pr37539.exe
../gcc/testsuite/gcc.dg/vect/pr37539.c: In function ‘ayuv2yuyv_ref’:
../gcc/testsuite/gcc.dg/vect/pr37539.c:16:19: internal compiler error: in
expand_expr_real_2, at expr.c:9109
0x400000000056144f expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
        ../../gcc/expr.c:9109
0x400000000037bdcf expand_gimple_stmt_1
        ../../gcc/cfgexpand.c:3249
0x400000000037bdcf expand_gimple_stmt
        ../../gcc/cfgexpand.c:3309
0x400000000037ca3f expand_gimple_basic_block
        ../../gcc/cfgexpand.c:5149
0x4000000000383f0f gimple_expand_cfg
        ../../gcc/cfgexpand.c:5715
0x4000000000383f0f execute
        ../../gcc/cfgexpand.c:5935
>From gcc-bugs-return-441726-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jan 28 13:40:42 2014
Return-Path: <gcc-bugs-return-441726-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 23275 invoked by alias); 28 Jan 2014 13:40:41 -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 23220 invoked by uid 55); 28 Jan 2014 13:40:38 -0000
From: "jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58639] [4.7/4.8/4.9 Regression] ICE on self-referential struct member
Date: Tue, 28 Jan 2014 13:40:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jason at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: jason at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.7.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-58639-4-gkvOWoN7Ji@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58639-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58639-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-01/txt/msg02868.txt.bz2
Content-length: 514

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX639

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Jan 28 13:40:06 2014
New Revision: 207183

URL: http://gcc.gnu.org/viewcvs?rev 7183&root=gcc&view=rev
Log:
    PR c++/58639
    * call.c (build_aggr_conv): Reject value-initialization of reference.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/initlist78.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/call.c

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[law at redhat dot com]

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

--- Comment #3 from Jeffrey A. Law <law at redhat dot com> ---
Can you include -v on your command line.  It'd also be helpful if you could
include the intermediates generated by -save-temps.

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[law at redhat dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P2
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-01-28
     Ever confirmed|0                           |1

--- Comment #6 from Jeffrey A. Law <law at redhat dot com> ---
Thanks.  I've managed to reproduce the failure using those intermediate files. 
However, I haven't managed to trigger the failure directly from source.

What's happening is we're getting into expand_shift_1:

Breakpoint 3, expand_shift_1 (code=LSHIFT_EXPR, mode=V8QImode,
shifted=0x200000000416e0e0, amount=0x2000000004010410, target=0x0, unsignedp=0)

The amount is (const_int 1)


V8Q8mode isn't a valid shift mode for the ia64 target (mode iterator for the
shifts uses VECINT24).  Since there isn't a pattern for this, no libcall and
the generic bits don't know how to synthesize the shift, we trip the assertion
and die.

We get into this code trying to expand:

<mult_expr 0x200000000414cac8
    type <vector_type 0x20000000041513b0
        type <integer_type 0x20000000040e2028 public unsigned QI
            size <integer_cst 0x2000000004029b80 constant 8>
            unit size <integer_cst 0x2000000004029ba0 constant 1>
            align 8 symtab 0 alias set 0 canonical type 0x20000000040e2028
precision 8 min <integer_cst 0x200000000402b300 0> max <integer_cst
0x200000000402b320 255>>
        unsigned V8QI
        size <integer_cst 0x20000000040299c0 constant 64>
        unit size <integer_cst 0x20000000040299e0 constant 8>
        align 64 symtab 0 alias set -1 canonical type 0x20000000041513b0 nunits
8>

    arg 0 <ssa_name 0x2000000004142178 type <vector_type 0x20000000041513b0>
        visited var <var_decl 0x200000000401dc80 vect__34.18>def_stmt
vect__34.18_241 = VIEW_CONVERT_EXPR<vector(8) unsigned char>(vect__33.17_242);

        version 241>
    arg 1 <vector_cst 0x200000000413e300 type <vector_type 0x20000000041513b0>
        constant
        elt0:  <integer_cst 0x200000000402b500 constant 3> elt1:  <integer_cst
0x200000000402b500 3> elt2:  <integer_cst 0x200000000402b500 3> elt3: 
<integer_cst 0x200000000402b500 3> elt4:  <integer_cst 0x200000000402b500 3>
elt5:  <integer_cst 0x200000000402b500 3> elt6:  <integer_cst
0x200000000402b500 3> elt7:  <integer_cst 0x200000000402b500 3>>
    ../gcc/testsuite/gcc.dg/vect/bb-slp-26.c:19:14>


Clearly expanding a V8QImode multiply using a shift is a bad idea on Itanic. 
What I don't see is how to stop the code form using shifts like this.

Regardless, the bug is confirmed, but given it's Itanic, it's certainly not
worthy of P1 status.

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 32031
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32031&action=edit
gcc49-pr59261.patch

Untested fix (well, tested with a cross that it does ICE on this testcase
without it and doesn't with it).

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[schwab@linux-m68k.org]

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

--- Comment #8 from Andreas Schwab <schwab@linux-m68k.org> ---
http://gcc.gnu.org/ml/gcc-testresults/2014-02/msg00179.html

No regressions and the testcase works now.

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Feb  4 09:36:18 2014
New Revision: 207456

URL: http://gcc.gnu.org/viewcvs?rev=207456&root=gcc&view=rev
Log:
    PR middle-end/59261
    * expmed.c (expand_mult): For MODE_VECTOR_INT multiplication
    if there is no vashl<mode>3 or ashl<mode>3 insn, skip_synth.

    * gcc.dg/pr59261.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr59261.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expmed.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/59261] [4.9 regression] FAIL: gcc.dg/vect/bb-slp-26.c -flto -ffat-lto-objects (internal compiler error)

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed then.