public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) @ 2004-11-29 14:01 coudert at clipper dot ens dot fr 2004-11-29 14:03 ` [Bug tree-optimization/18716] " pinskia at gcc dot gnu dot org ` (5 more replies) 0 siblings, 6 replies; 7+ messages in thread From: coudert at clipper dot ens dot fr @ 2004-11-29 14:01 UTC (permalink / raw) To: gcc-bugs [-- Warning: decoded text below may be mangled, UTF-8 assumed --] [-- Attachment #1: Type: text/plain, Size: 1291 bytes --] The following simple fortran code: ------------------------- subroutine test(n, v) implicit none integer :: n, i real(8) :: v(n) do i = 1, n v(i) = 0 end do return end ------------------------- fails to compile with the following messages: (using latest gfortran binaries, from 20041128 CVS) ~ $ gfortran -O1 -msse2 -ftree-vectorize -c foo.f90 foo.f90: In function test: foo.f90:1: error: then label does not match edge at end of bb 1 foo.f90:1: error: else label does not match edge at end of bb 1 foo.f90:1: error: then label does not match edge at end of bb 7 foo.f90:1: error: else label does not match edge at end of bb 7 foo.f90:1: internal compiler error: verify_flow_info failed However, it does compile fine if I remove one of -O1, -msse2 or -ftree-vectorize. -- Summary: [ICE] verify_flow_info failed (loop) Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: coudert at clipper dot ens dot fr CC: gcc-bugs at gcc dot gnu dot org GCC host triplet: i686-gnu-linux http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr @ 2004-11-29 14:03 ` pinskia at gcc dot gnu dot org 2004-11-30 12:35 ` pinskia at gcc dot gnu dot org ` (4 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-11-29 14:03 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-29 14:03 ------- Here is an example which fails on ppc-darwin with altivec turned on: subroutine test(n, v) implicit none integer :: n, i real(4) :: v(n) do i = 1, n v(i) = 0 end do return end -- What |Removed |Added ---------------------------------------------------------------------------- CC| |dorit at il dot ibm dot com Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords| |ice-on-valid-code Last reconfirmed|0000-00-00 00:00:00 |2004-11-29 14:03:05 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr 2004-11-29 14:03 ` [Bug tree-optimization/18716] " pinskia at gcc dot gnu dot org @ 2004-11-30 12:35 ` pinskia at gcc dot gnu dot org 2004-12-01 18:35 ` dorit at il dot ibm dot com ` (3 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-11-30 12:35 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-30 12:35 ------- *** Bug 18734 has been marked as a duplicate of this bug. *** -- What |Removed |Added ---------------------------------------------------------------------------- CC| |htanabe at edu dot gunma-u | |dot ac dot jp http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr 2004-11-29 14:03 ` [Bug tree-optimization/18716] " pinskia at gcc dot gnu dot org 2004-11-30 12:35 ` pinskia at gcc dot gnu dot org @ 2004-12-01 18:35 ` dorit at il dot ibm dot com 2004-12-01 21:58 ` dorit at il dot ibm dot com ` (2 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: dorit at il dot ibm dot com @ 2004-12-01 18:35 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From dorit at il dot ibm dot com 2004-12-01 18:34 ------- This patch should fix the problem: Index: tree-vectorizer.c =================================================================== RCS file: /cvs/gcc/gcc/gcc/tree-vectorizer.c,v retrieving revision 2.42 diff -c -3 -p -r2.42 tree-vectorizer.c *** tree-vectorizer.c 25 Nov 2004 22:31:09 -0000 2.42 --- tree-vectorizer.c 1 Dec 2004 18:30:50 -0000 *************** slpeel_make_loop_iterate_ntimes (struct *** 665,670 **** --- 665,672 ---- tree exit_label = tree_block_label (loop->single_exit->dest); tree init = build_int_cst (TREE_TYPE (niters), 0); tree step = build_int_cst (TREE_TYPE (niters), 1); + tree then_label; + tree else_label; orig_cond = get_loop_exit_condition (loop); gcc_assert (orig_cond); *************** slpeel_make_loop_iterate_ntimes (struct *** 677,690 **** gcc_assert (bsi_stmt (loop_exit_bsi) == orig_cond); if (exit_edge->flags & EDGE_TRUE_VALUE) /* 'then' edge exits the loop. */ ! cond = build2 (GE_EXPR, boolean_type_node, indx_after_incr, niters); else /* 'then' edge loops back. */ ! cond = build2 (LT_EXPR, boolean_type_node, indx_after_incr, niters); - begin_label = build1 (GOTO_EXPR, void_type_node, begin_label); - exit_label = build1 (GOTO_EXPR, void_type_node, exit_label); cond_stmt = build3 (COND_EXPR, TREE_TYPE (orig_cond), cond, ! begin_label, exit_label); bsi_insert_before (&loop_exit_bsi, cond_stmt, BSI_SAME_STMT); /* Remove old loop exit test: */ --- 679,698 ---- gcc_assert (bsi_stmt (loop_exit_bsi) == orig_cond); if (exit_edge->flags & EDGE_TRUE_VALUE) /* 'then' edge exits the loop. */ ! { ! cond = build2 (GE_EXPR, boolean_type_node, indx_after_incr, niters); ! then_label = build1 (GOTO_EXPR, void_type_node, exit_label); ! else_label = build1 (GOTO_EXPR, void_type_node, begin_label); ! } else /* 'then' edge loops back. */ ! { ! cond = build2 (LT_EXPR, boolean_type_node, indx_after_incr, niters); ! then_label = build1 (GOTO_EXPR, void_type_node, begin_label); ! else_label = build1 (GOTO_EXPR, void_type_node, exit_label); ! } cond_stmt = build3 (COND_EXPR, TREE_TYPE (orig_cond), cond, ! then_label, else_label); bsi_insert_before (&loop_exit_bsi, cond_stmt, BSI_SAME_STMT); /* Remove old loop exit test: */ I'll submit a patch to mainline shortly. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr ` (2 preceding siblings ...) 2004-12-01 18:35 ` dorit at il dot ibm dot com @ 2004-12-01 21:58 ` dorit at il dot ibm dot com 2004-12-02 14:01 ` cvs-commit at gcc dot gnu dot org 2004-12-02 14:13 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: dorit at il dot ibm dot com @ 2004-12-01 21:58 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From dorit at il dot ibm dot com 2004-12-01 21:58 ------- > I'll submit a patch to mainline shortly. patch: http://gcc.gnu.org/ml/gcc-patches/2004-12/msg00077.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr ` (3 preceding siblings ...) 2004-12-01 21:58 ` dorit at il dot ibm dot com @ 2004-12-02 14:01 ` cvs-commit at gcc dot gnu dot org 2004-12-02 14:13 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: cvs-commit at gcc dot gnu dot org @ 2004-12-02 14:01 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-12-02 14:01 ------- Subject: Bug 18716 CVSROOT: /cvs/gcc Module name: gcc Changes by: dorit@gcc.gnu.org 2004-12-02 14:00:42 Modified files: gcc : ChangeLog tree-vectorizer.c Log message: PR tree-opt/18716 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Properly set then and else labels. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6678&r2=2.6679 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vectorizer.c.diff?cvsroot=gcc&r1=2.46&r2=2.47 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/18716] [ICE] verify_flow_info failed (loop) 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr ` (4 preceding siblings ...) 2004-12-02 14:01 ` cvs-commit at gcc dot gnu dot org @ 2004-12-02 14:13 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-12-02 14:13 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-12-02 14:13 ------- Fixed. -- What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18716 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2004-12-02 14:13 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2004-11-29 14:01 [Bug tree-optimization/18716] New: [ICE] verify_flow_info failed (loop) coudert at clipper dot ens dot fr 2004-11-29 14:03 ` [Bug tree-optimization/18716] " pinskia at gcc dot gnu dot org 2004-11-30 12:35 ` pinskia at gcc dot gnu dot org 2004-12-01 18:35 ` dorit at il dot ibm dot com 2004-12-01 21:58 ` dorit at il dot ibm dot com 2004-12-02 14:01 ` cvs-commit at gcc dot gnu dot org 2004-12-02 14:13 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).