loop-iv.c (iv_number_of_iterations): Record the upper bound only if there are no…

loop-iv.c (iv_number_of_iterations): Record the upper bound only if there are no further conditions on it.


	* loop-iv.c (iv_number_of_iterations): Record the upper bound
	only if there are no further conditions on it.

From-SVN: r192636

gcc/ChangeLog

+2012-10-20  Jan Hubicka  <jh@suse.cz>
+
+	* loop-iv.c (iv_number_of_iterations): Record the upper bound
+	only if there are no further conditions on it.
+
 2012-10-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
 	PR c/53063

gcc/loop-iv.c

@@ -2593,6 +2593,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
 			 ? iv0.base
 			 : mode_mmin);
 	  max = (up - down) / inc + 1;
+	  if (!desc->infinite
+	      && !desc->assumptions)
 	    record_niter_bound (loop, double_int::from_uhwi (max),
 			        false, true);
 
@@ -2806,6 +2808,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
 
       desc->const_iter = true;
       desc->niter = val & GET_MODE_MASK (desc->mode);
+      if (!desc->infinite
+	  && !desc->assumptions)
         record_niter_bound (loop, double_int::from_uhwi (desc->niter),
 			    false, true);
     }
@@ -2813,6 +2817,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
     {
       max = determine_max_iter (loop, desc, old_niter);
       gcc_assert (max);
+      if (!desc->infinite
+	  && !desc->assumptions)
 	record_niter_bound (loop, double_int::from_uhwi (max),
 			    false, true);