2014-01-14 Richard Biener <rguenther@suse.de>

	PR tree-optimization/58921
	PR tree-optimization/59006
	* tree-vect-loop-manip.c (vect_loop_versioning): Remove code
	hoisting invariant stmts.
	* tree-vect-stmts.c (vectorizable_load): Insert the splat of
	invariant loads on the preheader edge if possible.

	* gcc.dg/torture/pr58921.c: New testcase.
	* gcc.dg/torture/pr59006.c: Likewise.
	* gcc.dg/vect/pr58508.c: XFAIL no longer handled cases.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206599 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 0 insertions, 67 deletions

diff --git a/gcc/tree-vect-loop-manip.c b/gcc/tree-vect-loop-manip.c
index f68626171d1..77d945e6a50 100644
--- a/gcc/tree-vect-loop-manip.c
+++ b/gcc/tree-vect-loop-manip.c
@@ -2435,73 +2435,6 @@ vect_loop_versioning (loop_vec_info loop_vinfo,
 	}
     }
 
-
-  /* Extract load statements on memrefs with zero-stride accesses.  */
-
-  if (LOOP_REQUIRES_VERSIONING_FOR_ALIAS (loop_vinfo))
-    {
-      /* In the loop body, we iterate each statement to check if it is a load.
-	 Then we check the DR_STEP of the data reference.  If DR_STEP is zero,
-	 then we will hoist the load statement to the loop preheader.  */
-
-      basic_block *bbs = LOOP_VINFO_BBS (loop_vinfo);
-      int nbbs = loop->num_nodes;
-
-      for (int i = 0; i < nbbs; ++i)
-	{
-	  for (gimple_stmt_iterator si = gsi_start_bb (bbs[i]);
-	       !gsi_end_p (si);)
-	    {
-	      gimple stmt = gsi_stmt (si);
-	      stmt_vec_info stmt_info = vinfo_for_stmt (stmt);
-	      struct data_reference *dr = STMT_VINFO_DATA_REF (stmt_info);
-
-	      if (is_gimple_assign (stmt)
-		  && (!dr
-		      || (DR_IS_READ (dr) && integer_zerop (DR_STEP (dr)))))
-		{
-		  bool hoist = true;
-		  ssa_op_iter iter;
-		  tree var;
-
-		  /* We hoist a statement if all SSA uses in it are defined
-		     outside of the loop.  */
-		  FOR_EACH_SSA_TREE_OPERAND (var, stmt, iter, SSA_OP_USE)
-		    {
-		      gimple def = SSA_NAME_DEF_STMT (var);
-		      if (!gimple_nop_p (def)
-			  && flow_bb_inside_loop_p (loop, gimple_bb (def)))
-			{
-			  hoist = false;
-			  break;
-			}
-		    }
-
-		  if (hoist)
-		    {
-		      if (dr)
-			gimple_set_vuse (stmt, NULL);
-
-		      gsi_remove (&si, false);
-		      gsi_insert_on_edge_immediate (loop_preheader_edge (loop),
-						    stmt);
-
-		      if (dump_enabled_p ())
-			{
-			  dump_printf_loc
-			      (MSG_NOTE, vect_location,
-			       "hoisting out of the vectorized loop: ");
-			  dump_gimple_stmt (MSG_NOTE, TDF_SLIM, stmt, 0);
-			  dump_printf (MSG_NOTE, "\n");
-			}
-		      continue;
-		    }
-		}
-	      gsi_next (&si);
-	    }
-	}
-    }
-
   /* End loop-exit-fixes after versioning.  */
 
   if (cond_expr_stmt_list)