tree-vect-loop.c (vect_determine_vectorization_factor): Also take into account…

tree-vect-loop.c (vect_determine_vectorization_factor): Also take into account live statements for mask producers.

	* tree-vect-loop.c (vect_determine_vectorization_factor): Also take
	into account live statements for mask producers.

From-SVN: r236981

gcc/ChangeLog

+2016-06-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree-vect-loop.c (vect_determine_vectorization_factor): Also take
+	into account live statements for mask producers.
+
 2016-06-01  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/71311

gcc/testsuite/ChangeLog

+2016-06-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/opt56.ad[sb]: New test.
+
 2016-06-01  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/66635

gcc/testsuite/gnat.dg/opt56.adb

+-- { dg-do compile }
+-- { dg-options "-O3" }
+
+package body Opt56 is
+
+   function F (Values : Vector) return Boolean is
+      Result : Boolean := True;
+   begin
+      for I in Values'Range loop
+         Result := Result and Values (I) >= 0.0;
+     end loop;
+     return Result;
+   end;
+
+end Opt56;

gcc/testsuite/gnat.dg/opt56.ads

+package Opt56 is
+
+   type Vector is array (Positive range <>) of Float;
+
+   function F (Values : Vector) return Boolean;
+
+end Opt56;

gcc/tree-vect-loop.c

@@ -441,7 +441,8 @@ vect_determine_vectorization_factor (loop_vec_info loop_vinfo)
 		  && is_gimple_assign (stmt)
 		  && gimple_assign_rhs_code (stmt) != COND_EXPR)
 		{
-		  if (STMT_VINFO_RELEVANT_P (stmt_info))
+		  if (STMT_VINFO_RELEVANT_P (stmt_info)
+		      || STMT_VINFO_LIVE_P (stmt_info))
 		    mask_producers.safe_push (stmt_info);
 		  bool_result = true;