482b2b43e5
One problem with adding an N-bit vector extension to an existing
architecture is to decide how N-bit vectors should be passed to
functions and returned from functions. Allowing all N-bit vector
types to be passed in registers breaks backwards compatibility,
since N-bit vectors could be used (and emulated) before the vector
extension was added. But always passing N-bit vectors on the
stack would be inefficient for things like vector libm functions.
For SVE we took the compromise position of predefining new SVE vector
types that are distinct from all existing vector types, including
GNU-style vectors. The new types are passed and returned in an
efficient way while existing vector types are passed and returned
in the traditional way. In the right circumstances, the two types
are inter-convertible.
The SVE types are created using:
vectype = build_distinct_type_copy (vectype);
SET_TYPE_STRUCTURAL_EQUALITY (vectype);
TYPE_ARTIFICIAL (vectype) = 1;
The C frontend maintains this distinction, using VIEW_CONVERT_EXPR
to convert from one type to the other. However, the distinction can
be lost during gimple, which treats two vector types with the same
mode, number of elements, and element type as equivalent. And for
most targets that's the right thing to do.
This patch therefore adds a hook that lets the target choose
whether such vector types are indeed equivalent.
Note that the new tests fail for -mabi=ilp32 in the same way as other
ACLE-based tests. I'm still planning to fix that as a follow-on.
2020-01-09 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* target.def (compatible_vector_types_p): New target hook.
* hooks.h (hook_bool_const_tree_const_tree_true): Declare.
* hooks.c (hook_bool_const_tree_const_tree_true): New function.
* doc/tm.texi.in (TARGET_COMPATIBLE_VECTOR_TYPES_P): New hook.
* doc/tm.texi: Regenerate.
* gimple-expr.c: Include target.h.
(useless_type_conversion_p): Use targetm.compatible_vector_types_p.
* config/aarch64/aarch64.c (aarch64_compatible_vector_types_p): New
function.
(TARGET_COMPATIBLE_VECTOR_TYPES_P): Define.
* config/aarch64/aarch64-sve-builtins.cc (gimple_folder::convert_pred):
Use the original predicate if it already has a suitable type.
gcc/testsuite/
* gcc.target/aarch64/sve/pcs/gnu_vectors_1.c: New test.
* gcc.target/aarch64/sve/pcs/gnu_vectors_2.c: Likewise.
From-SVN: r280047
137 lines
6.1 KiB
C
137 lines
6.1 KiB
C
/* General-purpose hooks.
|
|
Copyright (C) 2002-2020 Free Software Foundation, Inc.
|
|
|
|
This program 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.
|
|
|
|
This program 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 this program; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>.
|
|
|
|
In other words, you are welcome to use, share and improve this program.
|
|
You are forbidden to forbid anyone else to use, share and improve
|
|
what you give them. Help stamp out software-hoarding! */
|
|
|
|
#ifndef GCC_HOOKS_H
|
|
#define GCC_HOOKS_H
|
|
|
|
|
|
extern bool hook_bool_void_false (void);
|
|
extern bool hook_bool_void_true (void);
|
|
extern bool hook_bool_bool_false (bool);
|
|
extern bool hook_bool_bool_gcc_optionsp_false (bool, struct gcc_options *);
|
|
extern bool hook_bool_const_int_const_int_true (const int, const int);
|
|
extern bool hook_bool_mode_false (machine_mode);
|
|
extern bool hook_bool_mode_true (machine_mode);
|
|
extern bool hook_bool_mode_mode_true (machine_mode, machine_mode);
|
|
extern bool hook_bool_mode_const_rtx_false (machine_mode, const_rtx);
|
|
extern bool hook_bool_mode_const_rtx_true (machine_mode, const_rtx);
|
|
extern bool hook_bool_mode_rtx_false (machine_mode, rtx);
|
|
extern bool hook_bool_mode_rtx_true (machine_mode, rtx);
|
|
extern bool hook_bool_const_rtx_insn_const_rtx_insn_true (const rtx_insn *,
|
|
const rtx_insn *);
|
|
extern bool hook_bool_mode_uhwi_false (machine_mode,
|
|
unsigned HOST_WIDE_INT);
|
|
extern bool hook_bool_puint64_puint64_true (poly_uint64, poly_uint64);
|
|
extern bool hook_bool_uint_uint_mode_false (unsigned int, unsigned int,
|
|
machine_mode);
|
|
extern bool hook_bool_uint_mode_true (unsigned int, machine_mode);
|
|
extern bool hook_bool_tree_false (tree);
|
|
extern bool hook_bool_const_tree_false (const_tree);
|
|
extern bool hook_bool_const_tree_const_tree_true (const_tree, const_tree);
|
|
extern bool hook_bool_tree_true (tree);
|
|
extern bool hook_bool_const_tree_true (const_tree);
|
|
extern bool hook_bool_gsiptr_false (gimple_stmt_iterator *);
|
|
extern bool hook_bool_const_tree_hwi_hwi_const_tree_false (const_tree,
|
|
HOST_WIDE_INT,
|
|
HOST_WIDE_INT,
|
|
const_tree);
|
|
extern bool hook_bool_const_tree_hwi_hwi_const_tree_true (const_tree,
|
|
HOST_WIDE_INT,
|
|
HOST_WIDE_INT,
|
|
const_tree);
|
|
extern bool hook_bool_rtx_insn_true (rtx_insn *);
|
|
extern bool hook_bool_rtx_false (rtx);
|
|
extern bool hook_bool_rtx_insn_int_false (rtx_insn *, int);
|
|
extern bool hook_bool_uintp_uintp_false (unsigned int *, unsigned int *);
|
|
extern bool hook_bool_reg_class_t_false (reg_class_t regclass);
|
|
extern bool hook_bool_mode_mode_reg_class_t_true (machine_mode, machine_mode,
|
|
reg_class_t);
|
|
extern bool hook_bool_mode_reg_class_t_reg_class_t_false (machine_mode,
|
|
reg_class_t,
|
|
reg_class_t);
|
|
extern bool hook_bool_rtx_mode_int_int_intp_bool_false (rtx, machine_mode,
|
|
int, int, int *, bool);
|
|
extern bool hook_bool_tree_tree_false (tree, tree);
|
|
extern bool hook_bool_tree_tree_true (tree, tree);
|
|
extern bool hook_bool_tree_bool_false (tree, bool);
|
|
extern bool hook_bool_wint_wint_uint_bool_true (const widest_int &,
|
|
const widest_int &,
|
|
unsigned int, bool);
|
|
|
|
extern void hook_void_void (void);
|
|
extern void hook_void_constcharptr (const char *);
|
|
extern void hook_void_rtx_insn_int (rtx_insn *, int);
|
|
extern void hook_void_FILEptr_constcharptr (FILE *, const char *);
|
|
extern void hook_void_FILEptr_constcharptr_const_tree (FILE *, const char *,
|
|
const_tree);
|
|
extern bool hook_bool_FILEptr_rtx_false (FILE *, rtx);
|
|
extern void hook_void_rtx_tree (rtx, tree);
|
|
extern void hook_void_FILEptr_tree (FILE *, tree);
|
|
extern void hook_void_tree (tree);
|
|
extern void hook_void_tree_treeptr (tree, tree *);
|
|
extern void hook_void_int_int (int, int);
|
|
extern void hook_void_gcc_optionsp (struct gcc_options *);
|
|
extern bool hook_bool_uint_uintp_false (unsigned int, unsigned int *);
|
|
|
|
extern int hook_int_uint_mode_1 (unsigned int, machine_mode);
|
|
extern int hook_int_const_tree_0 (const_tree);
|
|
extern int hook_int_const_tree_const_tree_1 (const_tree, const_tree);
|
|
extern int hook_int_rtx_0 (rtx);
|
|
extern int hook_int_rtx_1 (rtx);
|
|
extern int hook_int_rtx_insn_0 (rtx_insn *);
|
|
extern int hook_int_rtx_insn_unreachable (rtx_insn *);
|
|
extern int hook_int_rtx_bool_0 (rtx, bool);
|
|
extern int hook_int_rtx_mode_as_bool_0 (rtx, machine_mode, addr_space_t,
|
|
bool);
|
|
|
|
extern HOST_WIDE_INT hook_hwi_void_0 (void);
|
|
|
|
extern tree hook_tree_const_tree_null (const_tree);
|
|
extern tree hook_tree_void_null (void);
|
|
|
|
extern tree hook_tree_tree_bool_null (tree, bool);
|
|
extern tree hook_tree_tree_tree_null (tree, tree);
|
|
extern tree hook_tree_tree_tree_tree_null (tree, tree, tree);
|
|
extern tree hook_tree_tree_int_treep_bool_null (tree, int, tree *, bool);
|
|
extern tree hook_tree_treeptr_tree_tree_int_boolptr_null (tree *, tree, tree, int, bool *);
|
|
|
|
extern unsigned hook_uint_void_0 (void);
|
|
extern unsigned int hook_uint_mode_0 (machine_mode);
|
|
|
|
extern bool default_can_output_mi_thunk_no_vcall (const_tree, HOST_WIDE_INT,
|
|
HOST_WIDE_INT, const_tree);
|
|
|
|
extern rtx hook_rtx_rtx_identity (rtx);
|
|
extern rtx hook_rtx_rtx_null (rtx);
|
|
extern rtx hook_rtx_tree_int_null (tree, int);
|
|
|
|
extern char *hook_charptr_void_null (void);
|
|
extern const char *hook_constcharptr_void_null (void);
|
|
extern const char *hook_constcharptr_const_tree_null (const_tree);
|
|
extern const char *hook_constcharptr_const_rtx_insn_null (const rtx_insn *);
|
|
extern const char *hook_constcharptr_const_tree_const_tree_null (const_tree, const_tree);
|
|
extern const char *hook_constcharptr_int_const_tree_null (int, const_tree);
|
|
extern const char *hook_constcharptr_int_const_tree_const_tree_null (int, const_tree, const_tree);
|
|
|
|
extern opt_machine_mode hook_optmode_mode_uhwi_none (machine_mode,
|
|
unsigned HOST_WIDE_INT);
|
|
#endif
|