re PR rtl-optimization/27872 (Internal compiler error in verify_loop_structure)

	PR tree-optimization/27872
	* tree-ssa-loop-manip.c (tree_unroll_loop): Set EDGE_IRREDUCIBLE_LOOP
	flag on the new exit edge of the unrolled loop.

From-SVN: r114482

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 237393d8f12da9bc354d3e9937a8909a3e958f68..ea88049fbd1499cd37049f693a86d74e0446fa1f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-06-07  Zdenek Dvorak <dvorakz@suse.cz>
+
+       PR tree-optimization/27872
+       * tree-ssa-loop-manip.c (tree_unroll_loop): Set EDGE_IRREDUCIBLE_LOOP
+       flag on the new exit edge of the unrolled loop.
+
 2006-06-07  Zdenek Dvorak <dvorakz@suse.cz>
 
        PR rtl-optimization/26449

diff --git a/gcc/tree-ssa-loop-manip.c b/gcc/tree-ssa-loop-manip.c
index 556264c58f4b89a6a6149093516998a009a5b33c..0b29c5ee8b48012a71e5573d8f687864f563871e 100644 (file)
--- a/gcc/tree-ssa-loop-manip.c
+++ b/gcc/tree-ssa-loop-manip.c
@@ -841,6 +841,7 @@ tree_unroll_loop (struct loops *loops, struct loop *loop, unsigned factor,
   use_operand_p op;
   bool ok;
   unsigned est_niter;
+  unsigned irr = loop_preheader_edge (loop)->flags & EDGE_IRREDUCIBLE_LOOP;
   sbitmap wont_exit;
 
   est_niter = expected_loop_iterations (loop);
@@ -883,7 +884,7 @@ tree_unroll_loop (struct loops *loops, struct loop *loop, unsigned factor,
   loop_split_edge_with (loop_latch_edge (loop), NULL);
   exit_bb = single_pred (loop->latch);
 
-  new_exit = make_edge (exit_bb, rest, EDGE_FALSE_VALUE);
+  new_exit = make_edge (exit_bb, rest, EDGE_FALSE_VALUE | irr);
   new_exit->count = loop_preheader_edge (loop)->count;
   est_niter = est_niter / factor + 1;
   new_exit->probability = REG_BR_PROB_BASE / est_niter;