[Bug c/59822] New: ice in compute_live_loop_exits with -O3

[Bug c/59822] New: ice in compute_live_loop_exits with -O3

[dcb314 at hotmail dot com]

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

            Bug ID: 59822
           Summary: ice in compute_live_loop_exits with -O3
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com

I just tried to bootstrap trunk revision 206619 on an x86_64 Linux box.

Configure line is

../src/trunk/configure --prefix=/home/dcb/gcc/results 
    --enable-checking=yes --enable-languages=c,c++,fortran --disable-werror

In the generated Makefile, I changed BOOT_CFLAGS from
-g -O2 to -g -O3.

I got

../../src/trunk/gcc/config/i386/i386.c: In function ‘rtx_def*
ix86_build_const_vector(machine_mode, bool, rtx)’:
../../src/trunk/gcc/config/i386/i386.c:18746:1: internal compiler error: in
compute_live_loop_exits, at tree-ssa-loop-manip.c:237
 ix86_build_const_vector (enum machine_mode mode, bool vect, rtx value)
 ^
0xe978e5 compute_live_loop_exits
    ../../src/trunk/gcc/tree-ssa-loop-manip.c:237
0xe97cf8 add_exit_phis_var
    ../../src/trunk/gcc/tree-ssa-loop-manip.c:324
0xe97dfc add_exit_phis
    ../../src/trunk/gcc/tree-ssa-loop-manip.c:346
0xe9847b rewrite_into_loop_closed_ssa(bitmap_head*, unsigned int)
    ../../src/trunk/gcc/tree-ssa-loop-manip.c:540
0xf9f9bf vectorize_loops()
    ../../src/trunk/gcc/tree-vectorizer.c:579
0xeac556 tree_loop_vectorize
    ../../src/trunk/gcc/tree-ssa-loop.c:154
0xeac5e0 execute
    ../../src/trunk/gcc/tree-ssa-loop.c:189
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.

Interestingly, when I dropped BOOT_CLAGS back to -g -O2, the bootstrap
worked.
>From gcc-bugs-return-440409-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jan 15 10:28:34 2014
Return-Path: <gcc-bugs-return-440409-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10881 invoked by alias); 15 Jan 2014 10:28:33 -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 10825 invoked by uid 55); 15 Jan 2014 10:28:28 -0000
From: "clyon at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/59695] bad code generation on aarch64 in aarch64_output_mi_thunk
Date: Wed, 15 Jan 2014 10:28: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.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: clyon at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
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:
Message-ID: <bug-59695-4-3BN2K76q8h@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59695-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59695-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/msg01551.txt.bz2
Content-length: 710

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

--- Comment #2 from clyon at gcc dot gnu.org ---
Author: clyon
Date: Wed Jan 15 10:27:55 2014
New Revision: 206628

URL: http://gcc.gnu.org/viewcvs?rev 6628&root=gcc&view=rev
Log:
2014-01-15  Matthew Gretton-Dann  <matthew.gretton-dann@linaro.org>
            Kugan Vivekanandarajah  <kuganv@linaro.org>

    gcc/
    PR target/59695
    * config/aarch64/aarch64.c (aarch64_build_constant): Fix incorrect
    truncation.

    gcc/testsuite/
    PR target/59695
    * g++.dg/pr59695.C: New testcase.


Added:
    trunk/gcc/testsuite/g++.dg/pr59695.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/aarch64/aarch64.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/59822] [4.9 Regression] ice in compute_live_loop_exits with -O3

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-01-15
          Component|c                           |tree-optimization
   Target Milestone|---                         |4.9.0
            Summary|ice in                      |[4.9 Regression] ice in
                   |compute_live_loop_exits     |compute_live_loop_exits
                   |with -O3                    |with -O3
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I guess --with-build-config=bootstrap-O3 is affected then.  Confirmed,
reducing.

[Bug tree-optimization/59822] [4.9 Regression] ice in compute_live_loop_exits with -O3

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
typedef struct rtvec_def *rtvec;
enum machine_mode { VOIDmode };
struct rtvec_def { void *elem[1]; };
extern void *const_tiny_rtx[2];
void
ix86_build_const_vector (enum machine_mode mode, bool vect, 
                         void *value, rtvec v, int n_elt)
{
  int i;
  for (i = 1; i < n_elt; ++i)  
    ((v)->elem[i]) = vect ? value : (const_tiny_rtx[(int) (mode)]);
}


I will have a look.

[Bug tree-optimization/59822] [4.9 Regression] ice in compute_live_loop_exits with -O3

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Jan 15 15:13:08 2014
New Revision: 206630

URL: http://gcc.gnu.org/viewcvs?rev=206630&root=gcc&view=rev
Log:
2014-01-15  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/59822
    * tree-vect-stmts.c (hoist_defs_of_uses): New function.
    (vectorizable_load): Use it to hoist defs of uses of invariant
    loads out of the loop.

    * g++.dg/torture/pr59822.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr59822.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/59822] [4.9 Regression] ice in compute_live_loop_exits with -O3

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.