From: Richard Biener <rguenther@suse.de>
Date: Fri, 18 Oct 2024 10:03:12 +0000 (+0200)
Subject: Adjust assert in vect_build_slp_tree_2
X-Git-Tag: basepoints/gcc-16~5087
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ee70e5c729b157351155be905b290412435c081c;p=thirdparty%2Fgcc.git

Adjust assert in vect_build_slp_tree_2

The assert in SLP discovery when we handle masked operations is
confusingly wide - all gather variants should be catched by
the earlier STMT_VINFO_GATHER_SCATTER_P.

	* tree-vect-slp.cc (vect_build_slp_tree_2): Only expect
	IFN_MASK_LOAD for masked loads that are not
	STMT_VINFO_GATHER_SCATTER_P.
---

diff --git a/gcc/tree-vect-slp.cc b/gcc/tree-vect-slp.cc
index 9276662fa0f..53f5400a961 100644
--- a/gcc/tree-vect-slp.cc
+++ b/gcc/tree-vect-slp.cc
@@ -2020,11 +2020,7 @@ vect_build_slp_tree_2 (vec_info *vinfo, slp_tree node,
 
 	  if (gcall *stmt = dyn_cast <gcall *> (stmt_info->stmt))
 	    {
-	      gcc_assert (gimple_call_internal_p (stmt, IFN_MASK_LOAD)
-			  || gimple_call_internal_p (stmt, IFN_GATHER_LOAD)
-			  || gimple_call_internal_p (stmt, IFN_MASK_GATHER_LOAD)
-			  || gimple_call_internal_p (stmt,
-						     IFN_MASK_LEN_GATHER_LOAD));
+	      gcc_assert (gimple_call_internal_p (stmt, IFN_MASK_LOAD));
 	      bool has_gaps = false;
 	      if (STMT_VINFO_GROUPED_ACCESS (stmt_info))
 		for (stmt_vec_info si = DR_GROUP_NEXT_ELEMENT (first_stmt_info);