re PR middle-end/39308 (ICE when compiling with -O[s123] -floop-interchange)

2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/39308
	* graphite.c (graphite_loop_normal_form): Do not call
	number_of_iterations_exit from a gcc_assert.

From-SVN: r144470

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 27ccf26b107be9f572d50987eff7079b4016565e..1f1bbd055ba33b2ffbb13c1651230b3b5de63a99 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/39308
+       * graphite.c (graphite_loop_normal_form): Do not call 
+       number_of_iterations_exit from a gcc_assert.
+
 2009-02-27  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
 
        * gcc/config/s390/s390.c: (s390_swap_cmp): Look for conditional

diff --git a/gcc/graphite.c b/gcc/graphite.c
index a4cbdfd75a86c4cd37ca91c8d6382bea229d6607..69a72fc3c3d5ff12e3aaa5d864eea8503ebcbae0 100644 (file)
--- a/gcc/graphite.c
+++ b/gcc/graphite.c
@@ -2382,8 +2382,10 @@ graphite_loop_normal_form (loop_p loop)
   tree nit;
   gimple_seq stmts;
   edge exit = single_dom_exit (loop);
+  bool known_niter = number_of_iterations_exit (loop, exit, &niter, false);
+
+  gcc_assert (known_niter);
 
-  gcc_assert (number_of_iterations_exit (loop, exit, &niter, false));
   nit = force_gimple_operand (unshare_expr (niter.niter), &stmts, true,
                              NULL_TREE);
   if (stmts)