[Bug tree-optimization/59164] [4.7/4.8/4.9 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[Bug tree-optimization/59164] [4.7/4.8/4.9 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.6.3
   Last reconfirmed|                            |2013-11-18
          Component|c                           |tree-optimization
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ice: tree check: expected   |[4.7/4.8/4.9 Regression]
                   |tree that contains ‘decl    |ice: tree check: expected
                   |minimal’ structure, have    |tree that contains ‘decl
                   |‘integer_cst’ in            |minimal’ structure, have
                   |get_var_info, at            |‘integer_cst’ in
                   |tree-into-ssa.c:380         |get_var_info, at
                   |                            |tree-into-ssa.c:380
   Target Milestone|---                         |4.7.4
      Known to fail|                            |4.7.0, 4.8.0, 4.9.0

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.
>From gcc-bugs-return-434847-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 18 11:15:55 2013
Return-Path: <gcc-bugs-return-434847-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9660 invoked by alias); 18 Nov 2013 11:15:55 -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 7309 invoked by uid 48); 18 Nov 2013 11:15:00 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59152] [4.9 Regression] ICE: loop 2's latch does not have an edge to its header with -fopenmp -fipa-pure-const
Date: Mon, 18 Nov 2013 11:15:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek 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: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc target_milestone everconfirmed
Message-ID: <bug-59152-4-KIf3H4UtCl@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59152-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59152-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: 2013-11/txt/msg01624.txt.bz2
Content-length: 614

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-18
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug tree-optimization/59164] [4.7/4.8/4.9 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

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> ---
I will have a look.

[Bug tree-optimization/59164] [4.7/4.8/4.9 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Interestingly the commented

@@ -1672,7 +1670,7 @@ vect_update_ivs_after_vectorizer (loop_v
   gimple_stmt_iterator gsi, gsi1;
   basic_block update_bb = update_e->dest;

-  /* gcc_assert (vect_can_advance_ivs_p (loop_vinfo)); */
+  gcc_assert (vect_can_advance_ivs_p (loop_vinfo));

   /* Make sure there exists a single-predecessor exit bb:  */
   gcc_assert (single_pred_p (exit_bb));

triggers here after I fix the original ICE (we can deal with that).
This points to vect_analyze_loop_operations which has a mismatched
condition to check peeling ...

[Bug tree-optimization/59164] [4.7/4.8 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.9.0
            Summary|[4.7/4.8/4.9 Regression]    |[4.7/4.8 Regression] ice:
                   |ice: tree check: expected   |tree check: expected tree
                   |tree that contains ‘decl    |that contains ‘decl
                   |minimal’ structure, have    |minimal’ structure, have
                   |‘integer_cst’ in            |‘integer_cst’ in
                   |get_var_info, at            |get_var_info, at
                   |tree-into-ssa.c:380         |tree-into-ssa.c:380
      Known to fail|4.9.0                       |

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.
>From gcc-bugs-return-435074-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Nov 19 15:04:15 2013
Return-Path: <gcc-bugs-return-435074-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9401 invoked by alias); 19 Nov 2013 15:04:14 -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 7035 invoked by uid 48); 19 Nov 2013 15:03:12 -0000
From: "glisse at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/50123] cmpxchg generated for atomic and with zero/or with -1
Date: Tue, 19 Nov 2013 15:04: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.7.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: glisse 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-50123-4-lhzsXV3JMP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50123-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50123-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: 2013-11/txt/msg01851.txt.bz2
Content-length: 212

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

--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> ---
Is this fixed or do we want a tree-level optimization replacing one builtin
with a simpler one?

[Bug tree-optimization/59164] [4.7/4.8 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Dec  6 12:39:32 2013
New Revision: 205739

URL: http://gcc.gnu.org/viewcvs?rev=205739&root=gcc&view=rev
Log:
2013-12-06  Richard Biener  <rguenther@suse.de>

    Backport from mainline
    2013-11-27  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/59288
    * tree-vect-loop.c (get_initial_def_for_induction): Do not
    re-analyze the PHI but use STMT_VINFO_LOOP_PHI_EVOLUTION_PART.

    * gcc.dg/torture/pr59288.c: New testcase.

    2013-11-19  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/59164
    * tree-vect-loop.c (vect_analyze_loop_operations): Adjust
    check whether we can create an epilogue loop to reflect the
    cases where we create one.

    * gcc.dg/torture/pr59164.c: New testcase.

    2013-09-05  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/58137
    * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size):
    Do not create vectors of pointers.
    * tree-vect-loop.c (get_initial_def_for_induction): Use proper
    types for the components of the vector initializer.
    * tree-cfg.c (verify_gimple_assign_binary): Remove special-casing
    allowing pointer vectors with PLUS_EXPR/MINUS_EXPR.

    * gcc.target/i386/pr58137.c: New testcase.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/torture/pr59164.c
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/torture/pr59288.c
    branches/gcc-4_8-branch/gcc/testsuite/gcc.target/i386/pr58137.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_8-branch/gcc/tree-cfg.c
    branches/gcc-4_8-branch/gcc/tree-vect-loop.c
    branches/gcc-4_8-branch/gcc/tree-vect-stmts.c

[Bug tree-optimization/59164] [4.7 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
      Known to fail|4.7.0, 4.8.0                |4.7.3, 4.8.2

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

[Bug tree-optimization/59164] [4.7 Regression] ice: tree check: expected tree that contains ‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at tree-into-ssa.c:380

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed May  7 11:51:36 2014
New Revision: 210154

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

    Backport from mainline
    2013-11-19  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/59164
    * tree-vect-loop.c (vect_analyze_loop_operations): Adjust
    check whether we can create an epilogue loop to reflect the
    cases where we create one.

    * gcc.dg/torture/pr59164.c: New testcase.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr59164.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-vect-loop.c