tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge): Update virtual SSA form.

2013-03-21  Richard Biener  <rguenther@suse.de>

	* tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge):
	Update virtual SSA form.

From-SVN: r196868

gcc/ChangeLog

+2013-03-21  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge):
+	Update virtual SSA form.
+
 2013-03-21  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
 	* configure.ac (gcc_cv_ld_eh_frame_ciev3): New test.

gcc/tree-vect-loop-manip.c

@@ -1057,6 +1057,15 @@ slpeel_tree_peel_loop_to_edge (struct loop *loop,
   if (!slpeel_can_duplicate_loop_p (loop, e))
     return NULL;
 
+  /* We might have a queued need to update virtual SSA form.  As we
+     delete the update SSA machinery below after doing a regular
+     incremental SSA update during loop copying make sure we don't
+     lose that fact.
+     ???  Needing to update virtual SSA form by renaming is unfortunate
+     but not all of the vectorizer code inserting new loads / stores
+     properly assigns virtual operands to those statements.  */
+  update_ssa (TODO_update_ssa_only_virtuals);
+ 
   /* If the loop has a virtual PHI, but exit bb doesn't, create a virtual PHI
      in the exit bb and rename all the uses after the loop.  This simplifies
      the *guard[12] routines, which assume loop closed SSA form for all PHIs