vect: vectorize via libfuncs

This patch allows vectorization when the libfuncs are defined.

gcc/ChangeLog:

	* tree-vect-generic.cc: Include optabs-libfuncs.h.
	(get_compute_type): Check optab_libfunc.
	* tree-vect-stmts.cc: Include optabs-libfuncs.h.
	(vectorizable_operation): Check optab_libfunc.
This commit is contained in:
Andrew Stubbs 2023-06-13 16:44:31 +01:00
parent 8aeabd9f63
commit 1f97a0b412
2 changed files with 7 additions and 3 deletions

View file

@ -44,6 +44,7 @@ along with GCC; see the file COPYING3. If not see
#include "gimple-fold.h"
#include "gimple-match.h"
#include "recog.h" /* FIXME: for insn_data */
#include "optabs-libfuncs.h"
/* Build a ternary operation and gimplify it. Emit code before GSI.
@ -1714,7 +1715,9 @@ get_compute_type (enum tree_code code, optab op, tree type)
machine_mode compute_mode = TYPE_MODE (compute_type);
if (VECTOR_MODE_P (compute_mode))
{
if (op && optab_handler (op, compute_mode) != CODE_FOR_nothing)
if (op
&& (optab_handler (op, compute_mode) != CODE_FOR_nothing
|| optab_libfunc (op, compute_mode)))
return compute_type;
if (code == MULT_HIGHPART_EXPR
&& can_mult_highpart_p (compute_mode,

View file

@ -56,6 +56,7 @@ along with GCC; see the file COPYING3. If not see
#include "gimple-fold.h"
#include "regs.h"
#include "attribs.h"
#include "optabs-libfuncs.h"
/* For lang_hooks.types.type_for_mode. */
#include "langhooks.h"
@ -6530,8 +6531,8 @@ vectorizable_operation (vec_info *vinfo,
"no optab.\n");
return false;
}
target_support_p = (optab_handler (optab, vec_mode)
!= CODE_FOR_nothing);
target_support_p = (optab_handler (optab, vec_mode) != CODE_FOR_nothing
|| optab_libfunc (optab, vec_mode));
}
bool using_emulated_vectors_p = vect_emulated_vector_p (vectype);