tree-vect-stmts.c (vect_is_simple_cond): When vectype is not specified still…

tree-vect-stmts.c (vect_is_simple_cond): When vectype is not specified still compute a comp_vectype for invariant compares.

2019-05-07  Richard Biener  <rguenther@suse.de>

	* tree-vect-stmts.c (vect_is_simple_cond): When vectype is
	not specified still compute a comp_vectype for invariant
	compares.

From-SVN: r270945

gcc/ChangeLog

 2019-05-07  Richard Biener  <rguenther@suse.de>
 
+	* tree-vect-stmts.c (vect_is_simple_cond): When vectype is
+	not specified still compute a comp_vectype for invariant
+	compares.
+
+2019-05-07  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/90316
 	* tree-ssa-pre.c (translate_vuse_through_block): When
 	same_valid is NULL do not bother to search for a virtual

gcc/tree-vect-stmts.c

@@ -8864,11 +8864,12 @@ vect_is_simple_cond (tree cond, vec_info *vinfo,
 
   *comp_vectype = vectype1 ? vectype1 : vectype2;
   /* Invariant comparison.  */
-  if (! *comp_vectype && vectype)
+  if (! *comp_vectype)
     {
       tree scalar_type = TREE_TYPE (lhs);
       /* If we can widen the comparison to match vectype do so.  */
       if (INTEGRAL_TYPE_P (scalar_type)
+	  && vectype
 	  && tree_int_cst_lt (TYPE_SIZE (scalar_type),
 			      TYPE_SIZE (TREE_TYPE (vectype))))
 	scalar_type = build_nonstandard_integer_type