diff mbox series

Fix PR91822

Message ID nycvar.YFH.7.76.1909201034340.5566@zhemvz.fhfr.qr
State New
Headers show
Series Fix PR91822 | expand

Commit Message

Richard Biener Sept. 20, 2019, 8:35 a.m. UTC 
The following restores the for_reduction parameter.

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

2019-09-20  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/91822
	* tree-vectorizer.h (vectorizable_condition): Restore for_reduction
	parameter.
	* tree-vect-loop.c (vectorizable_reduction): Adjust asserts
	for reduc_index in nested cycles, adjust vectorizable_condition
	calls.
	* tree-vect-stmts.c (vectorizable_condition): Restore for_reduction
	parameter.
	(vect_analyze_stmt): Adjust.
	(vect_transform_stmt): Likewise.
diff mbox series

Patch

Index: gcc/tree-vect-loop.c
===================================================================
--- gcc/tree-vect-loop.c	(revision 275988)
+++ gcc/tree-vect-loop.c	(working copy)
@@ -6534,9 +6534,10 @@  vectorizable_reduction (stmt_vec_info st
     {
       /* Only call during the analysis stage, otherwise we'll lose
 	 STMT_VINFO_TYPE.  */
-      gcc_assert (reduc_index > 0);
+      gcc_assert (nested_cycle || reduc_index > 0);
       if (!vec_stmt && !vectorizable_condition (stmt_info, gsi, NULL,
-						reduc_index, NULL, cost_vec))
+						true, reduc_index,
+						NULL, cost_vec))
         {
           if (dump_enabled_p ())
 	    dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
@@ -6991,7 +6992,7 @@  vectorizable_reduction (stmt_vec_info st
     {
       gcc_assert (!slp_node && reduc_index > 0);
       return vectorizable_condition (stmt_info, gsi, vec_stmt,
-				     reduc_index, NULL, NULL);
+				     true, reduc_index, NULL, NULL);
     }
 
   /* Create the destination vector  */
@@ -7021,8 +7022,8 @@  vectorizable_reduction (stmt_vec_info st
     {
       if (code == COND_EXPR)
         {
-          gcc_assert (!slp_node && reduc_index > 0);
-	  vectorizable_condition (stmt_info, gsi, vec_stmt,
+          gcc_assert (!slp_node && (nested_cycle || reduc_index > 0));
+	  vectorizable_condition (stmt_info, gsi, vec_stmt, true,
 				  reduc_index, NULL, NULL);
           break;
         }
Index: gcc/tree-vect-stmts.c
===================================================================
--- gcc/tree-vect-stmts.c	(revision 275988)
+++ gcc/tree-vect-stmts.c	(working copy)
@@ -9778,7 +9778,8 @@  vect_is_simple_cond (tree cond, vec_info
 
 bool
 vectorizable_condition (stmt_vec_info stmt_info, gimple_stmt_iterator *gsi,
-			stmt_vec_info *vec_stmt, int reduc_index,
+			stmt_vec_info *vec_stmt, bool for_reduction,
+			int reduc_index,
 			slp_tree slp_node, stmt_vector_for_cost *cost_vec)
 {
   vec_info *vinfo = stmt_info->vinfo;
@@ -9807,7 +9808,6 @@  vectorizable_condition (stmt_vec_info st
   vec<tree> vec_oprnds3 = vNULL;
   tree vec_cmp_type;
   bool masked = false;
-  bool for_reduction = (reduc_index > 0);
 
   if (for_reduction && STMT_SLP_TYPE (stmt_info))
     return false;
@@ -10668,7 +10668,7 @@  vect_analyze_stmt (stmt_vec_info stmt_in
 				     node_instance, cost_vec)
 	  || vectorizable_induction (stmt_info, NULL, NULL, node, cost_vec)
 	  || vectorizable_shift (stmt_info, NULL, NULL, node, cost_vec)
-	  || vectorizable_condition (stmt_info, NULL, NULL, 0, node,
+	  || vectorizable_condition (stmt_info, NULL, NULL, false, -1, node,
 				     cost_vec)
 	  || vectorizable_comparison (stmt_info, NULL, NULL, node,
 				      cost_vec));
@@ -10687,7 +10687,7 @@  vect_analyze_stmt (stmt_vec_info stmt_in
 	      || vectorizable_load (stmt_info, NULL, NULL, node, node_instance,
 				    cost_vec)
 	      || vectorizable_store (stmt_info, NULL, NULL, node, cost_vec)
-	      || vectorizable_condition (stmt_info, NULL, NULL, 0, node,
+	      || vectorizable_condition (stmt_info, NULL, NULL, false, -1, node,
 					 cost_vec)
 	      || vectorizable_comparison (stmt_info, NULL, NULL, node,
 					  cost_vec));
@@ -10792,7 +10792,7 @@  vect_transform_stmt (stmt_vec_info stmt_
       break;
 
     case condition_vec_info_type:
-      done = vectorizable_condition (stmt_info, gsi, &vec_stmt, 0,
+      done = vectorizable_condition (stmt_info, gsi, &vec_stmt, false, -1,
 				     slp_node, NULL);
       gcc_assert (done);
       break;
Index: gcc/tree-vectorizer.h
===================================================================
--- gcc/tree-vectorizer.h	(revision 275988)
+++ gcc/tree-vectorizer.h	(working copy)
@@ -1534,7 +1534,7 @@  extern void vect_remove_stores (stmt_vec
 extern opt_result vect_analyze_stmt (stmt_vec_info, bool *, slp_tree,
 				     slp_instance, stmt_vector_for_cost *);
 extern bool vectorizable_condition (stmt_vec_info, gimple_stmt_iterator *,
-				    stmt_vec_info *, int, slp_tree,
+				    stmt_vec_info *, bool, int, slp_tree,
 				    stmt_vector_for_cost *);
 extern bool vectorizable_shift (stmt_vec_info, gimple_stmt_iterator *,
 				stmt_vec_info *, slp_tree,