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).