[Bug tree-optimization/58432] New: [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[Bug tree-optimization/58432] New: [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[markus at trippelsdorf dot de]

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

            Bug ID: 58432
           Summary: [4.9 Regression]  ICE: in insert_value_copy_on_edge,
                    at tree-outof-ssa.c:233
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: markus at trippelsdorf dot de

During profiled bootstrap:
/var/tmp/gcc_build_dir/./prev-gcc/xg++ -B/var/tmp/gcc_build_dir/./prev-gcc/
-B/usr/x86_64-pc-linux-gnu/bin/ -nostdinc++
-B/var/tmp/gcc_build_dir/prev-x86_64-p
c-linux-gnu/libstdc++-v3/src/.libs
-B/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs
-I/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-
v3/include/x86_64-pc-linux-gnu
-I/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/include
-I/var/tmp/gcc/libstdc++-v3/libsupc++ -L/var/tmp/gcc_build_dir/prev-x86_
64-pc-linux-gnu/libstdc++-v3/src/.libs
-L/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs
-c   -march=native -O3 -pipe -fuse-linker-plugin -flto=j
observer -fno-fat-lto-objects -frandom-seed=1 -fprofile-generate -fno-lto
-DIN_GCC   -fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall
-Wno-narrowing -Wwrite-st
rings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings   -DHAVE_CONFIG_H -I. -I.
-I../../gcc/gcc -I../../gcc/gcc/.
 -I../../gcc/gcc/../include -I../../gcc/gcc/../libcpp/include 
-I../../gcc/gcc/../libdecnumber -I../../gcc/gcc/../libdecnumber/bid
-I../libdecnumber -I../../gcc/gcc/../libbac
ktrace    ../../gcc/gcc/dwarf2out.c -o dwarf2out.o
../../gcc/gcc/dwarf2out.c: In function ‘void output_file_names()’:
../../gcc/gcc/dwarf2out.c:9577:1: internal compiler error: in
insert_value_copy_on_edge, at tree-outof-ssa.c:233

Reducing...
>From gcc-bugs-return-429891-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 16 10:53:28 2013
Return-Path: <gcc-bugs-return-429891-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9515 invoked by alias); 16 Sep 2013 10:53:28 -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 9495 invoked by uid 48); 16 Sep 2013 10:53:25 -0000
From: "markus at trippelsdorf dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/58432] [4.9 Regression]  ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233
Date: Mon, 16 Sep 2013 10:53:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: markus at trippelsdorf dot de
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-58432-4-V1e21JborZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58432-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58432-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg01131.txt.bz2
Content-length: 782

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

--- Comment #1 from Markus Trippelsdorf <markus at trippelsdorf dot de> ---
markus@x4 gcc % cat test.ii
struct {
  int prefix;
  int dir_idx;
} *a;
int b;
void fn1() {
  int *c, *d;
  for (; b; b++)
    if (d[b]) {
      c[b] = d[b];
      a[0].dir_idx = 0;
    }
}

markus@x4 gcc % /var/tmp/gcc_build_dir/./prev-gcc/xg++
-B/var/tmp/gcc_build_dir/./prev-gcc/ -c -O3 -fprofile-generate test.ii
test.ii:4:4: warning: anonymous type with no linkage used to declare variable
‘<anonymous struct>* a’ with linkage [enabled by default]
 } *a;
    ^
test.ii: In function ‘void fn1()’:
test.ii:6:6: internal compiler error: in insert_value_copy_on_edge, at
tree-outof-ssa.c:233
 void fn1() {
      ^
>From gcc-bugs-return-429892-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 16 11:01:26 2013
Return-Path: <gcc-bugs-return-429892-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15004 invoked by alias); 16 Sep 2013 11:01:26 -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 14978 invoked by uid 48); 16 Sep 2013 11:01:23 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/58432] [4.9 Regression]  ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233
Date: Mon, 16 Sep 2013 11:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
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-58432-4-5wR9Ov6P2W@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58432-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58432-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg01132.txt.bz2
Content-length: 1262

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I see
t.c: In function ‘fn1’:
t.c:6:6: error: invalid PHI argument
 void fn1() {
      ^
.MEM_26
t.c:6:6: error: incompatible types in PHI argument 0
long int

void

__gcov0.fn1_I_lsm.8_42 = PHI <.MEM_26(6)>
t.c:6:6: internal compiler error: verify_gimple failed
0xb0aca4 verify_gimple_in_cfg(function*)
    /home/marek/src/gcc/gcc/tree-cfg.c:4819
0x9e25df execute_function_todo
    /home/marek/src/gcc/gcc/passes.c:1833
0x9e18db do_per_function
    /home/marek/src/gcc/gcc/passes.c:1563
0x9e2703 execute_todo
    /home/marek/src/gcc/gcc/passes.c:1866
Please submit a full bug report,
with preprocessed source if appropriate.

Bisecting...
>From gcc-bugs-return-429893-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 16 11:18:45 2013
Return-Path: <gcc-bugs-return-429893-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 25668 invoked by alias); 16 Sep 2013 11:18:44 -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 25636 invoked by uid 48); 16 Sep 2013 11:18:40 -0000
From: "semicontinuity at yandex dot ru" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/58405] Unoptimal code generated for computed goto
Date: Mon, 16 Sep 2013 11:18: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.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: semicontinuity at yandex dot ru
X-Bugzilla-Status: WAITING
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-58405-4-5mzQgvOv4W@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58405-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58405-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-09/txt/msg01133.txt.bz2
Content-length: 410

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

--- Comment #2 from semicontinuity at yandex dot ru ---
Now I cannot reproduce that as well..
It seems that I've compiled it with -ffixed-r30 -ffixed-r31 (different from
original intention) - in this case it produces this kind of assembly .

Still, the code could be more optimal, without rjmp, push/pop - just with ijmp
replaced by 2 pushes + ret.

Thanks.

[Bug tree-optimization/58432] [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r202619.

[Bug tree-optimization/58432] [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[rguenth at gcc dot gnu.org]

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

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 #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine then.

[Bug tree-optimization/58432] [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Sep 17 07:47:49 2013
New Revision: 202644

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

    PR tree-optimization/58432
    * tree-loop-distribution.c (tree_loop_distribution): Also
    scan PHIs for outside loop uses and seed a partition from them.

    * gcc.dg/pr58432.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr58432.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-loop-distribution.c

[Bug tree-optimization/58432] [4.9 Regression] ICE: in insert_value_copy_on_edge, at tree-outof-ssa.c:233

[rguenth at gcc dot gnu.org]

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

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

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

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