[gcc/devel/omp/gcc-13] vect: vectorize via libfuncs

[gcc/devel/omp/gcc-13] vect: vectorize via libfuncs

[Andrew Stubbs]

https://gcc.gnu.org/g:273fadc1f3d3667b587c2facc8724df91de7ddb0

commit 273fadc1f3d3667b587c2facc8724df91de7ddb0
Author: Andrew Stubbs <ams@codesourcery.com>
Date:   Tue Jun 13 16:44:31 2023 +0100

    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.
    
    (cherry picked from commit 1f97a0b412ed0984ff4af381b222b87424c08dbd)

Diff:
---
 gcc/ChangeLog.omp        | 10 ++++++++++
 gcc/tree-vect-generic.cc |  5 ++++-
 gcc/tree-vect-stmts.cc   |  5 +++--
 3 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/gcc/ChangeLog.omp b/gcc/ChangeLog.omp
index 486ba9e733f..10cdd421b1a 100644
--- a/gcc/ChangeLog.omp
+++ b/gcc/ChangeLog.omp
@@ -1,3 +1,13 @@
+2023-06-20  Andrew Stubbs  <ams@codesourcery.com>
+
+	Backport from mainline:
+	2023-06-19  Andrew Stubbs  <ams@codesourcery.com>
+
+	* 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.
+
 2023-06-20  Andrew Stubbs  <ams@codesourcery.com>
 
 	Backport from mainline:
diff --git a/gcc/tree-vect-generic.cc b/gcc/tree-vect-generic.cc
index 445da53292e..d02a2a16ed3 100644
--- a/gcc/tree-vect-generic.cc
+++ b/gcc/tree-vect-generic.cc
@@ -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.
@@ -1743,7 +1744,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,
diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc
index 05a4e746506..6e962ed0ef4 100644
--- a/gcc/tree-vect-stmts.cc
+++ b/gcc/tree-vect-stmts.cc
@@ -55,6 +55,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"
@@ -6382,8 +6383,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);