In the case where 8 out of every 16 elements are widened using a widening pattern and the next 8 are skipped, the patterns are not recognized. This is because they are normally used in a pair, such as VEC_WIDEN_MINUS_HI/LO, to achieve a v16qi->v16hi conversion for example. This patch adds support for V8QI->V8HI patterns. gcc/ChangeLog: PR tree-optimization/98772 * optabs-tree.c (supportable_half_widening_operation): New function to check for supportable V8QI->V8HI widening patterns. * optabs-tree.h (supportable_half_widening_operation): New function. * tree-vect-stmts.c (vect_create_half_widening_stmts): New function to create promotion stmts for V8QI->V8HI widening patterns. (vectorizable_conversion): Add case for V8QI->V8HI. gcc/testsuite/ChangeLog: PR tree-optimization/98772 * gcc.target/aarch64/pr98772.c: New test.
51 lines
1.8 KiB
C
51 lines
1.8 KiB
C
/* Tree-based target query functions relating to optabs
|
|
Copyright (C) 2001-2021 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3, or (at your option)
|
|
any later version.
|
|
|
|
GCC is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GCC_OPTABS_TREE_H
|
|
#define GCC_OPTABS_TREE_H
|
|
|
|
#include "optabs-query.h"
|
|
|
|
/* An extra flag to control optab_for_tree_code's behavior. This is needed to
|
|
distinguish between machines with a vector shift that takes a scalar for the
|
|
shift amount vs. machines that take a vector for the shift amount. */
|
|
enum optab_subtype
|
|
{
|
|
optab_default,
|
|
optab_scalar,
|
|
optab_vector
|
|
};
|
|
|
|
/* Return the optab used for computing the given operation on the type given by
|
|
the second argument. The third argument distinguishes between the types of
|
|
vector shifts and rotates. */
|
|
optab optab_for_tree_code (enum tree_code, const_tree, enum optab_subtype);
|
|
bool
|
|
supportable_half_widening_operation (enum tree_code, tree, tree,
|
|
enum tree_code *);
|
|
bool supportable_convert_operation (enum tree_code, tree, tree,
|
|
enum tree_code *);
|
|
bool expand_vec_cmp_expr_p (tree, tree, enum tree_code);
|
|
bool expand_vec_cond_expr_p (tree, tree, enum tree_code);
|
|
void init_tree_optimization_optabs (tree);
|
|
bool target_supports_op_p (tree, enum tree_code,
|
|
enum optab_subtype = optab_default);
|
|
|
|
#endif
|