From: Richard Biener <rguenther@suse.de>
Date: Fri, 25 Oct 2024 12:20:23 +0000 (+0200)
Subject: Finish vectorizer pattern proper COND_EXPR transition
X-Git-Tag: basepoints/gcc-16~4859
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9fd86361676064a06ed61d4e7ae82492a14185a3;p=thirdparty%2Fgcc.git

Finish vectorizer pattern proper COND_EXPR transition

This fixes up vect_recog_ctz_ffs_pattern.

	* tree-vect-patterns.cc (vect_recog_ctz_ffs_pattern): Create
	a separate pattern stmt for the comparison in the generated
	COND_EXPR.
---

diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc
index d9fe49378583..46aa3129bb30 100644
--- a/gcc/tree-vect-patterns.cc
+++ b/gcc/tree-vect-patterns.cc
@@ -2072,8 +2072,11 @@ vect_recog_ctz_ffs_pattern (vec_info *vinfo, stmt_vec_info stmt_vinfo,
       tree ret_var = vect_recog_temp_ssa_var (lhs_type, NULL);
       rhs_oprnd = gimple_call_arg (call_stmt, 0);
       rhs_type = TREE_TYPE (rhs_oprnd);
-      tree cmp = build2_loc (loc, NE_EXPR, boolean_type_node,
-			     rhs_oprnd, build_zero_cst (rhs_type));
+      tree cmp = vect_recog_temp_ssa_var (boolean_type_node, NULL);
+      pattern_stmt = gimple_build_assign (cmp, NE_EXPR, rhs_oprnd,
+					  build_zero_cst (rhs_type));
+      append_pattern_def_seq (vinfo, stmt_vinfo, pattern_stmt,
+			      truth_type_for (vec_type), rhs_type);
       pattern_stmt = gimple_build_assign (ret_var, COND_EXPR, cmp,
 					  new_var,
 					  build_int_cst (lhs_type, val));