/* Target hook definitions.
|
/* Target hook definitions.
|
Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
|
Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
|
2011, 2012
|
2011, 2012
|
Free Software Foundation, Inc.
|
Free Software Foundation, Inc.
|
|
|
This program is free software; you can redistribute it and/or modify it
|
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
|
under the terms of the GNU General Public License as published by the
|
Free Software Foundation; either version 3, or (at your option) any
|
Free Software Foundation; either version 3, or (at your option) any
|
later version.
|
later version.
|
|
|
This program is distributed in the hope that it will be useful,
|
This program is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with this program; see the file COPYING3. If not see
|
along with this program; see the file COPYING3. If not see
|
.
|
.
|
|
|
In other words, you are welcome to use, share and improve this program.
|
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
|
You are forbidden to forbid anyone else to use, share and improve
|
what you give them. Help stamp out software-hoarding! */
|
what you give them. Help stamp out software-hoarding! */
|
|
|
/* See target-hooks-macros.h for details of macros that should be
|
/* See target-hooks-macros.h for details of macros that should be
|
provided by the including file, and how to use them here. */
|
provided by the including file, and how to use them here. */
|
#include "target-hooks-macros.h"
|
#include "target-hooks-macros.h"
|
|
|
#undef HOOK_TYPE
|
#undef HOOK_TYPE
|
#define HOOK_TYPE "Target Hook"
|
#define HOOK_TYPE "Target Hook"
|
|
|
HOOK_VECTOR (TARGET_INITIALIZER, gcc_target)
|
HOOK_VECTOR (TARGET_INITIALIZER, gcc_target)
|
|
|
/* Functions that output assembler for the target. */
|
/* Functions that output assembler for the target. */
|
#define HOOK_PREFIX "TARGET_ASM_"
|
#define HOOK_PREFIX "TARGET_ASM_"
|
HOOK_VECTOR (TARGET_ASM_OUT, asm_out)
|
HOOK_VECTOR (TARGET_ASM_OUT, asm_out)
|
|
|
/* Opening and closing parentheses for asm expression grouping. */
|
/* Opening and closing parentheses for asm expression grouping. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(open_paren,
|
(open_paren,
|
"",
|
"",
|
const char *, "(")
|
const char *, "(")
|
DEFHOOKPODX (close_paren, const char *, ")")
|
DEFHOOKPODX (close_paren, const char *, ")")
|
|
|
/* Assembler instructions for creating various kinds of integer object. */
|
/* Assembler instructions for creating various kinds of integer object. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(byte_op,
|
(byte_op,
|
"",
|
"",
|
const char *, "\t.byte\t")
|
const char *, "\t.byte\t")
|
DEFHOOKPOD (aligned_op, "*", struct asm_int_op, TARGET_ASM_ALIGNED_INT_OP)
|
DEFHOOKPOD (aligned_op, "*", struct asm_int_op, TARGET_ASM_ALIGNED_INT_OP)
|
DEFHOOKPOD (unaligned_op, "*", struct asm_int_op, TARGET_ASM_UNALIGNED_INT_OP)
|
DEFHOOKPOD (unaligned_op, "*", struct asm_int_op, TARGET_ASM_UNALIGNED_INT_OP)
|
|
|
/* The maximum number of bytes to skip when applying
|
/* The maximum number of bytes to skip when applying
|
LABEL_ALIGN_AFTER_BARRIER. */
|
LABEL_ALIGN_AFTER_BARRIER. */
|
DEFHOOK
|
DEFHOOK
|
(label_align_after_barrier_max_skip,
|
(label_align_after_barrier_max_skip,
|
"",
|
"",
|
int, (rtx label),
|
int, (rtx label),
|
default_label_align_after_barrier_max_skip)
|
default_label_align_after_barrier_max_skip)
|
|
|
/* The maximum number of bytes to skip when applying
|
/* The maximum number of bytes to skip when applying
|
LOOP_ALIGN. */
|
LOOP_ALIGN. */
|
DEFHOOK
|
DEFHOOK
|
(loop_align_max_skip,
|
(loop_align_max_skip,
|
"",
|
"",
|
int, (rtx label),
|
int, (rtx label),
|
default_loop_align_max_skip)
|
default_loop_align_max_skip)
|
|
|
/* The maximum number of bytes to skip when applying
|
/* The maximum number of bytes to skip when applying
|
LABEL_ALIGN. */
|
LABEL_ALIGN. */
|
DEFHOOK
|
DEFHOOK
|
(label_align_max_skip,
|
(label_align_max_skip,
|
"",
|
"",
|
int, (rtx label),
|
int, (rtx label),
|
default_label_align_max_skip)
|
default_label_align_max_skip)
|
|
|
/* The maximum number of bytes to skip when applying
|
/* The maximum number of bytes to skip when applying
|
JUMP_ALIGN. */
|
JUMP_ALIGN. */
|
DEFHOOK
|
DEFHOOK
|
(jump_align_max_skip,
|
(jump_align_max_skip,
|
"",
|
"",
|
int, (rtx label),
|
int, (rtx label),
|
default_jump_align_max_skip)
|
default_jump_align_max_skip)
|
|
|
/* Try to output the assembler code for an integer object whose
|
/* Try to output the assembler code for an integer object whose
|
value is given by X. SIZE is the size of the object in bytes and
|
value is given by X. SIZE is the size of the object in bytes and
|
ALIGNED_P indicates whether it is aligned. Return true if
|
ALIGNED_P indicates whether it is aligned. Return true if
|
successful. Only handles cases for which BYTE_OP, ALIGNED_OP
|
successful. Only handles cases for which BYTE_OP, ALIGNED_OP
|
and UNALIGNED_OP are NULL. */
|
and UNALIGNED_OP are NULL. */
|
DEFHOOK
|
DEFHOOK
|
(integer,
|
(integer,
|
"",
|
"",
|
/* Only handles cases for which BYTE_OP, ALIGNED_OP and UNALIGNED_OP are
|
/* Only handles cases for which BYTE_OP, ALIGNED_OP and UNALIGNED_OP are
|
NULL. */
|
NULL. */
|
bool, (rtx x, unsigned int size, int aligned_p),
|
bool, (rtx x, unsigned int size, int aligned_p),
|
default_assemble_integer)
|
default_assemble_integer)
|
|
|
/* Output code that will globalize a label. */
|
/* Output code that will globalize a label. */
|
DEFHOOK
|
DEFHOOK
|
(globalize_label,
|
(globalize_label,
|
"",
|
"",
|
void, (FILE *stream, const char *name),
|
void, (FILE *stream, const char *name),
|
default_globalize_label)
|
default_globalize_label)
|
|
|
/* Output code that will globalize a declaration. */
|
/* Output code that will globalize a declaration. */
|
DEFHOOK
|
DEFHOOK
|
(globalize_decl_name,
|
(globalize_decl_name,
|
"",
|
"",
|
void, (FILE *stream, tree decl), default_globalize_decl_name)
|
void, (FILE *stream, tree decl), default_globalize_decl_name)
|
|
|
/* Output code that will emit a label for unwind info, if this
|
/* Output code that will emit a label for unwind info, if this
|
target requires such labels. Second argument is the decl the
|
target requires such labels. Second argument is the decl the
|
unwind info is associated with, third is a boolean: true if
|
unwind info is associated with, third is a boolean: true if
|
this is for exception handling, fourth is a boolean: true if
|
this is for exception handling, fourth is a boolean: true if
|
this is only a placeholder for an omitted FDE. */
|
this is only a placeholder for an omitted FDE. */
|
DEFHOOK
|
DEFHOOK
|
(emit_unwind_label,
|
(emit_unwind_label,
|
"",
|
"",
|
void, (FILE *stream, tree decl, int for_eh, int empty),
|
void, (FILE *stream, tree decl, int for_eh, int empty),
|
default_emit_unwind_label)
|
default_emit_unwind_label)
|
|
|
/* Output code that will emit a label to divide up the exception table. */
|
/* Output code that will emit a label to divide up the exception table. */
|
DEFHOOK
|
DEFHOOK
|
(emit_except_table_label,
|
(emit_except_table_label,
|
"",
|
"",
|
void, (FILE *stream),
|
void, (FILE *stream),
|
default_emit_except_table_label)
|
default_emit_except_table_label)
|
|
|
/* Emit a directive for setting the personality for the function. */
|
/* Emit a directive for setting the personality for the function. */
|
DEFHOOK
|
DEFHOOK
|
(emit_except_personality,
|
(emit_except_personality,
|
"If the target implements @code{TARGET_ASM_UNWIND_EMIT}, this hook may be\
|
"If the target implements @code{TARGET_ASM_UNWIND_EMIT}, this hook may be\
|
used to emit a directive to install a personality hook into the unwind\
|
used to emit a directive to install a personality hook into the unwind\
|
info. This hook should not be used if dwarf2 unwind info is used.",
|
info. This hook should not be used if dwarf2 unwind info is used.",
|
void, (rtx personality),
|
void, (rtx personality),
|
NULL)
|
NULL)
|
|
|
/* Emit any directives required to unwind this instruction. */
|
/* Emit any directives required to unwind this instruction. */
|
DEFHOOK
|
DEFHOOK
|
(unwind_emit,
|
(unwind_emit,
|
"",
|
"",
|
void, (FILE *stream, rtx insn),
|
void, (FILE *stream, rtx insn),
|
NULL)
|
NULL)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(unwind_emit_before_insn,
|
(unwind_emit_before_insn,
|
"True if the @code{TARGET_ASM_UNWIND_EMIT} hook should be called before\
|
"True if the @code{TARGET_ASM_UNWIND_EMIT} hook should be called before\
|
the assembly for @var{insn} has been emitted, false if the hook should\
|
the assembly for @var{insn} has been emitted, false if the hook should\
|
be called afterward.",
|
be called afterward.",
|
bool, true)
|
bool, true)
|
|
|
/* Generate an internal label.
|
/* Generate an internal label.
|
For now this is just a wrapper for ASM_GENERATE_INTERNAL_LABEL. */
|
For now this is just a wrapper for ASM_GENERATE_INTERNAL_LABEL. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(generate_internal_label,
|
(generate_internal_label,
|
"",
|
"",
|
void, (char *buf, const char *prefix, unsigned long labelno),
|
void, (char *buf, const char *prefix, unsigned long labelno),
|
default_generate_internal_label)
|
default_generate_internal_label)
|
|
|
/* Output an internal label. */
|
/* Output an internal label. */
|
DEFHOOK
|
DEFHOOK
|
(internal_label,
|
(internal_label,
|
"",
|
"",
|
void, (FILE *stream, const char *prefix, unsigned long labelno),
|
void, (FILE *stream, const char *prefix, unsigned long labelno),
|
default_internal_label)
|
default_internal_label)
|
|
|
/* Output label for the constant. */
|
/* Output label for the constant. */
|
DEFHOOK
|
DEFHOOK
|
(declare_constant_name,
|
(declare_constant_name,
|
"",
|
"",
|
void, (FILE *file, const char *name, const_tree expr, HOST_WIDE_INT size),
|
void, (FILE *file, const char *name, const_tree expr, HOST_WIDE_INT size),
|
default_asm_declare_constant_name)
|
default_asm_declare_constant_name)
|
|
|
/* Emit a ttype table reference to a typeinfo object. */
|
/* Emit a ttype table reference to a typeinfo object. */
|
DEFHOOK
|
DEFHOOK
|
(ttype,
|
(ttype,
|
"",
|
"",
|
bool, (rtx sym),
|
bool, (rtx sym),
|
hook_bool_rtx_false)
|
hook_bool_rtx_false)
|
|
|
/* Emit an assembler directive to set visibility for the symbol
|
/* Emit an assembler directive to set visibility for the symbol
|
associated with the tree decl. */
|
associated with the tree decl. */
|
DEFHOOK
|
DEFHOOK
|
(assemble_visibility,
|
(assemble_visibility,
|
"",
|
"",
|
void, (tree decl, int visibility),
|
void, (tree decl, int visibility),
|
default_assemble_visibility)
|
default_assemble_visibility)
|
|
|
/* Output the assembler code for entry to a function. */
|
/* Output the assembler code for entry to a function. */
|
DEFHOOK
|
DEFHOOK
|
(function_prologue,
|
(function_prologue,
|
"",
|
"",
|
void, (FILE *file, HOST_WIDE_INT size),
|
void, (FILE *file, HOST_WIDE_INT size),
|
default_function_pro_epilogue)
|
default_function_pro_epilogue)
|
|
|
/* Output the assembler code for end of prologue. */
|
/* Output the assembler code for end of prologue. */
|
DEFHOOK
|
DEFHOOK
|
(function_end_prologue,
|
(function_end_prologue,
|
"",
|
"",
|
void, (FILE *file),
|
void, (FILE *file),
|
no_asm_to_stream)
|
no_asm_to_stream)
|
|
|
/* Output the assembler code for start of epilogue. */
|
/* Output the assembler code for start of epilogue. */
|
DEFHOOK
|
DEFHOOK
|
(function_begin_epilogue,
|
(function_begin_epilogue,
|
"",
|
"",
|
void, (FILE *file),
|
void, (FILE *file),
|
no_asm_to_stream)
|
no_asm_to_stream)
|
|
|
/* Output the assembler code for function exit. */
|
/* Output the assembler code for function exit. */
|
DEFHOOK
|
DEFHOOK
|
(function_epilogue,
|
(function_epilogue,
|
"",
|
"",
|
void, (FILE *file, HOST_WIDE_INT size),
|
void, (FILE *file, HOST_WIDE_INT size),
|
default_function_pro_epilogue)
|
default_function_pro_epilogue)
|
|
|
/* Initialize target-specific sections. */
|
/* Initialize target-specific sections. */
|
DEFHOOK
|
DEFHOOK
|
(init_sections,
|
(init_sections,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Tell assembler to change to section NAME with attributes FLAGS.
|
/* Tell assembler to change to section NAME with attributes FLAGS.
|
If DECL is non-NULL, it is the VAR_DECL or FUNCTION_DECL with
|
If DECL is non-NULL, it is the VAR_DECL or FUNCTION_DECL with
|
which this section is associated. */
|
which this section is associated. */
|
DEFHOOK
|
DEFHOOK
|
(named_section,
|
(named_section,
|
"",
|
"",
|
void, (const char *name, unsigned int flags, tree decl),
|
void, (const char *name, unsigned int flags, tree decl),
|
default_no_named_section)
|
default_no_named_section)
|
|
|
/* Return preferred text (sub)section for function DECL.
|
/* Return preferred text (sub)section for function DECL.
|
Main purpose of this function is to separate cold, normal and hot
|
Main purpose of this function is to separate cold, normal and hot
|
functions. STARTUP is true when function is known to be used only
|
functions. STARTUP is true when function is known to be used only
|
at startup (from static constructors or it is main()).
|
at startup (from static constructors or it is main()).
|
EXIT is true when function is known to be used only at exit
|
EXIT is true when function is known to be used only at exit
|
(from static destructors).
|
(from static destructors).
|
Return NULL if function should go to default text section. */
|
Return NULL if function should go to default text section. */
|
DEFHOOK
|
DEFHOOK
|
(function_section,
|
(function_section,
|
"",
|
"",
|
section *, (tree decl, enum node_frequency freq, bool startup, bool exit),
|
section *, (tree decl, enum node_frequency freq, bool startup, bool exit),
|
default_function_section)
|
default_function_section)
|
|
|
/* Output the assembler code for function exit. */
|
/* Output the assembler code for function exit. */
|
DEFHOOK
|
DEFHOOK
|
(function_switched_text_sections,
|
(function_switched_text_sections,
|
"Used by the target to emit any assembler directives or additional\
|
"Used by the target to emit any assembler directives or additional\
|
labels needed when a function is partitioned between different\
|
labels needed when a function is partitioned between different\
|
sections. Output should be written to @var{file}. The function\
|
sections. Output should be written to @var{file}. The function\
|
decl is available as @var{decl} and the new section is `cold' if\
|
decl is available as @var{decl} and the new section is `cold' if\
|
@var{new_is_cold} is @code{true}.",
|
@var{new_is_cold} is @code{true}.",
|
void, (FILE *file, tree decl, bool new_is_cold),
|
void, (FILE *file, tree decl, bool new_is_cold),
|
default_function_switched_text_sections)
|
default_function_switched_text_sections)
|
|
|
/* Return a mask describing how relocations should be treated when
|
/* Return a mask describing how relocations should be treated when
|
selecting sections. Bit 1 should be set if global relocations
|
selecting sections. Bit 1 should be set if global relocations
|
should be placed in a read-write section; bit 0 should be set if
|
should be placed in a read-write section; bit 0 should be set if
|
local relocations should be placed in a read-write section. */
|
local relocations should be placed in a read-write section. */
|
DEFHOOK
|
DEFHOOK
|
(reloc_rw_mask,
|
(reloc_rw_mask,
|
"",
|
"",
|
int, (void),
|
int, (void),
|
default_reloc_rw_mask)
|
default_reloc_rw_mask)
|
|
|
/* Return a section for EXP. It may be a DECL or a constant. RELOC
|
/* Return a section for EXP. It may be a DECL or a constant. RELOC
|
is nonzero if runtime relocations must be applied; bit 1 will be
|
is nonzero if runtime relocations must be applied; bit 1 will be
|
set if the runtime relocations require non-local name resolution.
|
set if the runtime relocations require non-local name resolution.
|
ALIGN is the required alignment of the data. */
|
ALIGN is the required alignment of the data. */
|
DEFHOOK
|
DEFHOOK
|
(select_section,
|
(select_section,
|
"",
|
"",
|
section *, (tree exp, int reloc, unsigned HOST_WIDE_INT align),
|
section *, (tree exp, int reloc, unsigned HOST_WIDE_INT align),
|
default_select_section)
|
default_select_section)
|
|
|
/* Return a section for X. MODE is X's mode and ALIGN is its
|
/* Return a section for X. MODE is X's mode and ALIGN is its
|
alignment in bits. */
|
alignment in bits. */
|
DEFHOOK
|
DEFHOOK
|
(select_rtx_section,
|
(select_rtx_section,
|
"",
|
"",
|
section *, (enum machine_mode mode, rtx x, unsigned HOST_WIDE_INT align),
|
section *, (enum machine_mode mode, rtx x, unsigned HOST_WIDE_INT align),
|
default_select_rtx_section)
|
default_select_rtx_section)
|
|
|
/* Select a unique section name for DECL. RELOC is the same as
|
/* Select a unique section name for DECL. RELOC is the same as
|
for SELECT_SECTION. */
|
for SELECT_SECTION. */
|
DEFHOOK
|
DEFHOOK
|
(unique_section,
|
(unique_section,
|
"",
|
"",
|
void, (tree decl, int reloc),
|
void, (tree decl, int reloc),
|
default_unique_section)
|
default_unique_section)
|
|
|
/* Return the readonly data section associated with function DECL. */
|
/* Return the readonly data section associated with function DECL. */
|
DEFHOOK
|
DEFHOOK
|
(function_rodata_section,
|
(function_rodata_section,
|
"",
|
"",
|
section *, (tree decl),
|
section *, (tree decl),
|
default_function_rodata_section)
|
default_function_rodata_section)
|
|
|
/* Nonnull if the target wants to override the default ".rodata" prefix
|
/* Nonnull if the target wants to override the default ".rodata" prefix
|
for mergeable data sections. */
|
for mergeable data sections. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(mergeable_rodata_prefix,
|
(mergeable_rodata_prefix,
|
"Usually, the compiler uses the prefix @code{\".rodata\"} to construct\n\
|
"Usually, the compiler uses the prefix @code{\".rodata\"} to construct\n\
|
section names for mergeable constant data. Define this macro to override\n\
|
section names for mergeable constant data. Define this macro to override\n\
|
the string if a different section name should be used.",
|
the string if a different section name should be used.",
|
const char *, ".rodata")
|
const char *, ".rodata")
|
|
|
/* Return the section to be used for transactional memory clone tables. */
|
/* Return the section to be used for transactional memory clone tables. */
|
DEFHOOK
|
DEFHOOK
|
(tm_clone_table_section,
|
(tm_clone_table_section,
|
"Return the section that should be used for transactional memory clone\
|
"Return the section that should be used for transactional memory clone\
|
tables.",
|
tables.",
|
section *, (void), default_clone_table_section)
|
section *, (void), default_clone_table_section)
|
|
|
/* Output a constructor for a symbol with a given priority. */
|
/* Output a constructor for a symbol with a given priority. */
|
DEFHOOK
|
DEFHOOK
|
(constructor,
|
(constructor,
|
"",
|
"",
|
void, (rtx symbol, int priority), NULL)
|
void, (rtx symbol, int priority), NULL)
|
|
|
/* Output a destructor for a symbol with a given priority. */
|
/* Output a destructor for a symbol with a given priority. */
|
DEFHOOK
|
DEFHOOK
|
(destructor,
|
(destructor,
|
"",
|
"",
|
void, (rtx symbol, int priority), NULL)
|
void, (rtx symbol, int priority), NULL)
|
|
|
/* Output the assembler code for a thunk function. THUNK_DECL is the
|
/* Output the assembler code for a thunk function. THUNK_DECL is the
|
declaration for the thunk function itself, FUNCTION is the decl for
|
declaration for the thunk function itself, FUNCTION is the decl for
|
the target function. DELTA is an immediate constant offset to be
|
the target function. DELTA is an immediate constant offset to be
|
added to THIS. If VCALL_OFFSET is nonzero, the word at
|
added to THIS. If VCALL_OFFSET is nonzero, the word at
|
*(*this + vcall_offset) should be added to THIS. */
|
*(*this + vcall_offset) should be added to THIS. */
|
DEFHOOK
|
DEFHOOK
|
(output_mi_thunk,
|
(output_mi_thunk,
|
"",
|
"",
|
void, (FILE *file, tree thunk_fndecl, HOST_WIDE_INT delta,
|
void, (FILE *file, tree thunk_fndecl, HOST_WIDE_INT delta,
|
HOST_WIDE_INT vcall_offset, tree function),
|
HOST_WIDE_INT vcall_offset, tree function),
|
NULL)
|
NULL)
|
|
|
/* Determine whether output_mi_thunk would succeed. */
|
/* Determine whether output_mi_thunk would succeed. */
|
/* ??? Ideally, this hook would not exist, and success or failure
|
/* ??? Ideally, this hook would not exist, and success or failure
|
would be returned from output_mi_thunk directly. But there's
|
would be returned from output_mi_thunk directly. But there's
|
too much undo-able setup involved in invoking output_mi_thunk.
|
too much undo-able setup involved in invoking output_mi_thunk.
|
Could be fixed by making output_mi_thunk emit rtl instead of
|
Could be fixed by making output_mi_thunk emit rtl instead of
|
text to the output file. */
|
text to the output file. */
|
DEFHOOK
|
DEFHOOK
|
(can_output_mi_thunk,
|
(can_output_mi_thunk,
|
"",
|
"",
|
bool, (const_tree thunk_fndecl, HOST_WIDE_INT delta,
|
bool, (const_tree thunk_fndecl, HOST_WIDE_INT delta,
|
HOST_WIDE_INT vcall_offset, const_tree function),
|
HOST_WIDE_INT vcall_offset, const_tree function),
|
hook_bool_const_tree_hwi_hwi_const_tree_false)
|
hook_bool_const_tree_hwi_hwi_const_tree_false)
|
|
|
/* Output any boilerplate text needed at the beginning of a
|
/* Output any boilerplate text needed at the beginning of a
|
translation unit. */
|
translation unit. */
|
DEFHOOK
|
DEFHOOK
|
(file_start,
|
(file_start,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
default_file_start)
|
default_file_start)
|
|
|
/* Output any boilerplate text needed at the end of a translation unit. */
|
/* Output any boilerplate text needed at the end of a translation unit. */
|
DEFHOOK
|
DEFHOOK
|
(file_end,
|
(file_end,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Output any boilerplate text needed at the beginning of an
|
/* Output any boilerplate text needed at the beginning of an
|
LTO output stream. */
|
LTO output stream. */
|
DEFHOOK
|
DEFHOOK
|
(lto_start,
|
(lto_start,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Output any boilerplate text needed at the end of an
|
/* Output any boilerplate text needed at the end of an
|
LTO output stream. */
|
LTO output stream. */
|
DEFHOOK
|
DEFHOOK
|
(lto_end,
|
(lto_end,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Output any boilerplace text needed at the end of a
|
/* Output any boilerplace text needed at the end of a
|
translation unit before debug and unwind info is emitted. */
|
translation unit before debug and unwind info is emitted. */
|
DEFHOOK
|
DEFHOOK
|
(code_end,
|
(code_end,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Output an assembler pseudo-op to declare a library function name
|
/* Output an assembler pseudo-op to declare a library function name
|
external. */
|
external. */
|
DEFHOOK
|
DEFHOOK
|
(external_libcall,
|
(external_libcall,
|
"",
|
"",
|
void, (rtx symref),
|
void, (rtx symref),
|
default_external_libcall)
|
default_external_libcall)
|
|
|
/* Output an assembler directive to mark decl live. This instructs
|
/* Output an assembler directive to mark decl live. This instructs
|
linker to not dead code strip this symbol. */
|
linker to not dead code strip this symbol. */
|
DEFHOOK
|
DEFHOOK
|
(mark_decl_preserved,
|
(mark_decl_preserved,
|
"",
|
"",
|
void, (const char *symbol),
|
void, (const char *symbol),
|
hook_void_constcharptr)
|
hook_void_constcharptr)
|
|
|
/* Output a record of the command line switches that have been passed. */
|
/* Output a record of the command line switches that have been passed. */
|
DEFHOOK
|
DEFHOOK
|
(record_gcc_switches,
|
(record_gcc_switches,
|
"",
|
"",
|
int, (print_switch_type type, const char *text),
|
int, (print_switch_type type, const char *text),
|
NULL)
|
NULL)
|
|
|
/* The name of the section that the example ELF implementation of
|
/* The name of the section that the example ELF implementation of
|
record_gcc_switches will use to store the information. Target
|
record_gcc_switches will use to store the information. Target
|
specific versions of record_gcc_switches may or may not use
|
specific versions of record_gcc_switches may or may not use
|
this information. */
|
this information. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(record_gcc_switches_section,
|
(record_gcc_switches_section,
|
"",
|
"",
|
const char *, ".GCC.command.line")
|
const char *, ".GCC.command.line")
|
|
|
/* Output the definition of a section anchor. */
|
/* Output the definition of a section anchor. */
|
DEFHOOK
|
DEFHOOK
|
(output_anchor,
|
(output_anchor,
|
"",
|
"",
|
void, (rtx x),
|
void, (rtx x),
|
default_asm_output_anchor)
|
default_asm_output_anchor)
|
|
|
/* Output a DTP-relative reference to a TLS symbol. */
|
/* Output a DTP-relative reference to a TLS symbol. */
|
DEFHOOK
|
DEFHOOK
|
(output_dwarf_dtprel,
|
(output_dwarf_dtprel,
|
"",
|
"",
|
void, (FILE *file, int size, rtx x),
|
void, (FILE *file, int size, rtx x),
|
NULL)
|
NULL)
|
|
|
/* Some target machines need to postscan each insn after it is output. */
|
/* Some target machines need to postscan each insn after it is output. */
|
DEFHOOK
|
DEFHOOK
|
(final_postscan_insn,
|
(final_postscan_insn,
|
"",
|
"",
|
void, (FILE *file, rtx insn, rtx *opvec, int noperands),
|
void, (FILE *file, rtx insn, rtx *opvec, int noperands),
|
NULL)
|
NULL)
|
|
|
/* Emit the trampoline template. This hook may be NULL. */
|
/* Emit the trampoline template. This hook may be NULL. */
|
DEFHOOK
|
DEFHOOK
|
(trampoline_template,
|
(trampoline_template,
|
"",
|
"",
|
void, (FILE *f),
|
void, (FILE *f),
|
NULL)
|
NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(output_source_filename,
|
(output_source_filename,
|
"Output COFF information or DWARF debugging information which indicates\
|
"Output COFF information or DWARF debugging information which indicates\
|
that filename @var{name} is the current source file to the stdio\
|
that filename @var{name} is the current source file to the stdio\
|
stream @var{file}.\n\
|
stream @var{file}.\n\
|
\n\
|
\n\
|
This target hook need not be defined if the standard form of output\
|
This target hook need not be defined if the standard form of output\
|
for the file format in use is appropriate.",
|
for the file format in use is appropriate.",
|
void ,(FILE *file, const char *name),
|
void ,(FILE *file, const char *name),
|
default_asm_output_source_filename)
|
default_asm_output_source_filename)
|
|
|
DEFHOOK
|
DEFHOOK
|
(output_addr_const_extra,
|
(output_addr_const_extra,
|
"",
|
"",
|
bool, (FILE *file, rtx x),
|
bool, (FILE *file, rtx x),
|
hook_bool_FILEptr_rtx_false)
|
hook_bool_FILEptr_rtx_false)
|
|
|
/* ??? The TARGET_PRINT_OPERAND* hooks are part of the asm_out struct,
|
/* ??? The TARGET_PRINT_OPERAND* hooks are part of the asm_out struct,
|
even though that is not reflected in the macro name to override their
|
even though that is not reflected in the macro name to override their
|
initializers. */
|
initializers. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_"
|
#define HOOK_PREFIX "TARGET_"
|
|
|
/* Emit a machine-specific insn operand. */
|
/* Emit a machine-specific insn operand. */
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND,
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND,
|
not this hook, and uses a different name for the argument FILE. */
|
not this hook, and uses a different name for the argument FILE. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(print_operand,
|
(print_operand,
|
"",
|
"",
|
void, (FILE *file, rtx x, int code),
|
void, (FILE *file, rtx x, int code),
|
default_print_operand)
|
default_print_operand)
|
|
|
/* Emit a machine-specific memory address. */
|
/* Emit a machine-specific memory address. */
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND_ADDRESS,
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND_ADDRESS,
|
not this hook, and uses different argument names. */
|
not this hook, and uses different argument names. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(print_operand_address,
|
(print_operand_address,
|
"",
|
"",
|
void, (FILE *file, rtx addr),
|
void, (FILE *file, rtx addr),
|
default_print_operand_address)
|
default_print_operand_address)
|
|
|
/* Determine whether CODE is a valid punctuation character for the
|
/* Determine whether CODE is a valid punctuation character for the
|
`print_operand' hook. */
|
`print_operand' hook. */
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND_PUNCT_VALID_P,
|
/* ??? tm.texi only documents the old macro PRINT_OPERAND_PUNCT_VALID_P,
|
not this hook. */
|
not this hook. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(print_operand_punct_valid_p,
|
(print_operand_punct_valid_p,
|
"",
|
"",
|
bool ,(unsigned char code),
|
bool ,(unsigned char code),
|
default_print_operand_punct_valid_p)
|
default_print_operand_punct_valid_p)
|
|
|
/* Given a symbol name, perform same mangling as assemble_name and
|
/* Given a symbol name, perform same mangling as assemble_name and
|
ASM_OUTPUT_LABELREF, returning result as an IDENTIFIER_NODE. */
|
ASM_OUTPUT_LABELREF, returning result as an IDENTIFIER_NODE. */
|
DEFHOOK
|
DEFHOOK
|
(mangle_assembler_name,
|
(mangle_assembler_name,
|
"Given a symbol @var{name}, perform same mangling as @code{varasm.c}'s\
|
"Given a symbol @var{name}, perform same mangling as @code{varasm.c}'s\
|
@code{assemble_name}, but in memory rather than to a file stream, returning\
|
@code{assemble_name}, but in memory rather than to a file stream, returning\
|
result as an @code{IDENTIFIER_NODE}. Required for correct LTO symtabs. The\
|
result as an @code{IDENTIFIER_NODE}. Required for correct LTO symtabs. The\
|
default implementation calls the @code{TARGET_STRIP_NAME_ENCODING} hook and\
|
default implementation calls the @code{TARGET_STRIP_NAME_ENCODING} hook and\
|
then prepends the @code{USER_LABEL_PREFIX}, if any.",
|
then prepends the @code{USER_LABEL_PREFIX}, if any.",
|
tree, (const char *name),
|
tree, (const char *name),
|
default_mangle_assembler_name)
|
default_mangle_assembler_name)
|
|
|
HOOK_VECTOR_END (asm_out)
|
HOOK_VECTOR_END (asm_out)
|
|
|
/* Functions relating to instruction scheduling. All of these
|
/* Functions relating to instruction scheduling. All of these
|
default to null pointers, which haifa-sched.c looks for and handles. */
|
default to null pointers, which haifa-sched.c looks for and handles. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_SCHED_"
|
#define HOOK_PREFIX "TARGET_SCHED_"
|
HOOK_VECTOR (TARGET_SCHED, sched)
|
HOOK_VECTOR (TARGET_SCHED, sched)
|
|
|
/* Given the current cost, COST, of an insn, INSN, calculate and
|
/* Given the current cost, COST, of an insn, INSN, calculate and
|
return a new cost based on its relationship to DEP_INSN through
|
return a new cost based on its relationship to DEP_INSN through
|
the dependence LINK. The default is to make no adjustment. */
|
the dependence LINK. The default is to make no adjustment. */
|
DEFHOOK
|
DEFHOOK
|
(adjust_cost,
|
(adjust_cost,
|
"",
|
"",
|
int, (rtx insn, rtx link, rtx dep_insn, int cost), NULL)
|
int, (rtx insn, rtx link, rtx dep_insn, int cost), NULL)
|
|
|
/* Adjust the priority of an insn as you see fit. Returns the new priority. */
|
/* Adjust the priority of an insn as you see fit. Returns the new priority. */
|
DEFHOOK
|
DEFHOOK
|
(adjust_priority,
|
(adjust_priority,
|
"",
|
"",
|
int, (rtx insn, int priority), NULL)
|
int, (rtx insn, int priority), NULL)
|
|
|
/* Function which returns the maximum number of insns that can be
|
/* Function which returns the maximum number of insns that can be
|
scheduled in the same machine cycle. This must be constant
|
scheduled in the same machine cycle. This must be constant
|
over an entire compilation. The default is 1. */
|
over an entire compilation. The default is 1. */
|
DEFHOOK
|
DEFHOOK
|
(issue_rate,
|
(issue_rate,
|
"",
|
"",
|
int, (void), NULL)
|
int, (void), NULL)
|
|
|
/* Calculate how much this insn affects how many more insns we
|
/* Calculate how much this insn affects how many more insns we
|
can emit this cycle. Default is they all cost the same. */
|
can emit this cycle. Default is they all cost the same. */
|
DEFHOOK
|
DEFHOOK
|
(variable_issue,
|
(variable_issue,
|
"",
|
"",
|
int, (FILE *file, int verbose, rtx insn, int more), NULL)
|
int, (FILE *file, int verbose, rtx insn, int more), NULL)
|
|
|
/* Initialize machine-dependent scheduling code. */
|
/* Initialize machine-dependent scheduling code. */
|
DEFHOOK
|
DEFHOOK
|
(init,
|
(init,
|
"",
|
"",
|
void, (FILE *file, int verbose, int max_ready), NULL)
|
void, (FILE *file, int verbose, int max_ready), NULL)
|
|
|
/* Finalize machine-dependent scheduling code. */
|
/* Finalize machine-dependent scheduling code. */
|
DEFHOOK
|
DEFHOOK
|
(finish,
|
(finish,
|
"",
|
"",
|
void, (FILE *file, int verbose), NULL)
|
void, (FILE *file, int verbose), NULL)
|
|
|
/* Initialize machine-dependent function wide scheduling code. */
|
/* Initialize machine-dependent function wide scheduling code. */
|
DEFHOOK
|
DEFHOOK
|
(init_global,
|
(init_global,
|
"",
|
"",
|
void, (FILE *file, int verbose, int old_max_uid), NULL)
|
void, (FILE *file, int verbose, int old_max_uid), NULL)
|
|
|
/* Finalize machine-dependent function wide scheduling code. */
|
/* Finalize machine-dependent function wide scheduling code. */
|
DEFHOOK
|
DEFHOOK
|
(finish_global,
|
(finish_global,
|
"",
|
"",
|
void, (FILE *file, int verbose), NULL)
|
void, (FILE *file, int verbose), NULL)
|
|
|
/* Reorder insns in a machine-dependent fashion, in two different
|
/* Reorder insns in a machine-dependent fashion, in two different
|
places. Default does nothing. */
|
places. Default does nothing. */
|
DEFHOOK
|
DEFHOOK
|
(reorder,
|
(reorder,
|
"",
|
"",
|
int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
|
int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(reorder2,
|
(reorder2,
|
"",
|
"",
|
int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
|
int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
after evaluation forward dependencies of insns in chain given
|
after evaluation forward dependencies of insns in chain given
|
by two parameter values (head and tail correspondingly). */
|
by two parameter values (head and tail correspondingly). */
|
DEFHOOK
|
DEFHOOK
|
(dependencies_evaluation_hook,
|
(dependencies_evaluation_hook,
|
"",
|
"",
|
void, (rtx head, rtx tail), NULL)
|
void, (rtx head, rtx tail), NULL)
|
|
|
/* The values of the following four members are pointers to functions
|
/* The values of the following four members are pointers to functions
|
used to simplify the automaton descriptions. dfa_pre_cycle_insn and
|
used to simplify the automaton descriptions. dfa_pre_cycle_insn and
|
dfa_post_cycle_insn give functions returning insns which are used to
|
dfa_post_cycle_insn give functions returning insns which are used to
|
change the pipeline hazard recognizer state when the new simulated
|
change the pipeline hazard recognizer state when the new simulated
|
processor cycle correspondingly starts and finishes. The function
|
processor cycle correspondingly starts and finishes. The function
|
defined by init_dfa_pre_cycle_insn and init_dfa_post_cycle_insn are
|
defined by init_dfa_pre_cycle_insn and init_dfa_post_cycle_insn are
|
used to initialize the corresponding insns. The default values of
|
used to initialize the corresponding insns. The default values of
|
the members result in not changing the automaton state when the
|
the members result in not changing the automaton state when the
|
new simulated processor cycle correspondingly starts and finishes. */
|
new simulated processor cycle correspondingly starts and finishes. */
|
|
|
DEFHOOK
|
DEFHOOK
|
(init_dfa_pre_cycle_insn,
|
(init_dfa_pre_cycle_insn,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(dfa_pre_cycle_insn,
|
(dfa_pre_cycle_insn,
|
"",
|
"",
|
rtx, (void), NULL)
|
rtx, (void), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(init_dfa_post_cycle_insn,
|
(init_dfa_post_cycle_insn,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(dfa_post_cycle_insn,
|
(dfa_post_cycle_insn,
|
"",
|
"",
|
rtx, (void), NULL)
|
rtx, (void), NULL)
|
|
|
/* The values of the following two members are pointers to
|
/* The values of the following two members are pointers to
|
functions used to simplify the automaton descriptions.
|
functions used to simplify the automaton descriptions.
|
dfa_pre_advance_cycle and dfa_post_advance_cycle are getting called
|
dfa_pre_advance_cycle and dfa_post_advance_cycle are getting called
|
immediately before and after cycle is advanced. */
|
immediately before and after cycle is advanced. */
|
|
|
DEFHOOK
|
DEFHOOK
|
(dfa_pre_advance_cycle,
|
(dfa_pre_advance_cycle,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(dfa_post_advance_cycle,
|
(dfa_post_advance_cycle,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
/* The following member value is a pointer to a function returning value
|
/* The following member value is a pointer to a function returning value
|
which defines how many insns in queue `ready' will we try for
|
which defines how many insns in queue `ready' will we try for
|
multi-pass scheduling. If the member value is nonzero and the
|
multi-pass scheduling. If the member value is nonzero and the
|
function returns positive value, the DFA based scheduler will make
|
function returns positive value, the DFA based scheduler will make
|
multi-pass scheduling for the first cycle. In other words, we will
|
multi-pass scheduling for the first cycle. In other words, we will
|
try to choose ready insn which permits to start maximum number of
|
try to choose ready insn which permits to start maximum number of
|
insns on the same cycle. */
|
insns on the same cycle. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_dfa_lookahead,
|
(first_cycle_multipass_dfa_lookahead,
|
"",
|
"",
|
int, (void), NULL)
|
int, (void), NULL)
|
|
|
/* The following member value is pointer to a function controlling
|
/* The following member value is pointer to a function controlling
|
what insns from the ready insn queue will be considered for the
|
what insns from the ready insn queue will be considered for the
|
multipass insn scheduling. If the hook returns zero for insn
|
multipass insn scheduling. If the hook returns zero for insn
|
passed as the parameter, the insn will be not chosen to be issued. */
|
passed as the parameter, the insn will be not chosen to be issued. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_dfa_lookahead_guard,
|
(first_cycle_multipass_dfa_lookahead_guard,
|
"",
|
"",
|
int, (rtx insn), NULL)
|
int, (rtx insn), NULL)
|
|
|
/* This hook prepares the target for a new round of multipass
|
/* This hook prepares the target for a new round of multipass
|
scheduling.
|
scheduling.
|
DATA is a pointer to target-specific data used for multipass scheduling.
|
DATA is a pointer to target-specific data used for multipass scheduling.
|
READY_TRY and N_READY represent the current state of search in the
|
READY_TRY and N_READY represent the current state of search in the
|
optimization space. The target can filter out instructions that
|
optimization space. The target can filter out instructions that
|
should not be tried during current round by setting corresponding
|
should not be tried during current round by setting corresponding
|
elements in READY_TRY to non-zero.
|
elements in READY_TRY to non-zero.
|
FIRST_CYCLE_INSN_P is true if this is the first round of multipass
|
FIRST_CYCLE_INSN_P is true if this is the first round of multipass
|
scheduling on current cycle. */
|
scheduling on current cycle. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_begin,
|
(first_cycle_multipass_begin,
|
"",
|
"",
|
void, (void *data, char *ready_try, int n_ready, bool first_cycle_insn_p),
|
void, (void *data, char *ready_try, int n_ready, bool first_cycle_insn_p),
|
NULL)
|
NULL)
|
|
|
/* This hook is called when multipass scheduling evaluates instruction INSN.
|
/* This hook is called when multipass scheduling evaluates instruction INSN.
|
DATA is a pointer to target-specific data that can be used to record effects
|
DATA is a pointer to target-specific data that can be used to record effects
|
of INSN on CPU that are not described in DFA.
|
of INSN on CPU that are not described in DFA.
|
READY_TRY and N_READY represent the current state of search in the
|
READY_TRY and N_READY represent the current state of search in the
|
optimization space. The target can filter out instructions that
|
optimization space. The target can filter out instructions that
|
should not be tried after issueing INSN by setting corresponding
|
should not be tried after issueing INSN by setting corresponding
|
elements in READY_TRY to non-zero.
|
elements in READY_TRY to non-zero.
|
INSN is the instruction being evaluated.
|
INSN is the instruction being evaluated.
|
PREV_DATA is a pointer to target-specific data corresponding
|
PREV_DATA is a pointer to target-specific data corresponding
|
to a state before issueing INSN. */
|
to a state before issueing INSN. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_issue,
|
(first_cycle_multipass_issue,
|
"",
|
"",
|
void, (void *data, char *ready_try, int n_ready, rtx insn,
|
void, (void *data, char *ready_try, int n_ready, rtx insn,
|
const void *prev_data), NULL)
|
const void *prev_data), NULL)
|
|
|
/* This hook is called when multipass scheduling backtracks from evaluation of
|
/* This hook is called when multipass scheduling backtracks from evaluation of
|
instruction corresponding to DATA.
|
instruction corresponding to DATA.
|
DATA is a pointer to target-specific data that stores the effects
|
DATA is a pointer to target-specific data that stores the effects
|
of instruction from which the algorithm backtracks on CPU that are not
|
of instruction from which the algorithm backtracks on CPU that are not
|
described in DFA.
|
described in DFA.
|
READY_TRY and N_READY represent the current state of search in the
|
READY_TRY and N_READY represent the current state of search in the
|
optimization space. The target can filter out instructions that
|
optimization space. The target can filter out instructions that
|
should not be tried after issueing INSN by setting corresponding
|
should not be tried after issueing INSN by setting corresponding
|
elements in READY_TRY to non-zero. */
|
elements in READY_TRY to non-zero. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_backtrack,
|
(first_cycle_multipass_backtrack,
|
"",
|
"",
|
void, (const void *data, char *ready_try, int n_ready), NULL)
|
void, (const void *data, char *ready_try, int n_ready), NULL)
|
|
|
/* This hook notifies the target about the result of the concluded current
|
/* This hook notifies the target about the result of the concluded current
|
round of multipass scheduling.
|
round of multipass scheduling.
|
DATA is a pointer.
|
DATA is a pointer.
|
If DATA is non-NULL it points to target-specific data used for multipass
|
If DATA is non-NULL it points to target-specific data used for multipass
|
scheduling which corresponds to instruction at the start of the chain of
|
scheduling which corresponds to instruction at the start of the chain of
|
the winning solution. DATA is NULL when multipass scheduling cannot find
|
the winning solution. DATA is NULL when multipass scheduling cannot find
|
a good enough solution on current cycle and decides to retry later,
|
a good enough solution on current cycle and decides to retry later,
|
usually after advancing the cycle count. */
|
usually after advancing the cycle count. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_end,
|
(first_cycle_multipass_end,
|
"",
|
"",
|
void, (const void *data), NULL)
|
void, (const void *data), NULL)
|
|
|
/* This hook is called to initialize target-specific data for multipass
|
/* This hook is called to initialize target-specific data for multipass
|
scheduling after it has been allocated.
|
scheduling after it has been allocated.
|
DATA is a pointer to target-specific data that stores the effects
|
DATA is a pointer to target-specific data that stores the effects
|
of instruction from which the algorithm backtracks on CPU that are not
|
of instruction from which the algorithm backtracks on CPU that are not
|
described in DFA. */
|
described in DFA. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_init,
|
(first_cycle_multipass_init,
|
"",
|
"",
|
void, (void *data), NULL)
|
void, (void *data), NULL)
|
|
|
/* This hook is called to finalize target-specific data for multipass
|
/* This hook is called to finalize target-specific data for multipass
|
scheduling before it is deallocated.
|
scheduling before it is deallocated.
|
DATA is a pointer to target-specific data that stores the effects
|
DATA is a pointer to target-specific data that stores the effects
|
of instruction from which the algorithm backtracks on CPU that are not
|
of instruction from which the algorithm backtracks on CPU that are not
|
described in DFA. */
|
described in DFA. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_fini,
|
(first_cycle_multipass_fini,
|
"",
|
"",
|
void, (void *data), NULL)
|
void, (void *data), NULL)
|
|
|
/* The following member value is pointer to a function called by
|
/* The following member value is pointer to a function called by
|
the insn scheduler before issuing insn passed as the third
|
the insn scheduler before issuing insn passed as the third
|
parameter on given cycle. If the hook returns nonzero, the
|
parameter on given cycle. If the hook returns nonzero, the
|
insn is not issued on given processors cycle. Instead of that,
|
insn is not issued on given processors cycle. Instead of that,
|
the processor cycle is advanced. If the value passed through
|
the processor cycle is advanced. If the value passed through
|
the last parameter is zero, the insn ready queue is not sorted
|
the last parameter is zero, the insn ready queue is not sorted
|
on the new cycle start as usually. The first parameter passes
|
on the new cycle start as usually. The first parameter passes
|
file for debugging output. The second one passes the scheduler
|
file for debugging output. The second one passes the scheduler
|
verbose level of the debugging output. The forth and the fifth
|
verbose level of the debugging output. The forth and the fifth
|
parameter values are correspondingly processor cycle on which
|
parameter values are correspondingly processor cycle on which
|
the previous insn has been issued and the current processor cycle. */
|
the previous insn has been issued and the current processor cycle. */
|
DEFHOOK
|
DEFHOOK
|
(dfa_new_cycle,
|
(dfa_new_cycle,
|
"",
|
"",
|
int, (FILE *dump, int verbose, rtx insn, int last_clock,
|
int, (FILE *dump, int verbose, rtx insn, int last_clock,
|
int clock, int *sort_p),
|
int clock, int *sort_p),
|
NULL)
|
NULL)
|
|
|
/* The following member value is a pointer to a function called by the
|
/* The following member value is a pointer to a function called by the
|
insn scheduler. It should return true if there exists a dependence
|
insn scheduler. It should return true if there exists a dependence
|
which is considered costly by the target, between the insn
|
which is considered costly by the target, between the insn
|
DEP_PRO (&_DEP), and the insn DEP_CON (&_DEP). The first parameter is
|
DEP_PRO (&_DEP), and the insn DEP_CON (&_DEP). The first parameter is
|
the dep that represents the dependence between the two insns. The
|
the dep that represents the dependence between the two insns. The
|
second argument is the cost of the dependence as estimated by
|
second argument is the cost of the dependence as estimated by
|
the scheduler. The last argument is the distance in cycles
|
the scheduler. The last argument is the distance in cycles
|
between the already scheduled insn (first parameter) and the
|
between the already scheduled insn (first parameter) and the
|
second insn (second parameter). */
|
second insn (second parameter). */
|
DEFHOOK
|
DEFHOOK
|
(is_costly_dependence,
|
(is_costly_dependence,
|
"",
|
"",
|
bool, (struct _dep *_dep, int cost, int distance), NULL)
|
bool, (struct _dep *_dep, int cost, int distance), NULL)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(adjust_cost_2,
|
(adjust_cost_2,
|
"Given the current cost, @var{cost}, of an insn, @var{insn}, calculate and\
|
"Given the current cost, @var{cost}, of an insn, @var{insn}, calculate and\
|
return a new cost based on its relationship to @var{dep_insn} through the\
|
return a new cost based on its relationship to @var{dep_insn} through the\
|
dependence of weakness @var{dw}. The default is to make no adjustment.",
|
dependence of weakness @var{dw}. The default is to make no adjustment.",
|
int, (rtx insn, int dep_type1, rtx dep_insn, int cost, int dw), NULL)
|
int, (rtx insn, int dep_type1, rtx dep_insn, int cost, int dw), NULL)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
by the insn scheduler. This hook is called to notify the backend
|
by the insn scheduler. This hook is called to notify the backend
|
that new instructions were emitted. */
|
that new instructions were emitted. */
|
DEFHOOK
|
DEFHOOK
|
(h_i_d_extended,
|
(h_i_d_extended,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
/* Next 5 functions are for multi-point scheduling. */
|
/* Next 5 functions are for multi-point scheduling. */
|
|
|
/* Allocate memory for scheduler context. */
|
/* Allocate memory for scheduler context. */
|
DEFHOOK
|
DEFHOOK
|
(alloc_sched_context,
|
(alloc_sched_context,
|
"",
|
"",
|
void *, (void), NULL)
|
void *, (void), NULL)
|
|
|
/* Fills the context from the local machine scheduler context. */
|
/* Fills the context from the local machine scheduler context. */
|
DEFHOOK
|
DEFHOOK
|
(init_sched_context,
|
(init_sched_context,
|
"",
|
"",
|
void, (void *tc, bool clean_p), NULL)
|
void, (void *tc, bool clean_p), NULL)
|
|
|
/* Sets local machine scheduler context to a saved value. */
|
/* Sets local machine scheduler context to a saved value. */
|
DEFHOOK
|
DEFHOOK
|
(set_sched_context,
|
(set_sched_context,
|
"",
|
"",
|
void, (void *tc), NULL)
|
void, (void *tc), NULL)
|
|
|
/* Clears a scheduler context so it becomes like after init. */
|
/* Clears a scheduler context so it becomes like after init. */
|
DEFHOOK
|
DEFHOOK
|
(clear_sched_context,
|
(clear_sched_context,
|
"",
|
"",
|
void, (void *tc), NULL)
|
void, (void *tc), NULL)
|
|
|
/* Frees the scheduler context. */
|
/* Frees the scheduler context. */
|
DEFHOOK
|
DEFHOOK
|
(free_sched_context,
|
(free_sched_context,
|
"",
|
"",
|
void, (void *tc), NULL)
|
void, (void *tc), NULL)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
by the insn scheduler.
|
by the insn scheduler.
|
The first parameter is an instruction, the second parameter is the type
|
The first parameter is an instruction, the second parameter is the type
|
of the requested speculation, and the third parameter is a pointer to the
|
of the requested speculation, and the third parameter is a pointer to the
|
speculative pattern of the corresponding type (set if return value == 1).
|
speculative pattern of the corresponding type (set if return value == 1).
|
It should return
|
It should return
|
-1, if there is no pattern, that will satisfy the requested speculation type,
|
-1, if there is no pattern, that will satisfy the requested speculation type,
|
0, if current pattern satisfies the requested speculation type,
|
0, if current pattern satisfies the requested speculation type,
|
1, if pattern of the instruction should be changed to the newly
|
1, if pattern of the instruction should be changed to the newly
|
generated one. */
|
generated one. */
|
DEFHOOK
|
DEFHOOK
|
(speculate_insn,
|
(speculate_insn,
|
"",
|
"",
|
int, (rtx insn, int request, rtx *new_pat), NULL)
|
int, (rtx insn, int request, rtx *new_pat), NULL)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
by the insn scheduler. It should return true if the check instruction
|
by the insn scheduler. It should return true if the check instruction
|
passed as the parameter needs a recovery block. */
|
passed as the parameter needs a recovery block. */
|
DEFHOOK
|
DEFHOOK
|
(needs_block_p,
|
(needs_block_p,
|
"",
|
"",
|
bool, (int dep_status), NULL)
|
bool, (int dep_status), NULL)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
by the insn scheduler. It should return a pattern for the check
|
by the insn scheduler. It should return a pattern for the check
|
instruction.
|
instruction.
|
The first parameter is a speculative instruction, the second parameter
|
The first parameter is a speculative instruction, the second parameter
|
is the label of the corresponding recovery block (or null, if it is a
|
is the label of the corresponding recovery block (or null, if it is a
|
simple check). If the mutation of the check is requested (e.g. from
|
simple check). If the mutation of the check is requested (e.g. from
|
ld.c to chk.a), the third parameter is true - in this case the first
|
ld.c to chk.a), the third parameter is true - in this case the first
|
parameter is the previous check. */
|
parameter is the previous check. */
|
DEFHOOK
|
DEFHOOK
|
(gen_spec_check,
|
(gen_spec_check,
|
"",
|
"",
|
rtx, (rtx insn, rtx label, int mutate_p), NULL)
|
rtx, (rtx insn, rtx label, int mutate_p), NULL)
|
|
|
/* The following member value is a pointer to a function controlling
|
/* The following member value is a pointer to a function controlling
|
what insns from the ready insn queue will be considered for the
|
what insns from the ready insn queue will be considered for the
|
multipass insn scheduling. If the hook returns zero for the insn
|
multipass insn scheduling. If the hook returns zero for the insn
|
passed as the parameter, the insn will not be chosen to be
|
passed as the parameter, the insn will not be chosen to be
|
issued. This hook is used to discard speculative instructions,
|
issued. This hook is used to discard speculative instructions,
|
that stand at the first position of the ready list. */
|
that stand at the first position of the ready list. */
|
DEFHOOK
|
DEFHOOK
|
(first_cycle_multipass_dfa_lookahead_guard_spec,
|
(first_cycle_multipass_dfa_lookahead_guard_spec,
|
"",
|
"",
|
bool, (const_rtx insn), NULL)
|
bool, (const_rtx insn), NULL)
|
|
|
/* The following member value is a pointer to a function that provides
|
/* The following member value is a pointer to a function that provides
|
information about the speculation capabilities of the target.
|
information about the speculation capabilities of the target.
|
The parameter is a pointer to spec_info variable. */
|
The parameter is a pointer to spec_info variable. */
|
DEFHOOK
|
DEFHOOK
|
(set_sched_flags,
|
(set_sched_flags,
|
"",
|
"",
|
void, (struct spec_info_def *spec_info), NULL)
|
void, (struct spec_info_def *spec_info), NULL)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(get_insn_spec_ds,
|
(get_insn_spec_ds,
|
"Return speculation types of instruction @var{insn}.",
|
"Return speculation types of instruction @var{insn}.",
|
int, (rtx insn), NULL)
|
int, (rtx insn), NULL)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(get_insn_checked_ds,
|
(get_insn_checked_ds,
|
"Return speculation types that are checked for instruction @var{insn}",
|
"Return speculation types that are checked for instruction @var{insn}",
|
int, (rtx insn), NULL)
|
int, (rtx insn), NULL)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(skip_rtx_p,
|
(skip_rtx_p,
|
"Return bool if rtx scanning should just skip current layer and\
|
"Return bool if rtx scanning should just skip current layer and\
|
advance to the inner rtxes.",
|
advance to the inner rtxes.",
|
bool, (const_rtx x), NULL)
|
bool, (const_rtx x), NULL)
|
|
|
/* The following member value is a pointer to a function that provides
|
/* The following member value is a pointer to a function that provides
|
information about the target resource-based lower bound which is
|
information about the target resource-based lower bound which is
|
used by the swing modulo scheduler. The parameter is a pointer
|
used by the swing modulo scheduler. The parameter is a pointer
|
to ddg variable. */
|
to ddg variable. */
|
DEFHOOK
|
DEFHOOK
|
(sms_res_mii,
|
(sms_res_mii,
|
"",
|
"",
|
int, (struct ddg *g), NULL)
|
int, (struct ddg *g), NULL)
|
|
|
/* The following member value is a function that initializes dispatch
|
/* The following member value is a function that initializes dispatch
|
schedling and adds instructions to dispatch window according to its
|
schedling and adds instructions to dispatch window according to its
|
parameters. */
|
parameters. */
|
DEFHOOK
|
DEFHOOK
|
(dispatch_do,
|
(dispatch_do,
|
"",
|
"",
|
void, (rtx insn, int x),
|
void, (rtx insn, int x),
|
hook_void_rtx_int)
|
hook_void_rtx_int)
|
|
|
/* The following member value is a a function that returns true is
|
/* The following member value is a a function that returns true is
|
dispatch schedling is supported in hardware and condition passed
|
dispatch schedling is supported in hardware and condition passed
|
as the second parameter is true. */
|
as the second parameter is true. */
|
DEFHOOK
|
DEFHOOK
|
(dispatch,
|
(dispatch,
|
"",
|
"",
|
bool, (rtx insn, int x),
|
bool, (rtx insn, int x),
|
hook_bool_rtx_int_false)
|
hook_bool_rtx_int_false)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(exposed_pipeline,
|
(exposed_pipeline,
|
"True if the processor has an exposed pipeline, which means that not just\n\
|
"True if the processor has an exposed pipeline, which means that not just\n\
|
the order of instructions is important for correctness when scheduling, but\n\
|
the order of instructions is important for correctness when scheduling, but\n\
|
also the latencies of operations.",
|
also the latencies of operations.",
|
bool, false)
|
bool, false)
|
|
|
/* The following member value is a function that returns number
|
/* The following member value is a function that returns number
|
of operations reassociator should try to put in parallel for
|
of operations reassociator should try to put in parallel for
|
statements of the given type. By default 1 is used. */
|
statements of the given type. By default 1 is used. */
|
DEFHOOK
|
DEFHOOK
|
(reassociation_width,
|
(reassociation_width,
|
"This hook is called by tree reassociator to determine a level of\n\
|
"This hook is called by tree reassociator to determine a level of\n\
|
parallelism required in output calculations chain.",
|
parallelism required in output calculations chain.",
|
int, (unsigned int opc, enum machine_mode mode),
|
int, (unsigned int opc, enum machine_mode mode),
|
hook_int_uint_mode_1)
|
hook_int_uint_mode_1)
|
|
|
HOOK_VECTOR_END (sched)
|
HOOK_VECTOR_END (sched)
|
|
|
/* Functions relating to vectorization. */
|
/* Functions relating to vectorization. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_VECTORIZE_"
|
#define HOOK_PREFIX "TARGET_VECTORIZE_"
|
HOOK_VECTOR (TARGET_VECTORIZE, vectorize)
|
HOOK_VECTOR (TARGET_VECTORIZE, vectorize)
|
|
|
/* The following member value is a pointer to a function called
|
/* The following member value is a pointer to a function called
|
by the vectorizer, and return the decl of the target builtin
|
by the vectorizer, and return the decl of the target builtin
|
function. */
|
function. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_mask_for_load,
|
(builtin_mask_for_load,
|
"",
|
"",
|
tree, (void), NULL)
|
tree, (void), NULL)
|
|
|
/* Returns a code for builtin that realizes vectorized version of
|
/* Returns a code for builtin that realizes vectorized version of
|
function, or NULL_TREE if not available. */
|
function, or NULL_TREE if not available. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_vectorized_function,
|
(builtin_vectorized_function,
|
"",
|
"",
|
tree, (tree fndecl, tree vec_type_out, tree vec_type_in),
|
tree, (tree fndecl, tree vec_type_out, tree vec_type_in),
|
default_builtin_vectorized_function)
|
default_builtin_vectorized_function)
|
|
|
/* Returns a function declaration for a builtin that realizes the
|
/* Returns a function declaration for a builtin that realizes the
|
vector conversion, or NULL_TREE if not available. */
|
vector conversion, or NULL_TREE if not available. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_conversion,
|
(builtin_conversion,
|
"",
|
"",
|
tree, (unsigned code, tree dest_type, tree src_type),
|
tree, (unsigned code, tree dest_type, tree src_type),
|
default_builtin_vectorized_conversion)
|
default_builtin_vectorized_conversion)
|
|
|
/* Target builtin that implements vector widening multiplication.
|
/* Target builtin that implements vector widening multiplication.
|
builtin_mul_widen_eve computes the element-by-element products
|
builtin_mul_widen_eve computes the element-by-element products
|
for the even elements, and builtin_mul_widen_odd computes the
|
for the even elements, and builtin_mul_widen_odd computes the
|
element-by-element products for the odd elements. */
|
element-by-element products for the odd elements. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_mul_widen_even,
|
(builtin_mul_widen_even,
|
"",
|
"",
|
tree, (tree x), NULL)
|
tree, (tree x), NULL)
|
|
|
DEFHOOK
|
DEFHOOK
|
(builtin_mul_widen_odd,
|
(builtin_mul_widen_odd,
|
"",
|
"",
|
tree, (tree x), NULL)
|
tree, (tree x), NULL)
|
|
|
/* Cost of different vector/scalar statements in vectorization cost
|
/* Cost of different vector/scalar statements in vectorization cost
|
model. In case of misaligned vector loads and stores the cost depends
|
model. In case of misaligned vector loads and stores the cost depends
|
on the data type and misalignment value. */
|
on the data type and misalignment value. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_vectorization_cost,
|
(builtin_vectorization_cost,
|
"",
|
"",
|
int, (enum vect_cost_for_stmt type_of_cost, tree vectype, int misalign),
|
int, (enum vect_cost_for_stmt type_of_cost, tree vectype, int misalign),
|
default_builtin_vectorization_cost)
|
default_builtin_vectorization_cost)
|
|
|
/* Return true if vector alignment is reachable (by peeling N
|
/* Return true if vector alignment is reachable (by peeling N
|
iterations) for the given type. */
|
iterations) for the given type. */
|
DEFHOOK
|
DEFHOOK
|
(vector_alignment_reachable,
|
(vector_alignment_reachable,
|
"",
|
"",
|
bool, (const_tree type, bool is_packed),
|
bool, (const_tree type, bool is_packed),
|
default_builtin_vector_alignment_reachable)
|
default_builtin_vector_alignment_reachable)
|
|
|
/* Return true if a vector created for vec_perm_const is valid.
|
/* Return true if a vector created for vec_perm_const is valid.
|
A NULL indicates that all constants are valid permutations. */
|
A NULL indicates that all constants are valid permutations. */
|
DEFHOOK
|
DEFHOOK
|
(vec_perm_const_ok,
|
(vec_perm_const_ok,
|
"",
|
"",
|
bool, (enum machine_mode, const unsigned char *sel),
|
bool, (enum machine_mode, const unsigned char *sel),
|
NULL)
|
NULL)
|
|
|
/* Return true if the target supports misaligned store/load of a
|
/* Return true if the target supports misaligned store/load of a
|
specific factor denoted in the third parameter. The last parameter
|
specific factor denoted in the third parameter. The last parameter
|
is true if the access is defined in a packed struct. */
|
is true if the access is defined in a packed struct. */
|
DEFHOOK
|
DEFHOOK
|
(support_vector_misalignment,
|
(support_vector_misalignment,
|
"",
|
"",
|
bool,
|
bool,
|
(enum machine_mode mode, const_tree type, int misalignment, bool is_packed),
|
(enum machine_mode mode, const_tree type, int misalignment, bool is_packed),
|
default_builtin_support_vector_misalignment)
|
default_builtin_support_vector_misalignment)
|
|
|
/* Return the builtin decl needed to load a vector of TYPE. */
|
/* Return the builtin decl needed to load a vector of TYPE. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_tm_load,
|
(builtin_tm_load,
|
"This hook should return the built-in decl needed to load a vector of the "
|
"This hook should return the built-in decl needed to load a vector of the "
|
"given type within a transaction.",
|
"given type within a transaction.",
|
tree,
|
tree,
|
(tree),
|
(tree),
|
default_builtin_tm_load_store)
|
default_builtin_tm_load_store)
|
|
|
/* Return the builtin decl needed to store a vector of TYPE. */
|
/* Return the builtin decl needed to store a vector of TYPE. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_tm_store,
|
(builtin_tm_store,
|
"This hook should return the built-in decl needed to store a vector of the "
|
"This hook should return the built-in decl needed to store a vector of the "
|
"given type within a transaction.",
|
"given type within a transaction.",
|
tree,
|
tree,
|
(tree),
|
(tree),
|
default_builtin_tm_load_store)
|
default_builtin_tm_load_store)
|
|
|
/* Returns the preferred mode for SIMD operations for the specified
|
/* Returns the preferred mode for SIMD operations for the specified
|
scalar mode. */
|
scalar mode. */
|
DEFHOOK
|
DEFHOOK
|
(preferred_simd_mode,
|
(preferred_simd_mode,
|
"",
|
"",
|
enum machine_mode,
|
enum machine_mode,
|
(enum machine_mode mode),
|
(enum machine_mode mode),
|
default_preferred_simd_mode)
|
default_preferred_simd_mode)
|
|
|
/* Returns a mask of vector sizes to iterate over when auto-vectorizing
|
/* Returns a mask of vector sizes to iterate over when auto-vectorizing
|
after processing the preferred one derived from preferred_simd_mode. */
|
after processing the preferred one derived from preferred_simd_mode. */
|
DEFHOOK
|
DEFHOOK
|
(autovectorize_vector_sizes,
|
(autovectorize_vector_sizes,
|
"",
|
"",
|
unsigned int,
|
unsigned int,
|
(void),
|
(void),
|
default_autovectorize_vector_sizes)
|
default_autovectorize_vector_sizes)
|
|
|
/* Target builtin that implements vector gather operation. */
|
/* Target builtin that implements vector gather operation. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_gather,
|
(builtin_gather,
|
"",
|
"",
|
tree,
|
tree,
|
(const_tree mem_vectype, const_tree index_type, int scale),
|
(const_tree mem_vectype, const_tree index_type, int scale),
|
NULL)
|
NULL)
|
|
|
HOOK_VECTOR_END (vectorize)
|
HOOK_VECTOR_END (vectorize)
|
|
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_"
|
#define HOOK_PREFIX "TARGET_"
|
|
|
/* Allow target specific overriding of option settings after options have
|
/* Allow target specific overriding of option settings after options have
|
been changed by an attribute or pragma or when it is reset at the
|
been changed by an attribute or pragma or when it is reset at the
|
end of the code affected by an attribute or pragma. */
|
end of the code affected by an attribute or pragma. */
|
DEFHOOK
|
DEFHOOK
|
(override_options_after_change,
|
(override_options_after_change,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(eh_return_filter_mode,
|
(eh_return_filter_mode,
|
"Return machine mode for filter value.",
|
"Return machine mode for filter value.",
|
enum machine_mode, (void),
|
enum machine_mode, (void),
|
default_eh_return_filter_mode)
|
default_eh_return_filter_mode)
|
|
|
/* Return machine mode for libgcc expanded cmp instructions. */
|
/* Return machine mode for libgcc expanded cmp instructions. */
|
DEFHOOK
|
DEFHOOK
|
(libgcc_cmp_return_mode,
|
(libgcc_cmp_return_mode,
|
"",
|
"",
|
enum machine_mode, (void),
|
enum machine_mode, (void),
|
default_libgcc_cmp_return_mode)
|
default_libgcc_cmp_return_mode)
|
|
|
/* Return machine mode for libgcc expanded shift instructions. */
|
/* Return machine mode for libgcc expanded shift instructions. */
|
DEFHOOK
|
DEFHOOK
|
(libgcc_shift_count_mode,
|
(libgcc_shift_count_mode,
|
"",
|
"",
|
enum machine_mode, (void),
|
enum machine_mode, (void),
|
default_libgcc_shift_count_mode)
|
default_libgcc_shift_count_mode)
|
|
|
/* Return machine mode to be used for _Unwind_Word type. */
|
/* Return machine mode to be used for _Unwind_Word type. */
|
DEFHOOK
|
DEFHOOK
|
(unwind_word_mode,
|
(unwind_word_mode,
|
"",
|
"",
|
enum machine_mode, (void),
|
enum machine_mode, (void),
|
default_unwind_word_mode)
|
default_unwind_word_mode)
|
|
|
/* Given two decls, merge their attributes and return the result. */
|
/* Given two decls, merge their attributes and return the result. */
|
DEFHOOK
|
DEFHOOK
|
(merge_decl_attributes,
|
(merge_decl_attributes,
|
"",
|
"",
|
tree, (tree olddecl, tree newdecl),
|
tree, (tree olddecl, tree newdecl),
|
merge_decl_attributes)
|
merge_decl_attributes)
|
|
|
/* Given two types, merge their attributes and return the result. */
|
/* Given two types, merge their attributes and return the result. */
|
DEFHOOK
|
DEFHOOK
|
(merge_type_attributes,
|
(merge_type_attributes,
|
"",
|
"",
|
tree, (tree type1, tree type2),
|
tree, (tree type1, tree type2),
|
merge_type_attributes)
|
merge_type_attributes)
|
|
|
/* Table of machine attributes and functions to handle them.
|
/* Table of machine attributes and functions to handle them.
|
Ignored if NULL. */
|
Ignored if NULL. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(attribute_table,
|
(attribute_table,
|
"",
|
"",
|
const struct attribute_spec *, NULL)
|
const struct attribute_spec *, NULL)
|
|
|
/* Return true iff attribute NAME expects a plain identifier as its first
|
/* Return true iff attribute NAME expects a plain identifier as its first
|
argument. */
|
argument. */
|
DEFHOOK
|
DEFHOOK
|
(attribute_takes_identifier_p,
|
(attribute_takes_identifier_p,
|
"",
|
"",
|
bool, (const_tree name),
|
bool, (const_tree name),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
/* Return zero if the attributes on TYPE1 and TYPE2 are incompatible,
|
/* Return zero if the attributes on TYPE1 and TYPE2 are incompatible,
|
one if they are compatible and two if they are nearly compatible
|
one if they are compatible and two if they are nearly compatible
|
(which causes a warning to be generated). */
|
(which causes a warning to be generated). */
|
DEFHOOK
|
DEFHOOK
|
(comp_type_attributes,
|
(comp_type_attributes,
|
"",
|
"",
|
int, (const_tree type1, const_tree type2),
|
int, (const_tree type1, const_tree type2),
|
hook_int_const_tree_const_tree_1)
|
hook_int_const_tree_const_tree_1)
|
|
|
/* Assign default attributes to the newly defined TYPE. */
|
/* Assign default attributes to the newly defined TYPE. */
|
DEFHOOK
|
DEFHOOK
|
(set_default_type_attributes,
|
(set_default_type_attributes,
|
"",
|
"",
|
void, (tree type),
|
void, (tree type),
|
hook_void_tree)
|
hook_void_tree)
|
|
|
/* Insert attributes on the newly created DECL. */
|
/* Insert attributes on the newly created DECL. */
|
DEFHOOK
|
DEFHOOK
|
(insert_attributes,
|
(insert_attributes,
|
"",
|
"",
|
void, (tree node, tree *attr_ptr),
|
void, (tree node, tree *attr_ptr),
|
hook_void_tree_treeptr)
|
hook_void_tree_treeptr)
|
|
|
/* Return true if FNDECL (which has at least one machine attribute)
|
/* Return true if FNDECL (which has at least one machine attribute)
|
can be inlined despite its machine attributes, false otherwise. */
|
can be inlined despite its machine attributes, false otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(function_attribute_inlinable_p,
|
(function_attribute_inlinable_p,
|
"",
|
"",
|
bool, (const_tree fndecl),
|
bool, (const_tree fndecl),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
/* Return true if bitfields in RECORD_TYPE should follow the
|
/* Return true if bitfields in RECORD_TYPE should follow the
|
Microsoft Visual C++ bitfield layout rules. */
|
Microsoft Visual C++ bitfield layout rules. */
|
DEFHOOK
|
DEFHOOK
|
(ms_bitfield_layout_p,
|
(ms_bitfield_layout_p,
|
"",
|
"",
|
bool, (const_tree record_type),
|
bool, (const_tree record_type),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
/* For now this is only an interface to WORDS_BIG_ENDIAN for
|
/* For now this is only an interface to WORDS_BIG_ENDIAN for
|
target-independent code like the front ends, need performance testing
|
target-independent code like the front ends, need performance testing
|
before switching completely to the target hook. */
|
before switching completely to the target hook. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(words_big_endian,
|
(words_big_endian,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
targhook_words_big_endian)
|
targhook_words_big_endian)
|
|
|
/* Likewise for FLOAT_WORDS_BIG_ENDIAN. */
|
/* Likewise for FLOAT_WORDS_BIG_ENDIAN. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(float_words_big_endian,
|
(float_words_big_endian,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
targhook_float_words_big_endian)
|
targhook_float_words_big_endian)
|
|
|
/* True if the target supports decimal floating point. */
|
/* True if the target supports decimal floating point. */
|
DEFHOOK
|
DEFHOOK
|
(decimal_float_supported_p,
|
(decimal_float_supported_p,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
default_decimal_float_supported_p)
|
default_decimal_float_supported_p)
|
|
|
/* True if the target supports fixed-point. */
|
/* True if the target supports fixed-point. */
|
DEFHOOK
|
DEFHOOK
|
(fixed_point_supported_p,
|
(fixed_point_supported_p,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
default_fixed_point_supported_p)
|
default_fixed_point_supported_p)
|
|
|
/* Return true if anonymous bitfields affect structure alignment. */
|
/* Return true if anonymous bitfields affect structure alignment. */
|
DEFHOOK
|
DEFHOOK
|
(align_anon_bitfield,
|
(align_anon_bitfield,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Return true if volatile bitfields should use the narrowest type possible.
|
/* Return true if volatile bitfields should use the narrowest type possible.
|
Return false if they should use the container type. */
|
Return false if they should use the container type. */
|
DEFHOOK
|
DEFHOOK
|
(narrow_volatile_bitfield,
|
(narrow_volatile_bitfield,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Set up target-specific built-in functions. */
|
/* Set up target-specific built-in functions. */
|
DEFHOOK
|
DEFHOOK
|
(init_builtins,
|
(init_builtins,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Initialize (if INITIALIZE_P is true) and return the target-specific
|
/* Initialize (if INITIALIZE_P is true) and return the target-specific
|
built-in function decl for CODE.
|
built-in function decl for CODE.
|
Return NULL if that is not possible. Return error_mark_node if CODE
|
Return NULL if that is not possible. Return error_mark_node if CODE
|
is outside of the range of valid target builtin function codes. */
|
is outside of the range of valid target builtin function codes. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_decl,
|
(builtin_decl,
|
"",
|
"",
|
tree, (unsigned code, bool initialize_p), NULL)
|
tree, (unsigned code, bool initialize_p), NULL)
|
|
|
/* Expand a target-specific builtin. */
|
/* Expand a target-specific builtin. */
|
DEFHOOK
|
DEFHOOK
|
(expand_builtin,
|
(expand_builtin,
|
"",
|
"",
|
rtx,
|
rtx,
|
(tree exp, rtx target, rtx subtarget, enum machine_mode mode, int ignore),
|
(tree exp, rtx target, rtx subtarget, enum machine_mode mode, int ignore),
|
default_expand_builtin)
|
default_expand_builtin)
|
|
|
/* Select a replacement for a target-specific builtin. This is done
|
/* Select a replacement for a target-specific builtin. This is done
|
*before* regular type checking, and so allows the target to
|
*before* regular type checking, and so allows the target to
|
implement a crude form of function overloading. The result is a
|
implement a crude form of function overloading. The result is a
|
complete expression that implements the operation. PARAMS really
|
complete expression that implements the operation. PARAMS really
|
has type VEC(tree,gc)*, but we don't want to include tree.h here. */
|
has type VEC(tree,gc)*, but we don't want to include tree.h here. */
|
DEFHOOK
|
DEFHOOK
|
(resolve_overloaded_builtin,
|
(resolve_overloaded_builtin,
|
"",
|
"",
|
tree, (unsigned int /*location_t*/ loc, tree fndecl, void *arglist), NULL)
|
tree, (unsigned int /*location_t*/ loc, tree fndecl, void *arglist), NULL)
|
|
|
/* Fold a target-specific builtin. */
|
/* Fold a target-specific builtin. */
|
DEFHOOK
|
DEFHOOK
|
(fold_builtin,
|
(fold_builtin,
|
"",
|
"",
|
tree, (tree fndecl, int n_args, tree *argp, bool ignore),
|
tree, (tree fndecl, int n_args, tree *argp, bool ignore),
|
hook_tree_tree_int_treep_bool_null)
|
hook_tree_tree_int_treep_bool_null)
|
|
|
/* Returns a code for a target-specific builtin that implements
|
/* Returns a code for a target-specific builtin that implements
|
reciprocal of the function, or NULL_TREE if not available. */
|
reciprocal of the function, or NULL_TREE if not available. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_reciprocal,
|
(builtin_reciprocal,
|
"",
|
"",
|
tree, (unsigned fn, bool md_fn, bool sqrt),
|
tree, (unsigned fn, bool md_fn, bool sqrt),
|
default_builtin_reciprocal)
|
default_builtin_reciprocal)
|
|
|
/* For a vendor-specific TYPE, return a pointer to a statically-allocated
|
/* For a vendor-specific TYPE, return a pointer to a statically-allocated
|
string containing the C++ mangling for TYPE. In all other cases, return
|
string containing the C++ mangling for TYPE. In all other cases, return
|
NULL. */
|
NULL. */
|
DEFHOOK
|
DEFHOOK
|
(mangle_type,
|
(mangle_type,
|
"",
|
"",
|
const char *, (const_tree type),
|
const char *, (const_tree type),
|
hook_constcharptr_const_tree_null)
|
hook_constcharptr_const_tree_null)
|
|
|
/* Make any adjustments to libfunc names needed for this target. */
|
/* Make any adjustments to libfunc names needed for this target. */
|
DEFHOOK
|
DEFHOOK
|
(init_libfuncs,
|
(init_libfuncs,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Add a __gnu_ prefix to library functions rather than just __. */
|
/* Add a __gnu_ prefix to library functions rather than just __. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(libfunc_gnu_prefix,
|
(libfunc_gnu_prefix,
|
"If false (the default), internal library routines start with two\n\
|
"If false (the default), internal library routines start with two\n\
|
underscores. If set to true, these routines start with @code{__gnu_}\n\
|
underscores. If set to true, these routines start with @code{__gnu_}\n\
|
instead. E.g., @code{__muldi3} changes to @code{__gnu_muldi3}. This\n\
|
instead. E.g., @code{__muldi3} changes to @code{__gnu_muldi3}. This\n\
|
currently only affects functions defined in @file{libgcc2.c}. If this\n\
|
currently only affects functions defined in @file{libgcc2.c}. If this\n\
|
is set to true, the @file{tm.h} file must also\n\
|
is set to true, the @file{tm.h} file must also\n\
|
@code{#define LIBGCC2_GNU_PREFIX}.",
|
@code{#define LIBGCC2_GNU_PREFIX}.",
|
bool, false)
|
bool, false)
|
|
|
/* Given a decl, a section name, and whether the decl initializer
|
/* Given a decl, a section name, and whether the decl initializer
|
has relocs, choose attributes for the section. */
|
has relocs, choose attributes for the section. */
|
/* ??? Should be merged with SELECT_SECTION and UNIQUE_SECTION. */
|
/* ??? Should be merged with SELECT_SECTION and UNIQUE_SECTION. */
|
DEFHOOK
|
DEFHOOK
|
(section_type_flags,
|
(section_type_flags,
|
"",
|
"",
|
unsigned int, (tree decl, const char *name, int reloc),
|
unsigned int, (tree decl, const char *name, int reloc),
|
default_section_type_flags)
|
default_section_type_flags)
|
|
|
/* True if new jumps cannot be created, to replace existing ones or
|
/* True if new jumps cannot be created, to replace existing ones or
|
not, at the current point in the compilation. */
|
not, at the current point in the compilation. */
|
DEFHOOK
|
DEFHOOK
|
(cannot_modify_jumps_p,
|
(cannot_modify_jumps_p,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Return a register class for which branch target register
|
/* Return a register class for which branch target register
|
optimizations should be applied. */
|
optimizations should be applied. */
|
DEFHOOK
|
DEFHOOK
|
(branch_target_register_class,
|
(branch_target_register_class,
|
"",
|
"",
|
reg_class_t, (void),
|
reg_class_t, (void),
|
default_branch_target_register_class)
|
default_branch_target_register_class)
|
|
|
/* Return true if branch target register optimizations should include
|
/* Return true if branch target register optimizations should include
|
callee-saved registers that are not already live during the current
|
callee-saved registers that are not already live during the current
|
function. AFTER_PE_GEN is true if prologues and epilogues have
|
function. AFTER_PE_GEN is true if prologues and epilogues have
|
already been generated. */
|
already been generated. */
|
DEFHOOK
|
DEFHOOK
|
(branch_target_register_callee_saved,
|
(branch_target_register_callee_saved,
|
"",
|
"",
|
bool, (bool after_prologue_epilogue_gen),
|
bool, (bool after_prologue_epilogue_gen),
|
hook_bool_bool_false)
|
hook_bool_bool_false)
|
|
|
/* Return true if the target supports conditional execution. */
|
/* Return true if the target supports conditional execution. */
|
DEFHOOK
|
DEFHOOK
|
(have_conditional_execution,
|
(have_conditional_execution,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
default_have_conditional_execution)
|
default_have_conditional_execution)
|
|
|
/* Return a new value for loop unroll size. */
|
/* Return a new value for loop unroll size. */
|
DEFHOOK
|
DEFHOOK
|
(loop_unroll_adjust,
|
(loop_unroll_adjust,
|
"",
|
"",
|
unsigned, (unsigned nunroll, struct loop *loop),
|
unsigned, (unsigned nunroll, struct loop *loop),
|
NULL)
|
NULL)
|
|
|
/* True if X is a legitimate MODE-mode immediate operand. */
|
/* True if X is a legitimate MODE-mode immediate operand. */
|
DEFHOOK
|
DEFHOOK
|
(legitimate_constant_p,
|
(legitimate_constant_p,
|
"",
|
"",
|
bool, (enum machine_mode mode, rtx x),
|
bool, (enum machine_mode mode, rtx x),
|
hook_bool_mode_rtx_true)
|
hook_bool_mode_rtx_true)
|
|
|
/* True if the constant X cannot be placed in the constant pool. */
|
/* True if the constant X cannot be placed in the constant pool. */
|
DEFHOOK
|
DEFHOOK
|
(cannot_force_const_mem,
|
(cannot_force_const_mem,
|
"",
|
"",
|
bool, (enum machine_mode mode, rtx x),
|
bool, (enum machine_mode mode, rtx x),
|
hook_bool_mode_rtx_false)
|
hook_bool_mode_rtx_false)
|
|
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(cannot_copy_insn_p,
|
(cannot_copy_insn_p,
|
"True if the insn @var{x} cannot be duplicated.",
|
"True if the insn @var{x} cannot be duplicated.",
|
bool, (rtx), NULL)
|
bool, (rtx), NULL)
|
|
|
/* True if X is considered to be commutative. */
|
/* True if X is considered to be commutative. */
|
DEFHOOK
|
DEFHOOK
|
(commutative_p,
|
(commutative_p,
|
"",
|
"",
|
bool, (const_rtx x, int outer_code),
|
bool, (const_rtx x, int outer_code),
|
hook_bool_const_rtx_commutative_p)
|
hook_bool_const_rtx_commutative_p)
|
|
|
/* True if ADDR is an address-expression whose effect depends
|
/* True if ADDR is an address-expression whose effect depends
|
on the mode of the memory reference it is used in. */
|
on the mode of the memory reference it is used in. */
|
DEFHOOK
|
DEFHOOK
|
(mode_dependent_address_p,
|
(mode_dependent_address_p,
|
"",
|
"",
|
bool, (const_rtx addr),
|
bool, (const_rtx addr),
|
default_mode_dependent_address_p)
|
default_mode_dependent_address_p)
|
|
|
/* Given an invalid address X for a given machine mode, try machine-specific
|
/* Given an invalid address X for a given machine mode, try machine-specific
|
ways to make it legitimate. Return X or an invalid address on failure. */
|
ways to make it legitimate. Return X or an invalid address on failure. */
|
DEFHOOK
|
DEFHOOK
|
(legitimize_address,
|
(legitimize_address,
|
"",
|
"",
|
rtx, (rtx x, rtx oldx, enum machine_mode mode),
|
rtx, (rtx x, rtx oldx, enum machine_mode mode),
|
default_legitimize_address)
|
default_legitimize_address)
|
|
|
/* Given an address RTX, undo the effects of LEGITIMIZE_ADDRESS. */
|
/* Given an address RTX, undo the effects of LEGITIMIZE_ADDRESS. */
|
DEFHOOK
|
DEFHOOK
|
(delegitimize_address,
|
(delegitimize_address,
|
"",
|
"",
|
rtx, (rtx x),
|
rtx, (rtx x),
|
delegitimize_mem_from_attrs)
|
delegitimize_mem_from_attrs)
|
|
|
/* Given an RTX, return true if it is not ok to emit it into debug info
|
/* Given an RTX, return true if it is not ok to emit it into debug info
|
section. */
|
section. */
|
DEFHOOK
|
DEFHOOK
|
(const_not_ok_for_debug_p,
|
(const_not_ok_for_debug_p,
|
"",
|
"",
|
bool, (rtx x),
|
bool, (rtx x),
|
hook_bool_rtx_false)
|
hook_bool_rtx_false)
|
|
|
/* Given an address RTX, say whether it is valid. */
|
/* Given an address RTX, say whether it is valid. */
|
DEFHOOK
|
DEFHOOK
|
(legitimate_address_p,
|
(legitimate_address_p,
|
"",
|
"",
|
bool, (enum machine_mode mode, rtx x, bool strict),
|
bool, (enum machine_mode mode, rtx x, bool strict),
|
default_legitimate_address_p)
|
default_legitimate_address_p)
|
|
|
/* True if the given constant can be put into an object_block. */
|
/* True if the given constant can be put into an object_block. */
|
DEFHOOK
|
DEFHOOK
|
(use_blocks_for_constant_p,
|
(use_blocks_for_constant_p,
|
"",
|
"",
|
bool, (enum machine_mode mode, const_rtx x),
|
bool, (enum machine_mode mode, const_rtx x),
|
hook_bool_mode_const_rtx_false)
|
hook_bool_mode_const_rtx_false)
|
|
|
/* The minimum and maximum byte offsets for anchored addresses. */
|
/* The minimum and maximum byte offsets for anchored addresses. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(min_anchor_offset,
|
(min_anchor_offset,
|
"",
|
"",
|
HOST_WIDE_INT, 0)
|
HOST_WIDE_INT, 0)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(max_anchor_offset,
|
(max_anchor_offset,
|
"",
|
"",
|
HOST_WIDE_INT, 0)
|
HOST_WIDE_INT, 0)
|
|
|
/* True if section anchors can be used to access the given symbol. */
|
/* True if section anchors can be used to access the given symbol. */
|
DEFHOOK
|
DEFHOOK
|
(use_anchors_for_symbol_p,
|
(use_anchors_for_symbol_p,
|
"",
|
"",
|
bool, (const_rtx x),
|
bool, (const_rtx x),
|
default_use_anchors_for_symbol_p)
|
default_use_anchors_for_symbol_p)
|
|
|
/* True if it is OK to do sibling call optimization for the specified
|
/* True if it is OK to do sibling call optimization for the specified
|
call expression EXP. DECL will be the called function, or NULL if
|
call expression EXP. DECL will be the called function, or NULL if
|
this is an indirect call. */
|
this is an indirect call. */
|
DEFHOOK
|
DEFHOOK
|
(function_ok_for_sibcall,
|
(function_ok_for_sibcall,
|
"",
|
"",
|
bool, (tree decl, tree exp),
|
bool, (tree decl, tree exp),
|
hook_bool_tree_tree_false)
|
hook_bool_tree_tree_false)
|
|
|
/* Establish appropriate back-end context for processing the function
|
/* Establish appropriate back-end context for processing the function
|
FNDECL. The argument might be NULL to indicate processing at top
|
FNDECL. The argument might be NULL to indicate processing at top
|
level, outside of any function scope. */
|
level, outside of any function scope. */
|
DEFHOOK
|
DEFHOOK
|
(set_current_function,
|
(set_current_function,
|
"",
|
"",
|
void, (tree decl), hook_void_tree)
|
void, (tree decl), hook_void_tree)
|
|
|
/* True if EXP should be placed in a "small data" section. */
|
/* True if EXP should be placed in a "small data" section. */
|
DEFHOOK
|
DEFHOOK
|
(in_small_data_p,
|
(in_small_data_p,
|
"",
|
"",
|
bool, (const_tree exp),
|
bool, (const_tree exp),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
/* True if EXP names an object for which name resolution must resolve
|
/* True if EXP names an object for which name resolution must resolve
|
to the current executable or shared library. */
|
to the current executable or shared library. */
|
DEFHOOK
|
DEFHOOK
|
(binds_local_p,
|
(binds_local_p,
|
"",
|
"",
|
bool, (const_tree exp),
|
bool, (const_tree exp),
|
default_binds_local_p)
|
default_binds_local_p)
|
|
|
/* Check if profiling code is before or after prologue. */
|
/* Check if profiling code is before or after prologue. */
|
DEFHOOK
|
DEFHOOK
|
(profile_before_prologue,
|
(profile_before_prologue,
|
"It returns true if target wants profile code emitted before prologue.\n\n\
|
"It returns true if target wants profile code emitted before prologue.\n\n\
|
The default version of this hook use the target macro\n\
|
The default version of this hook use the target macro\n\
|
@code{PROFILE_BEFORE_PROLOGUE}.",
|
@code{PROFILE_BEFORE_PROLOGUE}.",
|
bool, (void),
|
bool, (void),
|
default_profile_before_prologue)
|
default_profile_before_prologue)
|
|
|
/* Modify and return the identifier of a DECL's external name,
|
/* Modify and return the identifier of a DECL's external name,
|
originally identified by ID, as required by the target,
|
originally identified by ID, as required by the target,
|
(eg, append @nn to windows32 stdcall function names).
|
(eg, append @nn to windows32 stdcall function names).
|
The default is to return ID without modification. */
|
The default is to return ID without modification. */
|
DEFHOOK
|
DEFHOOK
|
(mangle_decl_assembler_name,
|
(mangle_decl_assembler_name,
|
"",
|
"",
|
tree, (tree decl, tree id),
|
tree, (tree decl, tree id),
|
default_mangle_decl_assembler_name)
|
default_mangle_decl_assembler_name)
|
|
|
/* Do something target-specific to record properties of the DECL into
|
/* Do something target-specific to record properties of the DECL into
|
the associated SYMBOL_REF. */
|
the associated SYMBOL_REF. */
|
DEFHOOK
|
DEFHOOK
|
(encode_section_info,
|
(encode_section_info,
|
"",
|
"",
|
void, (tree decl, rtx rtl, int new_decl_p),
|
void, (tree decl, rtx rtl, int new_decl_p),
|
default_encode_section_info)
|
default_encode_section_info)
|
|
|
/* Undo the effects of encode_section_info on the symbol string. */
|
/* Undo the effects of encode_section_info on the symbol string. */
|
DEFHOOK
|
DEFHOOK
|
(strip_name_encoding,
|
(strip_name_encoding,
|
"",
|
"",
|
const char *, (const char *name),
|
const char *, (const char *name),
|
default_strip_name_encoding)
|
default_strip_name_encoding)
|
|
|
/* If shift optabs for MODE are known to always truncate the shift count,
|
/* If shift optabs for MODE are known to always truncate the shift count,
|
return the mask that they apply. Return 0 otherwise. */
|
return the mask that they apply. Return 0 otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(shift_truncation_mask,
|
(shift_truncation_mask,
|
"",
|
"",
|
unsigned HOST_WIDE_INT, (enum machine_mode mode),
|
unsigned HOST_WIDE_INT, (enum machine_mode mode),
|
default_shift_truncation_mask)
|
default_shift_truncation_mask)
|
|
|
/* Return the number of divisions in the given MODE that should be present,
|
/* Return the number of divisions in the given MODE that should be present,
|
so that it is profitable to turn the division into a multiplication by
|
so that it is profitable to turn the division into a multiplication by
|
the reciprocal. */
|
the reciprocal. */
|
DEFHOOK
|
DEFHOOK
|
(min_divisions_for_recip_mul,
|
(min_divisions_for_recip_mul,
|
"",
|
"",
|
unsigned int, (enum machine_mode mode),
|
unsigned int, (enum machine_mode mode),
|
default_min_divisions_for_recip_mul)
|
default_min_divisions_for_recip_mul)
|
|
|
/* If the representation of integral MODE is such that values are
|
/* If the representation of integral MODE is such that values are
|
always sign-extended to a wider mode MODE_REP then return
|
always sign-extended to a wider mode MODE_REP then return
|
SIGN_EXTEND. Return UNKNOWN otherwise. */
|
SIGN_EXTEND. Return UNKNOWN otherwise. */
|
/* Note that the return type ought to be RTX_CODE, but that's not
|
/* Note that the return type ought to be RTX_CODE, but that's not
|
necessarily defined at this point. */
|
necessarily defined at this point. */
|
DEFHOOK
|
DEFHOOK
|
(mode_rep_extended,
|
(mode_rep_extended,
|
"",
|
"",
|
int, (enum machine_mode mode, enum machine_mode rep_mode),
|
int, (enum machine_mode mode, enum machine_mode rep_mode),
|
default_mode_rep_extended)
|
default_mode_rep_extended)
|
|
|
/* True if MODE is valid for a pointer in __attribute__((mode("MODE"))). */
|
/* True if MODE is valid for a pointer in __attribute__((mode("MODE"))). */
|
DEFHOOK
|
DEFHOOK
|
(valid_pointer_mode,
|
(valid_pointer_mode,
|
"",
|
"",
|
bool, (enum machine_mode mode),
|
bool, (enum machine_mode mode),
|
default_valid_pointer_mode)
|
default_valid_pointer_mode)
|
|
|
/* Disambiguate with errno. */
|
/* Disambiguate with errno. */
|
DEFHOOK
|
DEFHOOK
|
(ref_may_alias_errno,
|
(ref_may_alias_errno,
|
"Define this to return nonzero if the memory reference @var{ref}\
|
"Define this to return nonzero if the memory reference @var{ref}\
|
may alias with the system C library errno location. The default\
|
may alias with the system C library errno location. The default\
|
version of this hook assumes the system C library errno location\
|
version of this hook assumes the system C library errno location\
|
is either a declaration of type int or accessed by dereferencing\
|
is either a declaration of type int or accessed by dereferencing\
|
a pointer to int.",
|
a pointer to int.",
|
bool, (struct ao_ref_s *ref),
|
bool, (struct ao_ref_s *ref),
|
default_ref_may_alias_errno)
|
default_ref_may_alias_errno)
|
|
|
/* Support for named address spaces. */
|
/* Support for named address spaces. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_ADDR_SPACE_"
|
#define HOOK_PREFIX "TARGET_ADDR_SPACE_"
|
HOOK_VECTOR (TARGET_ADDR_SPACE_HOOKS, addr_space)
|
HOOK_VECTOR (TARGET_ADDR_SPACE_HOOKS, addr_space)
|
|
|
/* MODE to use for a pointer into another address space. */
|
/* MODE to use for a pointer into another address space. */
|
DEFHOOK
|
DEFHOOK
|
(pointer_mode,
|
(pointer_mode,
|
"",
|
"",
|
enum machine_mode, (addr_space_t address_space),
|
enum machine_mode, (addr_space_t address_space),
|
default_addr_space_pointer_mode)
|
default_addr_space_pointer_mode)
|
|
|
/* MODE to use for an address in another address space. */
|
/* MODE to use for an address in another address space. */
|
DEFHOOK
|
DEFHOOK
|
(address_mode,
|
(address_mode,
|
"",
|
"",
|
enum machine_mode, (addr_space_t address_space),
|
enum machine_mode, (addr_space_t address_space),
|
default_addr_space_address_mode)
|
default_addr_space_address_mode)
|
|
|
/* True if MODE is valid for a pointer in __attribute__((mode("MODE")))
|
/* True if MODE is valid for a pointer in __attribute__((mode("MODE")))
|
in another address space. */
|
in another address space. */
|
DEFHOOK
|
DEFHOOK
|
(valid_pointer_mode,
|
(valid_pointer_mode,
|
"",
|
"",
|
bool, (enum machine_mode mode, addr_space_t as),
|
bool, (enum machine_mode mode, addr_space_t as),
|
default_addr_space_valid_pointer_mode)
|
default_addr_space_valid_pointer_mode)
|
|
|
/* True if an address is a valid memory address to a given named address
|
/* True if an address is a valid memory address to a given named address
|
space for a given mode. */
|
space for a given mode. */
|
DEFHOOK
|
DEFHOOK
|
(legitimate_address_p,
|
(legitimate_address_p,
|
"",
|
"",
|
bool, (enum machine_mode mode, rtx exp, bool strict, addr_space_t as),
|
bool, (enum machine_mode mode, rtx exp, bool strict, addr_space_t as),
|
default_addr_space_legitimate_address_p)
|
default_addr_space_legitimate_address_p)
|
|
|
/* Return an updated address to convert an invalid pointer to a named
|
/* Return an updated address to convert an invalid pointer to a named
|
address space to a valid one. If NULL_RTX is returned use machine
|
address space to a valid one. If NULL_RTX is returned use machine
|
independent methods to make the address valid. */
|
independent methods to make the address valid. */
|
DEFHOOK
|
DEFHOOK
|
(legitimize_address,
|
(legitimize_address,
|
"",
|
"",
|
rtx, (rtx x, rtx oldx, enum machine_mode mode, addr_space_t as),
|
rtx, (rtx x, rtx oldx, enum machine_mode mode, addr_space_t as),
|
default_addr_space_legitimize_address)
|
default_addr_space_legitimize_address)
|
|
|
/* True if one named address space is a subset of another named address. */
|
/* True if one named address space is a subset of another named address. */
|
DEFHOOK
|
DEFHOOK
|
(subset_p,
|
(subset_p,
|
"",
|
"",
|
bool, (addr_space_t subset, addr_space_t superset),
|
bool, (addr_space_t subset, addr_space_t superset),
|
default_addr_space_subset_p)
|
default_addr_space_subset_p)
|
|
|
/* Function to convert an rtl expression from one address space to another. */
|
/* Function to convert an rtl expression from one address space to another. */
|
DEFHOOK
|
DEFHOOK
|
(convert,
|
(convert,
|
"",
|
"",
|
rtx, (rtx op, tree from_type, tree to_type),
|
rtx, (rtx op, tree from_type, tree to_type),
|
default_addr_space_convert)
|
default_addr_space_convert)
|
|
|
HOOK_VECTOR_END (addr_space)
|
HOOK_VECTOR_END (addr_space)
|
|
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_"
|
#define HOOK_PREFIX "TARGET_"
|
|
|
/* True if MODE is valid for the target. By "valid", we mean able to
|
/* True if MODE is valid for the target. By "valid", we mean able to
|
be manipulated in non-trivial ways. In particular, this means all
|
be manipulated in non-trivial ways. In particular, this means all
|
the arithmetic is supported. */
|
the arithmetic is supported. */
|
DEFHOOK
|
DEFHOOK
|
(scalar_mode_supported_p,
|
(scalar_mode_supported_p,
|
"",
|
"",
|
bool, (enum machine_mode mode),
|
bool, (enum machine_mode mode),
|
default_scalar_mode_supported_p)
|
default_scalar_mode_supported_p)
|
|
|
/* Similarly for vector modes. "Supported" here is less strict. At
|
/* Similarly for vector modes. "Supported" here is less strict. At
|
least some operations are supported; need to check optabs or builtins
|
least some operations are supported; need to check optabs or builtins
|
for further details. */
|
for further details. */
|
DEFHOOK
|
DEFHOOK
|
(vector_mode_supported_p,
|
(vector_mode_supported_p,
|
"",
|
"",
|
bool, (enum machine_mode mode),
|
bool, (enum machine_mode mode),
|
hook_bool_mode_false)
|
hook_bool_mode_false)
|
|
|
/* True if we should try to use a scalar mode to represent an array,
|
/* True if we should try to use a scalar mode to represent an array,
|
overriding the usual MAX_FIXED_MODE limit. */
|
overriding the usual MAX_FIXED_MODE limit. */
|
DEFHOOK
|
DEFHOOK
|
(array_mode_supported_p,
|
(array_mode_supported_p,
|
"Return true if GCC should try to use a scalar mode to store an array\n\
|
"Return true if GCC should try to use a scalar mode to store an array\n\
|
of @var{nelems} elements, given that each element has mode @var{mode}.\n\
|
of @var{nelems} elements, given that each element has mode @var{mode}.\n\
|
Returning true here overrides the usual @code{MAX_FIXED_MODE} limit\n\
|
Returning true here overrides the usual @code{MAX_FIXED_MODE} limit\n\
|
and allows GCC to use any defined integer mode.\n\
|
and allows GCC to use any defined integer mode.\n\
|
\n\
|
\n\
|
One use of this hook is to support vector load and store operations\n\
|
One use of this hook is to support vector load and store operations\n\
|
that operate on several homogeneous vectors. For example, ARM NEON\n\
|
that operate on several homogeneous vectors. For example, ARM NEON\n\
|
has operations like:\n\
|
has operations like:\n\
|
\n\
|
\n\
|
@smallexample\n\
|
@smallexample\n\
|
int8x8x3_t vld3_s8 (const int8_t *)\n\
|
int8x8x3_t vld3_s8 (const int8_t *)\n\
|
@end smallexample\n\
|
@end smallexample\n\
|
\n\
|
\n\
|
where the return type is defined as:\n\
|
where the return type is defined as:\n\
|
\n\
|
\n\
|
@smallexample\n\
|
@smallexample\n\
|
typedef struct int8x8x3_t\n\
|
typedef struct int8x8x3_t\n\
|
@{\n\
|
@{\n\
|
int8x8_t val[3];\n\
|
int8x8_t val[3];\n\
|
@} int8x8x3_t;\n\
|
@} int8x8x3_t;\n\
|
@end smallexample\n\
|
@end smallexample\n\
|
\n\
|
\n\
|
If this hook allows @code{val} to have a scalar mode, then\n\
|
If this hook allows @code{val} to have a scalar mode, then\n\
|
@code{int8x8x3_t} can have the same mode. GCC can then store\n\
|
@code{int8x8x3_t} can have the same mode. GCC can then store\n\
|
@code{int8x8x3_t}s in registers rather than forcing them onto the stack.",
|
@code{int8x8x3_t}s in registers rather than forcing them onto the stack.",
|
bool, (enum machine_mode mode, unsigned HOST_WIDE_INT nelems),
|
bool, (enum machine_mode mode, unsigned HOST_WIDE_INT nelems),
|
hook_bool_mode_uhwi_false)
|
hook_bool_mode_uhwi_false)
|
|
|
/* Compute cost of moving data from a register of class FROM to one of
|
/* Compute cost of moving data from a register of class FROM to one of
|
TO, using MODE. */
|
TO, using MODE. */
|
DEFHOOK
|
DEFHOOK
|
(register_move_cost,
|
(register_move_cost,
|
"",
|
"",
|
int, (enum machine_mode mode, reg_class_t from, reg_class_t to),
|
int, (enum machine_mode mode, reg_class_t from, reg_class_t to),
|
default_register_move_cost)
|
default_register_move_cost)
|
|
|
/* Compute cost of moving registers to/from memory. */
|
/* Compute cost of moving registers to/from memory. */
|
/* ??? Documenting the argument types for this hook requires a GFDL
|
/* ??? Documenting the argument types for this hook requires a GFDL
|
license grant. Also, the documentation uses a different name for RCLASS. */
|
license grant. Also, the documentation uses a different name for RCLASS. */
|
DEFHOOK
|
DEFHOOK
|
(memory_move_cost,
|
(memory_move_cost,
|
"",
|
"",
|
int, (enum machine_mode mode, reg_class_t rclass, bool in),
|
int, (enum machine_mode mode, reg_class_t rclass, bool in),
|
default_memory_move_cost)
|
default_memory_move_cost)
|
|
|
/* True for MODE if the target expects that registers in this mode will
|
/* True for MODE if the target expects that registers in this mode will
|
be allocated to registers in a small register class. The compiler is
|
be allocated to registers in a small register class. The compiler is
|
allowed to use registers explicitly used in the rtl as spill registers
|
allowed to use registers explicitly used in the rtl as spill registers
|
but it should prevent extending the lifetime of these registers. */
|
but it should prevent extending the lifetime of these registers. */
|
DEFHOOK
|
DEFHOOK
|
(small_register_classes_for_mode_p,
|
(small_register_classes_for_mode_p,
|
"",
|
"",
|
bool, (enum machine_mode mode),
|
bool, (enum machine_mode mode),
|
hook_bool_mode_false)
|
hook_bool_mode_false)
|
|
|
/* Register number for a flags register. Only needs to be defined if the
|
/* Register number for a flags register. Only needs to be defined if the
|
target is constrainted to use post-reload comparison elimination. */
|
target is constrainted to use post-reload comparison elimination. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(flags_regnum,
|
(flags_regnum,
|
"If the target has a dedicated flags register, and it needs to use the\
|
"If the target has a dedicated flags register, and it needs to use the\
|
post-reload comparison elimination pass, then this value should be set\
|
post-reload comparison elimination pass, then this value should be set\
|
appropriately.",
|
appropriately.",
|
unsigned int, INVALID_REGNUM)
|
unsigned int, INVALID_REGNUM)
|
|
|
/* Compute a (partial) cost for rtx X. Return true if the complete
|
/* Compute a (partial) cost for rtx X. Return true if the complete
|
cost has been computed, and false if subexpressions should be
|
cost has been computed, and false if subexpressions should be
|
scanned. In either case, *TOTAL contains the cost result. */
|
scanned. In either case, *TOTAL contains the cost result. */
|
/* Note that CODE and OUTER_CODE ought to be RTX_CODE, but that's
|
/* Note that CODE and OUTER_CODE ought to be RTX_CODE, but that's
|
not necessarily defined at this point. */
|
not necessarily defined at this point. */
|
DEFHOOK
|
DEFHOOK
|
(rtx_costs,
|
(rtx_costs,
|
"",
|
"",
|
bool, (rtx x, int code, int outer_code, int opno, int *total, bool speed),
|
bool, (rtx x, int code, int outer_code, int opno, int *total, bool speed),
|
hook_bool_rtx_int_int_int_intp_bool_false)
|
hook_bool_rtx_int_int_int_intp_bool_false)
|
|
|
/* Compute the cost of X, used as an address. Never called with
|
/* Compute the cost of X, used as an address. Never called with
|
invalid addresses. */
|
invalid addresses. */
|
DEFHOOK
|
DEFHOOK
|
(address_cost,
|
(address_cost,
|
"",
|
"",
|
int, (rtx address, bool speed),
|
int, (rtx address, bool speed),
|
default_address_cost)
|
default_address_cost)
|
|
|
/* Return where to allocate pseudo for a given hard register initial value. */
|
/* Return where to allocate pseudo for a given hard register initial value. */
|
DEFHOOK
|
DEFHOOK
|
(allocate_initial_value,
|
(allocate_initial_value,
|
"",
|
"",
|
rtx, (rtx hard_reg), NULL)
|
rtx, (rtx hard_reg), NULL)
|
|
|
/* Return nonzero if evaluating UNSPEC[_VOLATILE] X might cause a trap.
|
/* Return nonzero if evaluating UNSPEC[_VOLATILE] X might cause a trap.
|
FLAGS has the same meaning as in rtlanal.c: may_trap_p_1. */
|
FLAGS has the same meaning as in rtlanal.c: may_trap_p_1. */
|
DEFHOOK
|
DEFHOOK
|
(unspec_may_trap_p,
|
(unspec_may_trap_p,
|
"",
|
"",
|
int, (const_rtx x, unsigned flags),
|
int, (const_rtx x, unsigned flags),
|
default_unspec_may_trap_p)
|
default_unspec_may_trap_p)
|
|
|
/* Given a register, this hook should return a parallel of registers
|
/* Given a register, this hook should return a parallel of registers
|
to represent where to find the register pieces. Define this hook
|
to represent where to find the register pieces. Define this hook
|
if the register and its mode are represented in Dwarf in
|
if the register and its mode are represented in Dwarf in
|
non-contiguous locations, or if the register should be
|
non-contiguous locations, or if the register should be
|
represented in more than one register in Dwarf. Otherwise, this
|
represented in more than one register in Dwarf. Otherwise, this
|
hook should return NULL_RTX. */
|
hook should return NULL_RTX. */
|
DEFHOOK
|
DEFHOOK
|
(dwarf_register_span,
|
(dwarf_register_span,
|
"",
|
"",
|
rtx, (rtx reg),
|
rtx, (rtx reg),
|
hook_rtx_rtx_null)
|
hook_rtx_rtx_null)
|
|
|
/* If expand_builtin_init_dwarf_reg_sizes needs to fill in table
|
/* If expand_builtin_init_dwarf_reg_sizes needs to fill in table
|
entries not corresponding directly to registers below
|
entries not corresponding directly to registers below
|
FIRST_PSEUDO_REGISTER, this hook should generate the necessary
|
FIRST_PSEUDO_REGISTER, this hook should generate the necessary
|
code, given the address of the table. */
|
code, given the address of the table. */
|
DEFHOOK
|
DEFHOOK
|
(init_dwarf_reg_sizes_extra,
|
(init_dwarf_reg_sizes_extra,
|
"",
|
"",
|
void, (tree address),
|
void, (tree address),
|
hook_void_tree)
|
hook_void_tree)
|
|
|
/* Fetch the fixed register(s) which hold condition codes, for
|
/* Fetch the fixed register(s) which hold condition codes, for
|
targets where it makes sense to look for duplicate assignments to
|
targets where it makes sense to look for duplicate assignments to
|
the condition codes. This should return true if there is such a
|
the condition codes. This should return true if there is such a
|
register, false otherwise. The arguments should be set to the
|
register, false otherwise. The arguments should be set to the
|
fixed register numbers. Up to two condition code registers are
|
fixed register numbers. Up to two condition code registers are
|
supported. If there is only one for this target, the int pointed
|
supported. If there is only one for this target, the int pointed
|
at by the second argument should be set to -1. */
|
at by the second argument should be set to -1. */
|
DEFHOOK
|
DEFHOOK
|
(fixed_condition_code_regs,
|
(fixed_condition_code_regs,
|
"",
|
"",
|
bool, (unsigned int *p1, unsigned int *p2),
|
bool, (unsigned int *p1, unsigned int *p2),
|
hook_bool_uintp_uintp_false)
|
hook_bool_uintp_uintp_false)
|
|
|
/* If two condition code modes are compatible, return a condition
|
/* If two condition code modes are compatible, return a condition
|
code mode which is compatible with both, such that a comparison
|
code mode which is compatible with both, such that a comparison
|
done in the returned mode will work for both of the original
|
done in the returned mode will work for both of the original
|
modes. If the condition code modes are not compatible, return
|
modes. If the condition code modes are not compatible, return
|
VOIDmode. */
|
VOIDmode. */
|
DEFHOOK
|
DEFHOOK
|
(cc_modes_compatible,
|
(cc_modes_compatible,
|
"",
|
"",
|
enum machine_mode, (enum machine_mode m1, enum machine_mode m2),
|
enum machine_mode, (enum machine_mode m1, enum machine_mode m2),
|
default_cc_modes_compatible)
|
default_cc_modes_compatible)
|
|
|
/* Do machine-dependent code transformations. Called just before
|
/* Do machine-dependent code transformations. Called just before
|
delayed-branch scheduling. */
|
delayed-branch scheduling. */
|
DEFHOOK
|
DEFHOOK
|
(machine_dependent_reorg,
|
(machine_dependent_reorg,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
/* Create the __builtin_va_list type. */
|
/* Create the __builtin_va_list type. */
|
DEFHOOK
|
DEFHOOK
|
(build_builtin_va_list,
|
(build_builtin_va_list,
|
"",
|
"",
|
tree, (void),
|
tree, (void),
|
std_build_builtin_va_list)
|
std_build_builtin_va_list)
|
|
|
/* Enumerate the va list variants. */
|
/* Enumerate the va list variants. */
|
DEFHOOK
|
DEFHOOK
|
(enum_va_list_p,
|
(enum_va_list_p,
|
"",
|
"",
|
int, (int idx, const char **pname, tree *ptree),
|
int, (int idx, const char **pname, tree *ptree),
|
NULL)
|
NULL)
|
|
|
/* Get the cfun/fndecl calling abi __builtin_va_list type. */
|
/* Get the cfun/fndecl calling abi __builtin_va_list type. */
|
DEFHOOK
|
DEFHOOK
|
(fn_abi_va_list,
|
(fn_abi_va_list,
|
"",
|
"",
|
tree, (tree fndecl),
|
tree, (tree fndecl),
|
std_fn_abi_va_list)
|
std_fn_abi_va_list)
|
|
|
/* Get the __builtin_va_list type dependent on input type. */
|
/* Get the __builtin_va_list type dependent on input type. */
|
DEFHOOK
|
DEFHOOK
|
(canonical_va_list_type,
|
(canonical_va_list_type,
|
"",
|
"",
|
tree, (tree type),
|
tree, (tree type),
|
std_canonical_va_list_type)
|
std_canonical_va_list_type)
|
|
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(expand_builtin_va_start,
|
(expand_builtin_va_start,
|
"Expand the @code{__builtin_va_start} builtin.",
|
"Expand the @code{__builtin_va_start} builtin.",
|
void, (tree valist, rtx nextarg), NULL)
|
void, (tree valist, rtx nextarg), NULL)
|
|
|
/* Gimplifies a VA_ARG_EXPR. */
|
/* Gimplifies a VA_ARG_EXPR. */
|
DEFHOOK
|
DEFHOOK
|
(gimplify_va_arg_expr,
|
(gimplify_va_arg_expr,
|
"",
|
"",
|
tree, (tree valist, tree type, gimple_seq *pre_p, gimple_seq *post_p),
|
tree, (tree valist, tree type, gimple_seq *pre_p, gimple_seq *post_p),
|
std_gimplify_va_arg_expr)
|
std_gimplify_va_arg_expr)
|
|
|
/* Validity-checking routines for PCH files, target-specific.
|
/* Validity-checking routines for PCH files, target-specific.
|
get_pch_validity returns a pointer to the data to be stored,
|
get_pch_validity returns a pointer to the data to be stored,
|
and stores the size in its argument. pch_valid_p gets the same
|
and stores the size in its argument. pch_valid_p gets the same
|
information back and returns NULL if the PCH is valid,
|
information back and returns NULL if the PCH is valid,
|
or an error message if not. */
|
or an error message if not. */
|
DEFHOOK
|
DEFHOOK
|
(get_pch_validity,
|
(get_pch_validity,
|
"",
|
"",
|
void *, (size_t *sz),
|
void *, (size_t *sz),
|
default_get_pch_validity)
|
default_get_pch_validity)
|
|
|
DEFHOOK
|
DEFHOOK
|
(pch_valid_p,
|
(pch_valid_p,
|
"",
|
"",
|
const char *, (const void *data, size_t sz),
|
const char *, (const void *data, size_t sz),
|
default_pch_valid_p)
|
default_pch_valid_p)
|
|
|
DEFHOOK
|
DEFHOOK
|
(prepare_pch_save,
|
(prepare_pch_save,
|
"Called before writing out a PCH file. If the target has some\n\
|
"Called before writing out a PCH file. If the target has some\n\
|
garbage-collected data that needs to be in a particular state on PCH loads,\n\
|
garbage-collected data that needs to be in a particular state on PCH loads,\n\
|
it can use this hook to enforce that state. Very few targets need\n\
|
it can use this hook to enforce that state. Very few targets need\n\
|
to do anything here.",
|
to do anything here.",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* If nonnull, this function checks whether a PCH file with the
|
/* If nonnull, this function checks whether a PCH file with the
|
given set of target flags can be used. It returns NULL if so,
|
given set of target flags can be used. It returns NULL if so,
|
otherwise it returns an error message. */
|
otherwise it returns an error message. */
|
DEFHOOK
|
DEFHOOK
|
(check_pch_target_flags,
|
(check_pch_target_flags,
|
"",
|
"",
|
const char *, (int pch_flags), NULL)
|
const char *, (int pch_flags), NULL)
|
|
|
/* True if the compiler should give an enum type only as many
|
/* True if the compiler should give an enum type only as many
|
bytes as it takes to represent the range of possible values of
|
bytes as it takes to represent the range of possible values of
|
that type. */
|
that type. */
|
DEFHOOK
|
DEFHOOK
|
(default_short_enums,
|
(default_short_enums,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* This target hook returns an rtx that is used to store the address
|
/* This target hook returns an rtx that is used to store the address
|
of the current frame into the built-in setjmp buffer. */
|
of the current frame into the built-in setjmp buffer. */
|
DEFHOOK
|
DEFHOOK
|
(builtin_setjmp_frame_value,
|
(builtin_setjmp_frame_value,
|
"",
|
"",
|
rtx, (void),
|
rtx, (void),
|
default_builtin_setjmp_frame_value)
|
default_builtin_setjmp_frame_value)
|
|
|
/* This target hook should add STRING_CST trees for any hard regs
|
/* This target hook should add STRING_CST trees for any hard regs
|
the port wishes to automatically clobber for an asm. */
|
the port wishes to automatically clobber for an asm. */
|
DEFHOOK
|
DEFHOOK
|
(md_asm_clobbers,
|
(md_asm_clobbers,
|
"",
|
"",
|
tree, (tree outputs, tree inputs, tree clobbers),
|
tree, (tree outputs, tree inputs, tree clobbers),
|
hook_tree_tree_tree_tree_3rd_identity)
|
hook_tree_tree_tree_tree_3rd_identity)
|
|
|
/* This target hook allows the backend to specify a calling convention
|
/* This target hook allows the backend to specify a calling convention
|
in the debug information. This function actually returns an
|
in the debug information. This function actually returns an
|
enum dwarf_calling_convention, but because of forward declarations
|
enum dwarf_calling_convention, but because of forward declarations
|
and not wanting to include dwarf2.h everywhere target.h is included
|
and not wanting to include dwarf2.h everywhere target.h is included
|
the function is being declared as an int. */
|
the function is being declared as an int. */
|
DEFHOOK
|
DEFHOOK
|
(dwarf_calling_convention,
|
(dwarf_calling_convention,
|
"",
|
"",
|
int, (const_tree function),
|
int, (const_tree function),
|
hook_int_const_tree_0)
|
hook_int_const_tree_0)
|
|
|
/* This target hook allows the backend to emit frame-related insns that
|
/* This target hook allows the backend to emit frame-related insns that
|
contain UNSPECs or UNSPEC_VOLATILEs. The call frame debugging info
|
contain UNSPECs or UNSPEC_VOLATILEs. The call frame debugging info
|
engine will invoke it on insns of the form
|
engine will invoke it on insns of the form
|
(set (reg) (unspec [...] UNSPEC_INDEX))
|
(set (reg) (unspec [...] UNSPEC_INDEX))
|
and
|
and
|
(set (reg) (unspec_volatile [...] UNSPECV_INDEX))
|
(set (reg) (unspec_volatile [...] UNSPECV_INDEX))
|
to let the backend emit the call frame instructions. */
|
to let the backend emit the call frame instructions. */
|
DEFHOOK
|
DEFHOOK
|
(dwarf_handle_frame_unspec,
|
(dwarf_handle_frame_unspec,
|
"",
|
"",
|
void, (const char *label, rtx pattern, int index), NULL)
|
void, (const char *label, rtx pattern, int index), NULL)
|
|
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(stdarg_optimize_hook,
|
(stdarg_optimize_hook,
|
"Perform architecture specific checking of statements gimplified\
|
"Perform architecture specific checking of statements gimplified\
|
from @code{VA_ARG_EXPR}. @var{stmt} is the statement. Returns true if\
|
from @code{VA_ARG_EXPR}. @var{stmt} is the statement. Returns true if\
|
the statement doesn't need to be checked for @code{va_list} references.",
|
the statement doesn't need to be checked for @code{va_list} references.",
|
bool, (struct stdarg_info *ai, const_gimple stmt), NULL)
|
bool, (struct stdarg_info *ai, const_gimple stmt), NULL)
|
|
|
/* This target hook allows the operating system to override the DECL
|
/* This target hook allows the operating system to override the DECL
|
that represents the external variable that contains the stack
|
that represents the external variable that contains the stack
|
protection guard variable. The type of this DECL is ptr_type_node. */
|
protection guard variable. The type of this DECL is ptr_type_node. */
|
DEFHOOK
|
DEFHOOK
|
(stack_protect_guard,
|
(stack_protect_guard,
|
"",
|
"",
|
tree, (void),
|
tree, (void),
|
default_stack_protect_guard)
|
default_stack_protect_guard)
|
|
|
/* This target hook allows the operating system to override the CALL_EXPR
|
/* This target hook allows the operating system to override the CALL_EXPR
|
that is invoked when a check vs the guard variable fails. */
|
that is invoked when a check vs the guard variable fails. */
|
DEFHOOK
|
DEFHOOK
|
(stack_protect_fail,
|
(stack_protect_fail,
|
"",
|
"",
|
tree, (void),
|
tree, (void),
|
default_external_stack_protect_fail)
|
default_external_stack_protect_fail)
|
|
|
/* Returns NULL if target supports the insn within a doloop block,
|
/* Returns NULL if target supports the insn within a doloop block,
|
otherwise it returns an error message. */
|
otherwise it returns an error message. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_within_doloop,
|
(invalid_within_doloop,
|
"",
|
"",
|
const char *, (const_rtx insn),
|
const char *, (const_rtx insn),
|
default_invalid_within_doloop)
|
default_invalid_within_doloop)
|
|
|
DEFHOOK
|
DEFHOOK
|
(valid_dllimport_attribute_p,
|
(valid_dllimport_attribute_p,
|
"@var{decl} is a variable or function with @code{__attribute__((dllimport))}\
|
"@var{decl} is a variable or function with @code{__attribute__((dllimport))}\
|
specified. Use this hook if the target needs to add extra validation\
|
specified. Use this hook if the target needs to add extra validation\
|
checks to @code{handle_dll_attribute}.",
|
checks to @code{handle_dll_attribute}.",
|
bool, (const_tree decl),
|
bool, (const_tree decl),
|
hook_bool_const_tree_true)
|
hook_bool_const_tree_true)
|
|
|
/* If non-zero, align constant anchors in CSE to a multiple of this
|
/* If non-zero, align constant anchors in CSE to a multiple of this
|
value. */
|
value. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(const_anchor,
|
(const_anchor,
|
"",
|
"",
|
unsigned HOST_WIDE_INT, 0)
|
unsigned HOST_WIDE_INT, 0)
|
|
|
/* Functions relating to calls - argument passing, returns, etc. */
|
/* Functions relating to calls - argument passing, returns, etc. */
|
/* Members of struct call have no special macro prefix. */
|
/* Members of struct call have no special macro prefix. */
|
HOOK_VECTOR (TARGET_CALLS, calls)
|
HOOK_VECTOR (TARGET_CALLS, calls)
|
|
|
DEFHOOK
|
DEFHOOK
|
(promote_function_mode,
|
(promote_function_mode,
|
"",
|
"",
|
enum machine_mode, (const_tree type, enum machine_mode mode, int *punsignedp,
|
enum machine_mode, (const_tree type, enum machine_mode mode, int *punsignedp,
|
const_tree funtype, int for_return),
|
const_tree funtype, int for_return),
|
default_promote_function_mode)
|
default_promote_function_mode)
|
|
|
DEFHOOK
|
DEFHOOK
|
(promote_prototypes,
|
(promote_prototypes,
|
"",
|
"",
|
bool, (const_tree fntype),
|
bool, (const_tree fntype),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
DEFHOOK
|
DEFHOOK
|
(struct_value_rtx,
|
(struct_value_rtx,
|
"",
|
"",
|
rtx, (tree fndecl, int incoming),
|
rtx, (tree fndecl, int incoming),
|
hook_rtx_tree_int_null)
|
hook_rtx_tree_int_null)
|
DEFHOOK
|
DEFHOOK
|
(return_in_memory,
|
(return_in_memory,
|
"",
|
"",
|
bool, (const_tree type, const_tree fntype),
|
bool, (const_tree type, const_tree fntype),
|
default_return_in_memory)
|
default_return_in_memory)
|
|
|
DEFHOOK
|
DEFHOOK
|
(return_in_msb,
|
(return_in_msb,
|
"",
|
"",
|
bool, (const_tree type),
|
bool, (const_tree type),
|
hook_bool_const_tree_false)
|
hook_bool_const_tree_false)
|
|
|
/* Return true if a parameter must be passed by reference. TYPE may
|
/* Return true if a parameter must be passed by reference. TYPE may
|
be null if this is a libcall. CA may be null if this query is
|
be null if this is a libcall. CA may be null if this query is
|
from __builtin_va_arg. */
|
from __builtin_va_arg. */
|
DEFHOOK
|
DEFHOOK
|
(pass_by_reference,
|
(pass_by_reference,
|
"",
|
"",
|
bool,
|
bool,
|
(cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
|
(cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
|
hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
|
hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
|
|
|
DEFHOOK
|
DEFHOOK
|
(expand_builtin_saveregs,
|
(expand_builtin_saveregs,
|
"",
|
"",
|
rtx, (void),
|
rtx, (void),
|
default_expand_builtin_saveregs)
|
default_expand_builtin_saveregs)
|
|
|
/* Returns pretend_argument_size. */
|
/* Returns pretend_argument_size. */
|
DEFHOOK
|
DEFHOOK
|
(setup_incoming_varargs,
|
(setup_incoming_varargs,
|
"",
|
"",
|
void, (cumulative_args_t args_so_far, enum machine_mode mode, tree type,
|
void, (cumulative_args_t args_so_far, enum machine_mode mode, tree type,
|
int *pretend_args_size, int second_time),
|
int *pretend_args_size, int second_time),
|
default_setup_incoming_varargs)
|
default_setup_incoming_varargs)
|
|
|
DEFHOOK
|
DEFHOOK
|
(strict_argument_naming,
|
(strict_argument_naming,
|
"",
|
"",
|
bool, (cumulative_args_t ca),
|
bool, (cumulative_args_t ca),
|
hook_bool_CUMULATIVE_ARGS_false)
|
hook_bool_CUMULATIVE_ARGS_false)
|
|
|
/* Returns true if we should use
|
/* Returns true if we should use
|
targetm.calls.setup_incoming_varargs() and/or
|
targetm.calls.setup_incoming_varargs() and/or
|
targetm.calls.strict_argument_naming(). */
|
targetm.calls.strict_argument_naming(). */
|
DEFHOOK
|
DEFHOOK
|
(pretend_outgoing_varargs_named,
|
(pretend_outgoing_varargs_named,
|
"",
|
"",
|
bool, (cumulative_args_t ca),
|
bool, (cumulative_args_t ca),
|
default_pretend_outgoing_varargs_named)
|
default_pretend_outgoing_varargs_named)
|
|
|
/* Given a complex type T, return true if a parameter of type T
|
/* Given a complex type T, return true if a parameter of type T
|
should be passed as two scalars. */
|
should be passed as two scalars. */
|
DEFHOOK
|
DEFHOOK
|
(split_complex_arg,
|
(split_complex_arg,
|
"",
|
"",
|
bool, (const_tree type), NULL)
|
bool, (const_tree type), NULL)
|
|
|
/* Return true if type T, mode MODE, may not be passed in registers,
|
/* Return true if type T, mode MODE, may not be passed in registers,
|
but must be passed on the stack. */
|
but must be passed on the stack. */
|
/* ??? This predicate should be applied strictly after pass-by-reference.
|
/* ??? This predicate should be applied strictly after pass-by-reference.
|
Need audit to verify that this is the case. */
|
Need audit to verify that this is the case. */
|
DEFHOOK
|
DEFHOOK
|
(must_pass_in_stack,
|
(must_pass_in_stack,
|
"",
|
"",
|
bool, (enum machine_mode mode, const_tree type),
|
bool, (enum machine_mode mode, const_tree type),
|
must_pass_in_stack_var_size_or_pad)
|
must_pass_in_stack_var_size_or_pad)
|
|
|
/* Return true if type TYPE, mode MODE, which is passed by reference,
|
/* Return true if type TYPE, mode MODE, which is passed by reference,
|
should have the object copy generated by the callee rather than
|
should have the object copy generated by the callee rather than
|
the caller. It is never called for TYPE requiring constructors. */
|
the caller. It is never called for TYPE requiring constructors. */
|
DEFHOOK
|
DEFHOOK
|
(callee_copies,
|
(callee_copies,
|
"",
|
"",
|
bool,
|
bool,
|
(cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
|
(cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
|
hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
|
hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
|
|
|
/* Return zero for arguments passed entirely on the stack or entirely
|
/* Return zero for arguments passed entirely on the stack or entirely
|
in registers. If passed in both, return the number of bytes passed
|
in registers. If passed in both, return the number of bytes passed
|
in registers; the balance is therefore passed on the stack. */
|
in registers; the balance is therefore passed on the stack. */
|
DEFHOOK
|
DEFHOOK
|
(arg_partial_bytes,
|
(arg_partial_bytes,
|
"",
|
"",
|
int, (cumulative_args_t cum, enum machine_mode mode, tree type, bool named),
|
int, (cumulative_args_t cum, enum machine_mode mode, tree type, bool named),
|
hook_int_CUMULATIVE_ARGS_mode_tree_bool_0)
|
hook_int_CUMULATIVE_ARGS_mode_tree_bool_0)
|
|
|
/* Update the state in CA to advance past an argument in the
|
/* Update the state in CA to advance past an argument in the
|
argument list. The values MODE, TYPE, and NAMED describe that
|
argument list. The values MODE, TYPE, and NAMED describe that
|
argument. */
|
argument. */
|
DEFHOOK
|
DEFHOOK
|
(function_arg_advance,
|
(function_arg_advance,
|
"",
|
"",
|
void,
|
void,
|
(cumulative_args_t ca, enum machine_mode mode, const_tree type, bool named),
|
(cumulative_args_t ca, enum machine_mode mode, const_tree type, bool named),
|
default_function_arg_advance)
|
default_function_arg_advance)
|
|
|
/* Return zero if the argument described by the state of CA should
|
/* Return zero if the argument described by the state of CA should
|
be placed on a stack, or a hard register in which to store the
|
be placed on a stack, or a hard register in which to store the
|
argument. The values MODE, TYPE, and NAMED describe that
|
argument. The values MODE, TYPE, and NAMED describe that
|
argument. */
|
argument. */
|
DEFHOOK
|
DEFHOOK
|
(function_arg,
|
(function_arg,
|
"",
|
"",
|
rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
|
rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
|
bool named),
|
bool named),
|
default_function_arg)
|
default_function_arg)
|
|
|
/* Likewise, but for machines with register windows. Return the
|
/* Likewise, but for machines with register windows. Return the
|
location where the argument will appear to the callee. */
|
location where the argument will appear to the callee. */
|
DEFHOOK
|
DEFHOOK
|
(function_incoming_arg,
|
(function_incoming_arg,
|
"",
|
"",
|
rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
|
rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
|
bool named),
|
bool named),
|
default_function_incoming_arg)
|
default_function_incoming_arg)
|
|
|
DEFHOOK
|
DEFHOOK
|
(function_arg_boundary,
|
(function_arg_boundary,
|
"",
|
"",
|
unsigned int, (enum machine_mode mode, const_tree type),
|
unsigned int, (enum machine_mode mode, const_tree type),
|
default_function_arg_boundary)
|
default_function_arg_boundary)
|
|
|
DEFHOOK
|
DEFHOOK
|
(function_arg_round_boundary,
|
(function_arg_round_boundary,
|
"Normally, the size of an argument is rounded up to @code{PARM_BOUNDARY},\n\
|
"Normally, the size of an argument is rounded up to @code{PARM_BOUNDARY},\n\
|
which is the default value for this hook. You can define this hook to\n\
|
which is the default value for this hook. You can define this hook to\n\
|
return a different value if an argument size must be rounded to a larger\n\
|
return a different value if an argument size must be rounded to a larger\n\
|
value.",
|
value.",
|
unsigned int, (enum machine_mode mode, const_tree type),
|
unsigned int, (enum machine_mode mode, const_tree type),
|
default_function_arg_round_boundary)
|
default_function_arg_round_boundary)
|
|
|
/* Return the diagnostic message string if function without a prototype
|
/* Return the diagnostic message string if function without a prototype
|
is not allowed for this 'val' argument; NULL otherwise. */
|
is not allowed for this 'val' argument; NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_arg_for_unprototyped_fn,
|
(invalid_arg_for_unprototyped_fn,
|
"",
|
"",
|
const char *, (const_tree typelist, const_tree funcdecl, const_tree val),
|
const char *, (const_tree typelist, const_tree funcdecl, const_tree val),
|
hook_invalid_arg_for_unprototyped_fn)
|
hook_invalid_arg_for_unprototyped_fn)
|
|
|
/* Return an rtx for the return value location of the function
|
/* Return an rtx for the return value location of the function
|
specified by FN_DECL_OR_TYPE with a return type of RET_TYPE. */
|
specified by FN_DECL_OR_TYPE with a return type of RET_TYPE. */
|
DEFHOOK
|
DEFHOOK
|
(function_value,
|
(function_value,
|
"",
|
"",
|
rtx, (const_tree ret_type, const_tree fn_decl_or_type, bool outgoing),
|
rtx, (const_tree ret_type, const_tree fn_decl_or_type, bool outgoing),
|
default_function_value)
|
default_function_value)
|
|
|
/* Return the rtx for the result of a libcall of mode MODE,
|
/* Return the rtx for the result of a libcall of mode MODE,
|
calling the function FN_NAME. */
|
calling the function FN_NAME. */
|
DEFHOOK
|
DEFHOOK
|
(libcall_value,
|
(libcall_value,
|
"",
|
"",
|
rtx, (enum machine_mode mode, const_rtx fun),
|
rtx, (enum machine_mode mode, const_rtx fun),
|
default_libcall_value)
|
default_libcall_value)
|
|
|
/* Return true if REGNO is a possible register number for
|
/* Return true if REGNO is a possible register number for
|
a function value as seen by the caller. */
|
a function value as seen by the caller. */
|
DEFHOOK
|
DEFHOOK
|
(function_value_regno_p,
|
(function_value_regno_p,
|
"",
|
"",
|
bool, (const unsigned int regno),
|
bool, (const unsigned int regno),
|
default_function_value_regno_p)
|
default_function_value_regno_p)
|
|
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(internal_arg_pointer,
|
(internal_arg_pointer,
|
"Return an rtx for the argument pointer incoming to the\
|
"Return an rtx for the argument pointer incoming to the\
|
current function.",
|
current function.",
|
rtx, (void),
|
rtx, (void),
|
default_internal_arg_pointer)
|
default_internal_arg_pointer)
|
|
|
/* Update the current function stack boundary if needed. */
|
/* Update the current function stack boundary if needed. */
|
DEFHOOK
|
DEFHOOK
|
(update_stack_boundary,
|
(update_stack_boundary,
|
"",
|
"",
|
void, (void), NULL)
|
void, (void), NULL)
|
|
|
/* Handle stack alignment and return an rtx for Dynamic Realign
|
/* Handle stack alignment and return an rtx for Dynamic Realign
|
Argument Pointer if necessary. */
|
Argument Pointer if necessary. */
|
DEFHOOK
|
DEFHOOK
|
(get_drap_rtx,
|
(get_drap_rtx,
|
"",
|
"",
|
rtx, (void), NULL)
|
rtx, (void), NULL)
|
|
|
/* Return true if all function parameters should be spilled to the
|
/* Return true if all function parameters should be spilled to the
|
stack. */
|
stack. */
|
DEFHOOK
|
DEFHOOK
|
(allocate_stack_slots_for_args,
|
(allocate_stack_slots_for_args,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_true)
|
hook_bool_void_true)
|
|
|
/* Return an rtx for the static chain for FNDECL. If INCOMING_P is true,
|
/* Return an rtx for the static chain for FNDECL. If INCOMING_P is true,
|
then it should be for the callee; otherwise for the caller. */
|
then it should be for the callee; otherwise for the caller. */
|
DEFHOOK
|
DEFHOOK
|
(static_chain,
|
(static_chain,
|
"",
|
"",
|
rtx, (const_tree fndecl, bool incoming_p),
|
rtx, (const_tree fndecl, bool incoming_p),
|
default_static_chain)
|
default_static_chain)
|
|
|
/* Fill in the trampoline at MEM with a call to FNDECL and a
|
/* Fill in the trampoline at MEM with a call to FNDECL and a
|
static chain value of CHAIN. */
|
static chain value of CHAIN. */
|
DEFHOOK
|
DEFHOOK
|
(trampoline_init,
|
(trampoline_init,
|
"",
|
"",
|
void, (rtx m_tramp, tree fndecl, rtx static_chain),
|
void, (rtx m_tramp, tree fndecl, rtx static_chain),
|
default_trampoline_init)
|
default_trampoline_init)
|
|
|
/* Adjust the address of the trampoline in a target-specific way. */
|
/* Adjust the address of the trampoline in a target-specific way. */
|
DEFHOOK
|
DEFHOOK
|
(trampoline_adjust_address,
|
(trampoline_adjust_address,
|
"",
|
"",
|
rtx, (rtx addr), NULL)
|
rtx, (rtx addr), NULL)
|
|
|
/* Return the number of bytes of its own arguments that a function
|
/* Return the number of bytes of its own arguments that a function
|
pops on returning, or 0 if the function pops no arguments and the
|
pops on returning, or 0 if the function pops no arguments and the
|
caller must therefore pop them all after the function returns. */
|
caller must therefore pop them all after the function returns. */
|
/* ??? tm.texi has no types for the parameters. */
|
/* ??? tm.texi has no types for the parameters. */
|
DEFHOOK
|
DEFHOOK
|
(return_pops_args,
|
(return_pops_args,
|
"",
|
"",
|
int, (tree fundecl, tree funtype, int size),
|
int, (tree fundecl, tree funtype, int size),
|
default_return_pops_args)
|
default_return_pops_args)
|
|
|
/* Return a mode wide enough to copy any function value that might be
|
/* Return a mode wide enough to copy any function value that might be
|
returned. */
|
returned. */
|
DEFHOOK
|
DEFHOOK
|
(get_raw_result_mode,
|
(get_raw_result_mode,
|
"This target hook returns the mode to be used when accessing raw return\
|
"This target hook returns the mode to be used when accessing raw return\
|
registers in @code{__builtin_return}. Define this macro if the value\
|
registers in @code{__builtin_return}. Define this macro if the value\
|
in @var{reg_raw_mode} is not correct.",
|
in @var{reg_raw_mode} is not correct.",
|
enum machine_mode, (int regno),
|
enum machine_mode, (int regno),
|
default_get_reg_raw_mode)
|
default_get_reg_raw_mode)
|
|
|
/* Return a mode wide enough to copy any argument value that might be
|
/* Return a mode wide enough to copy any argument value that might be
|
passed. */
|
passed. */
|
DEFHOOK
|
DEFHOOK
|
(get_raw_arg_mode,
|
(get_raw_arg_mode,
|
"This target hook returns the mode to be used when accessing raw argument\
|
"This target hook returns the mode to be used when accessing raw argument\
|
registers in @code{__builtin_apply_args}. Define this macro if the value\
|
registers in @code{__builtin_apply_args}. Define this macro if the value\
|
in @var{reg_raw_mode} is not correct.",
|
in @var{reg_raw_mode} is not correct.",
|
enum machine_mode, (int regno),
|
enum machine_mode, (int regno),
|
default_get_reg_raw_mode)
|
default_get_reg_raw_mode)
|
|
|
HOOK_VECTOR_END (calls)
|
HOOK_VECTOR_END (calls)
|
|
|
/* Return the diagnostic message string if conversion from FROMTYPE
|
/* Return the diagnostic message string if conversion from FROMTYPE
|
to TOTYPE is not allowed, NULL otherwise. */
|
to TOTYPE is not allowed, NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_conversion,
|
(invalid_conversion,
|
"",
|
"",
|
const char *, (const_tree fromtype, const_tree totype),
|
const char *, (const_tree fromtype, const_tree totype),
|
hook_constcharptr_const_tree_const_tree_null)
|
hook_constcharptr_const_tree_const_tree_null)
|
|
|
/* Return the diagnostic message string if the unary operation OP is
|
/* Return the diagnostic message string if the unary operation OP is
|
not permitted on TYPE, NULL otherwise. */
|
not permitted on TYPE, NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_unary_op,
|
(invalid_unary_op,
|
"",
|
"",
|
const char *, (int op, const_tree type),
|
const char *, (int op, const_tree type),
|
hook_constcharptr_int_const_tree_null)
|
hook_constcharptr_int_const_tree_null)
|
|
|
/* Return the diagnostic message string if the binary operation OP
|
/* Return the diagnostic message string if the binary operation OP
|
is not permitted on TYPE1 and TYPE2, NULL otherwise. */
|
is not permitted on TYPE1 and TYPE2, NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_binary_op,
|
(invalid_binary_op,
|
"",
|
"",
|
const char *, (int op, const_tree type1, const_tree type2),
|
const char *, (int op, const_tree type1, const_tree type2),
|
hook_constcharptr_int_const_tree_const_tree_null)
|
hook_constcharptr_int_const_tree_const_tree_null)
|
|
|
/* Return the diagnostic message string if TYPE is not valid as a
|
/* Return the diagnostic message string if TYPE is not valid as a
|
function parameter type, NULL otherwise. */
|
function parameter type, NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_parameter_type,
|
(invalid_parameter_type,
|
"",
|
"",
|
const char *, (const_tree type),
|
const char *, (const_tree type),
|
hook_constcharptr_const_tree_null)
|
hook_constcharptr_const_tree_null)
|
|
|
/* Return the diagnostic message string if TYPE is not valid as a
|
/* Return the diagnostic message string if TYPE is not valid as a
|
function return type, NULL otherwise. */
|
function return type, NULL otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(invalid_return_type,
|
(invalid_return_type,
|
"",
|
"",
|
const char *, (const_tree type),
|
const char *, (const_tree type),
|
hook_constcharptr_const_tree_null)
|
hook_constcharptr_const_tree_null)
|
|
|
/* If values of TYPE are promoted to some other type when used in
|
/* If values of TYPE are promoted to some other type when used in
|
expressions (analogous to the integer promotions), return that type,
|
expressions (analogous to the integer promotions), return that type,
|
or NULL_TREE otherwise. */
|
or NULL_TREE otherwise. */
|
DEFHOOK
|
DEFHOOK
|
(promoted_type,
|
(promoted_type,
|
"",
|
"",
|
tree, (const_tree type),
|
tree, (const_tree type),
|
hook_tree_const_tree_null)
|
hook_tree_const_tree_null)
|
|
|
/* Convert EXPR to TYPE, if target-specific types with special conversion
|
/* Convert EXPR to TYPE, if target-specific types with special conversion
|
rules are involved. Return the converted expression, or NULL to apply
|
rules are involved. Return the converted expression, or NULL to apply
|
the standard conversion rules. */
|
the standard conversion rules. */
|
DEFHOOK
|
DEFHOOK
|
(convert_to_type,
|
(convert_to_type,
|
"",
|
"",
|
tree, (tree type, tree expr),
|
tree, (tree type, tree expr),
|
hook_tree_tree_tree_null)
|
hook_tree_tree_tree_null)
|
|
|
/* Return the class for a secondary reload, and fill in extra information. */
|
/* Return the class for a secondary reload, and fill in extra information. */
|
DEFHOOK
|
DEFHOOK
|
(secondary_reload,
|
(secondary_reload,
|
"",
|
"",
|
reg_class_t,
|
reg_class_t,
|
(bool in_p, rtx x, reg_class_t reload_class, enum machine_mode reload_mode,
|
(bool in_p, rtx x, reg_class_t reload_class, enum machine_mode reload_mode,
|
secondary_reload_info *sri),
|
secondary_reload_info *sri),
|
default_secondary_reload)
|
default_secondary_reload)
|
|
|
/* Given an rtx X being reloaded into a reg required to be in class CLASS,
|
/* Given an rtx X being reloaded into a reg required to be in class CLASS,
|
return the class of reg to actually use. */
|
return the class of reg to actually use. */
|
DEFHOOK
|
DEFHOOK
|
(preferred_reload_class,
|
(preferred_reload_class,
|
"",
|
"",
|
reg_class_t,
|
reg_class_t,
|
(rtx x, reg_class_t rclass),
|
(rtx x, reg_class_t rclass),
|
default_preferred_reload_class)
|
default_preferred_reload_class)
|
|
|
/* Like TARGET_PREFERRED_RELOAD_CLASS, but for output reloads instead of
|
/* Like TARGET_PREFERRED_RELOAD_CLASS, but for output reloads instead of
|
input reloads. */
|
input reloads. */
|
DEFHOOK
|
DEFHOOK
|
(preferred_output_reload_class,
|
(preferred_output_reload_class,
|
"",
|
"",
|
reg_class_t,
|
reg_class_t,
|
(rtx x, reg_class_t rclass),
|
(rtx x, reg_class_t rclass),
|
default_preferred_output_reload_class)
|
default_preferred_output_reload_class)
|
|
|
DEFHOOK
|
DEFHOOK
|
(class_likely_spilled_p,
|
(class_likely_spilled_p,
|
"",
|
"",
|
bool, (reg_class_t rclass),
|
bool, (reg_class_t rclass),
|
default_class_likely_spilled_p)
|
default_class_likely_spilled_p)
|
|
|
/* Return the maximum number of consecutive registers
|
/* Return the maximum number of consecutive registers
|
needed to represent mode MODE in a register of class RCLASS. */
|
needed to represent mode MODE in a register of class RCLASS. */
|
DEFHOOK
|
DEFHOOK
|
(class_max_nregs,
|
(class_max_nregs,
|
"",
|
"",
|
unsigned char, (reg_class_t rclass, enum machine_mode mode),
|
unsigned char, (reg_class_t rclass, enum machine_mode mode),
|
default_class_max_nregs)
|
default_class_max_nregs)
|
|
|
DEFHOOK
|
DEFHOOK
|
(preferred_rename_class,
|
(preferred_rename_class,
|
"A target hook that places additional preference on the register\
|
"A target hook that places additional preference on the register\
|
class to use when it is necessary to rename a register in class\
|
class to use when it is necessary to rename a register in class\
|
@var{rclass} to another class, or perhaps @var{NO_REGS}, if no\
|
@var{rclass} to another class, or perhaps @var{NO_REGS}, if no\
|
preferred register class is found or hook @code{preferred_rename_class}\
|
preferred register class is found or hook @code{preferred_rename_class}\
|
is not implemented.\
|
is not implemented.\
|
Sometimes returning a more restrictive class makes better code. For\
|
Sometimes returning a more restrictive class makes better code. For\
|
example, on ARM, thumb-2 instructions using @code{LO_REGS} may be\
|
example, on ARM, thumb-2 instructions using @code{LO_REGS} may be\
|
smaller than instructions using @code{GENERIC_REGS}. By returning\
|
smaller than instructions using @code{GENERIC_REGS}. By returning\
|
@code{LO_REGS} from @code{preferred_rename_class}, code size can\
|
@code{LO_REGS} from @code{preferred_rename_class}, code size can\
|
be reduced.",
|
be reduced.",
|
reg_class_t, (reg_class_t rclass),
|
reg_class_t, (reg_class_t rclass),
|
default_preferred_rename_class)
|
default_preferred_rename_class)
|
|
|
/* This target hook allows the backend to perform additional
|
/* This target hook allows the backend to perform additional
|
processing while initializing for variable expansion. */
|
processing while initializing for variable expansion. */
|
DEFHOOK
|
DEFHOOK
|
(expand_to_rtl_hook,
|
(expand_to_rtl_hook,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* This target hook allows the backend to perform additional
|
/* This target hook allows the backend to perform additional
|
instantiations on rtx that are not actually in insns yet,
|
instantiations on rtx that are not actually in insns yet,
|
but will be later. */
|
but will be later. */
|
DEFHOOK
|
DEFHOOK
|
(instantiate_decls,
|
(instantiate_decls,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Return true if is OK to use a hard register REGNO as scratch register
|
/* Return true if is OK to use a hard register REGNO as scratch register
|
in peephole2. */
|
in peephole2. */
|
DEFHOOK
|
DEFHOOK
|
(hard_regno_scratch_ok,
|
(hard_regno_scratch_ok,
|
"",
|
"",
|
bool, (unsigned int regno),
|
bool, (unsigned int regno),
|
default_hard_regno_scratch_ok)
|
default_hard_regno_scratch_ok)
|
|
|
/* Return the smallest number of different values for which it is best to
|
/* Return the smallest number of different values for which it is best to
|
use a jump-table instead of a tree of conditional branches. */
|
use a jump-table instead of a tree of conditional branches. */
|
DEFHOOK
|
DEFHOOK
|
(case_values_threshold,
|
(case_values_threshold,
|
"",
|
"",
|
unsigned int, (void),
|
unsigned int, (void),
|
default_case_values_threshold)
|
default_case_values_threshold)
|
|
|
/* Retutn true if a function must have and use a frame pointer. */
|
/* Retutn true if a function must have and use a frame pointer. */
|
DEFHOOK
|
DEFHOOK
|
(frame_pointer_required,
|
(frame_pointer_required,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Returns true if the compiler is allowed to try to replace register number
|
/* Returns true if the compiler is allowed to try to replace register number
|
from-reg with register number to-reg. */
|
from-reg with register number to-reg. */
|
DEFHOOK
|
DEFHOOK
|
(can_eliminate,
|
(can_eliminate,
|
"",
|
"",
|
bool, (const int from_reg, const int to_reg),
|
bool, (const int from_reg, const int to_reg),
|
hook_bool_const_int_const_int_true)
|
hook_bool_const_int_const_int_true)
|
|
|
/* Modify any or all of fixed_regs, call_used_regs, global_regs,
|
/* Modify any or all of fixed_regs, call_used_regs, global_regs,
|
reg_names, and reg_class_contents to account of the vagaries of the
|
reg_names, and reg_class_contents to account of the vagaries of the
|
target. */
|
target. */
|
DEFHOOK
|
DEFHOOK
|
(conditional_register_usage,
|
(conditional_register_usage,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Functions specific to the C family of frontends. */
|
/* Functions specific to the C family of frontends. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_C_"
|
#define HOOK_PREFIX "TARGET_C_"
|
HOOK_VECTOR (TARGET_C, c)
|
HOOK_VECTOR (TARGET_C, c)
|
|
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
/* ??? Documenting this hook requires a GFDL license grant. */
|
DEFHOOK_UNDOC
|
DEFHOOK_UNDOC
|
(mode_for_suffix,
|
(mode_for_suffix,
|
"Return machine mode for non-standard constant literal suffix @var{c},\
|
"Return machine mode for non-standard constant literal suffix @var{c},\
|
or VOIDmode if non-standard suffixes are unsupported.",
|
or VOIDmode if non-standard suffixes are unsupported.",
|
enum machine_mode, (char c),
|
enum machine_mode, (char c),
|
default_mode_for_suffix)
|
default_mode_for_suffix)
|
|
|
HOOK_VECTOR_END (c)
|
HOOK_VECTOR_END (c)
|
|
|
/* Functions specific to the C++ frontend. */
|
/* Functions specific to the C++ frontend. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_CXX_"
|
#define HOOK_PREFIX "TARGET_CXX_"
|
HOOK_VECTOR (TARGET_CXX, cxx)
|
HOOK_VECTOR (TARGET_CXX, cxx)
|
|
|
/* Return the integer type used for guard variables. */
|
/* Return the integer type used for guard variables. */
|
DEFHOOK
|
DEFHOOK
|
(guard_type,
|
(guard_type,
|
"",
|
"",
|
tree, (void),
|
tree, (void),
|
default_cxx_guard_type)
|
default_cxx_guard_type)
|
|
|
/* Return true if only the low bit of the guard should be tested. */
|
/* Return true if only the low bit of the guard should be tested. */
|
DEFHOOK
|
DEFHOOK
|
(guard_mask_bit,
|
(guard_mask_bit,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Returns the size of the array cookie for an array of type. */
|
/* Returns the size of the array cookie for an array of type. */
|
DEFHOOK
|
DEFHOOK
|
(get_cookie_size,
|
(get_cookie_size,
|
"",
|
"",
|
tree, (tree type),
|
tree, (tree type),
|
default_cxx_get_cookie_size)
|
default_cxx_get_cookie_size)
|
|
|
/* Returns true if the element size should be stored in the array cookie. */
|
/* Returns true if the element size should be stored in the array cookie. */
|
DEFHOOK
|
DEFHOOK
|
(cookie_has_size,
|
(cookie_has_size,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Allows backends to perform additional processing when
|
/* Allows backends to perform additional processing when
|
deciding if a class should be exported or imported. */
|
deciding if a class should be exported or imported. */
|
DEFHOOK
|
DEFHOOK
|
(import_export_class,
|
(import_export_class,
|
"",
|
"",
|
int, (tree type, int import_export), NULL)
|
int, (tree type, int import_export), NULL)
|
|
|
/* Returns true if constructors and destructors return "this". */
|
/* Returns true if constructors and destructors return "this". */
|
DEFHOOK
|
DEFHOOK
|
(cdtor_returns_this,
|
(cdtor_returns_this,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Returns true if the key method for a class can be an inline
|
/* Returns true if the key method for a class can be an inline
|
function, so long as it is not declared inline in the class
|
function, so long as it is not declared inline in the class
|
itself. Returning true is the behavior required by the Itanium C++ ABI. */
|
itself. Returning true is the behavior required by the Itanium C++ ABI. */
|
DEFHOOK
|
DEFHOOK
|
(key_method_may_be_inline,
|
(key_method_may_be_inline,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_true)
|
hook_bool_void_true)
|
|
|
DEFHOOK
|
DEFHOOK
|
(determine_class_data_visibility,
|
(determine_class_data_visibility,
|
"@var{decl} is a virtual table, virtual table table, typeinfo object,\
|
"@var{decl} is a virtual table, virtual table table, typeinfo object,\
|
or other similar implicit class data object that will be emitted with\
|
or other similar implicit class data object that will be emitted with\
|
external linkage in this translation unit. No ELF visibility has been\
|
external linkage in this translation unit. No ELF visibility has been\
|
explicitly specified. If the target needs to specify a visibility\
|
explicitly specified. If the target needs to specify a visibility\
|
other than that of the containing class, use this hook to set\
|
other than that of the containing class, use this hook to set\
|
@code{DECL_VISIBILITY} and @code{DECL_VISIBILITY_SPECIFIED}.",
|
@code{DECL_VISIBILITY} and @code{DECL_VISIBILITY_SPECIFIED}.",
|
void, (tree decl),
|
void, (tree decl),
|
hook_void_tree)
|
hook_void_tree)
|
|
|
/* Returns true (the default) if virtual tables and other
|
/* Returns true (the default) if virtual tables and other
|
similar implicit class data objects are always COMDAT if they
|
similar implicit class data objects are always COMDAT if they
|
have external linkage. If this hook returns false, then
|
have external linkage. If this hook returns false, then
|
class data for classes whose virtual table will be emitted in
|
class data for classes whose virtual table will be emitted in
|
only one translation unit will not be COMDAT. */
|
only one translation unit will not be COMDAT. */
|
DEFHOOK
|
DEFHOOK
|
(class_data_always_comdat,
|
(class_data_always_comdat,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_true)
|
hook_bool_void_true)
|
|
|
/* Returns true (the default) if the RTTI for the basic types,
|
/* Returns true (the default) if the RTTI for the basic types,
|
which is always defined in the C++ runtime, should be COMDAT;
|
which is always defined in the C++ runtime, should be COMDAT;
|
false if it should not be COMDAT. */
|
false if it should not be COMDAT. */
|
DEFHOOK
|
DEFHOOK
|
(library_rtti_comdat,
|
(library_rtti_comdat,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_true)
|
hook_bool_void_true)
|
|
|
/* Returns true if __aeabi_atexit should be used to register static
|
/* Returns true if __aeabi_atexit should be used to register static
|
destructors. */
|
destructors. */
|
DEFHOOK
|
DEFHOOK
|
(use_aeabi_atexit,
|
(use_aeabi_atexit,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
/* Returns true if target may use atexit in the same manner as
|
/* Returns true if target may use atexit in the same manner as
|
__cxa_atexit to register static destructors. */
|
__cxa_atexit to register static destructors. */
|
DEFHOOK
|
DEFHOOK
|
(use_atexit_for_cxa_atexit,
|
(use_atexit_for_cxa_atexit,
|
"",
|
"",
|
bool, (void),
|
bool, (void),
|
hook_bool_void_false)
|
hook_bool_void_false)
|
|
|
DEFHOOK
|
DEFHOOK
|
(adjust_class_at_definition,
|
(adjust_class_at_definition,
|
"@var{type} is a C++ class (i.e., RECORD_TYPE or UNION_TYPE) that has just\
|
"@var{type} is a C++ class (i.e., RECORD_TYPE or UNION_TYPE) that has just\
|
been defined. Use this hook to make adjustments to the class (eg, tweak\
|
been defined. Use this hook to make adjustments to the class (eg, tweak\
|
visibility or perform any other required target modifications).",
|
visibility or perform any other required target modifications).",
|
void, (tree type),
|
void, (tree type),
|
hook_void_tree)
|
hook_void_tree)
|
|
|
DEFHOOK
|
DEFHOOK
|
(decl_mangling_context,
|
(decl_mangling_context,
|
"Return target-specific mangling context of @var{decl} or @code{NULL_TREE}.",
|
"Return target-specific mangling context of @var{decl} or @code{NULL_TREE}.",
|
tree, (const_tree decl),
|
tree, (const_tree decl),
|
hook_tree_const_tree_null)
|
hook_tree_const_tree_null)
|
|
|
HOOK_VECTOR_END (cxx)
|
HOOK_VECTOR_END (cxx)
|
|
|
/* Functions and data for emulated TLS support. */
|
/* Functions and data for emulated TLS support. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_EMUTLS_"
|
#define HOOK_PREFIX "TARGET_EMUTLS_"
|
HOOK_VECTOR (TARGET_EMUTLS, emutls)
|
HOOK_VECTOR (TARGET_EMUTLS, emutls)
|
|
|
/* Name of the address and common functions. */
|
/* Name of the address and common functions. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(get_address,
|
(get_address,
|
"",
|
"",
|
const char *, "__builtin___emutls_get_address")
|
const char *, "__builtin___emutls_get_address")
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(register_common,
|
(register_common,
|
"",
|
"",
|
const char *, "__builtin___emutls_register_common")
|
const char *, "__builtin___emutls_register_common")
|
|
|
/* Prefixes for proxy variable and template. */
|
/* Prefixes for proxy variable and template. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(var_section,
|
(var_section,
|
"",
|
"",
|
const char *, NULL)
|
const char *, NULL)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(tmpl_section,
|
(tmpl_section,
|
"",
|
"",
|
const char *, NULL)
|
const char *, NULL)
|
|
|
/* Prefixes for proxy variable and template. */
|
/* Prefixes for proxy variable and template. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(var_prefix,
|
(var_prefix,
|
"",
|
"",
|
const char *, NULL)
|
const char *, NULL)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(tmpl_prefix,
|
(tmpl_prefix,
|
"",
|
"",
|
const char *, NULL)
|
const char *, NULL)
|
|
|
/* Function to generate field definitions of the proxy variable. */
|
/* Function to generate field definitions of the proxy variable. */
|
DEFHOOK
|
DEFHOOK
|
(var_fields,
|
(var_fields,
|
"",
|
"",
|
tree, (tree type, tree *name),
|
tree, (tree type, tree *name),
|
default_emutls_var_fields)
|
default_emutls_var_fields)
|
|
|
/* Function to initialize a proxy variable. */
|
/* Function to initialize a proxy variable. */
|
DEFHOOK
|
DEFHOOK
|
(var_init,
|
(var_init,
|
"",
|
"",
|
tree, (tree var, tree decl, tree tmpl_addr),
|
tree, (tree var, tree decl, tree tmpl_addr),
|
default_emutls_var_init)
|
default_emutls_var_init)
|
|
|
/* Whether we are allowed to alter the usual alignment of the
|
/* Whether we are allowed to alter the usual alignment of the
|
proxy variable. */
|
proxy variable. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(var_align_fixed,
|
(var_align_fixed,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* Whether we can emit debug information for TLS vars. */
|
/* Whether we can emit debug information for TLS vars. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(debug_form_tls_address,
|
(debug_form_tls_address,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
HOOK_VECTOR_END (emutls)
|
HOOK_VECTOR_END (emutls)
|
|
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_OPTION_"
|
#define HOOK_PREFIX "TARGET_OPTION_"
|
HOOK_VECTOR (TARGET_OPTION_HOOKS, target_option_hooks)
|
HOOK_VECTOR (TARGET_OPTION_HOOKS, target_option_hooks)
|
|
|
/* Function to validate the attribute((option(...))) strings or NULL. If
|
/* Function to validate the attribute((option(...))) strings or NULL. If
|
the option is validated, it is assumed that DECL_FUNCTION_SPECIFIC will
|
the option is validated, it is assumed that DECL_FUNCTION_SPECIFIC will
|
be filled in in the function decl node. */
|
be filled in in the function decl node. */
|
DEFHOOK
|
DEFHOOK
|
(valid_attribute_p,
|
(valid_attribute_p,
|
"",
|
"",
|
bool, (tree fndecl, tree name, tree args, int flags),
|
bool, (tree fndecl, tree name, tree args, int flags),
|
default_target_option_valid_attribute_p)
|
default_target_option_valid_attribute_p)
|
|
|
/* Function to save any extra target state in the target options structure. */
|
/* Function to save any extra target state in the target options structure. */
|
DEFHOOK
|
DEFHOOK
|
(save,
|
(save,
|
"",
|
"",
|
void, (struct cl_target_option *ptr), NULL)
|
void, (struct cl_target_option *ptr), NULL)
|
|
|
/* Function to restore any extra target state from the target options
|
/* Function to restore any extra target state from the target options
|
structure. */
|
structure. */
|
DEFHOOK
|
DEFHOOK
|
(restore,
|
(restore,
|
"",
|
"",
|
void, (struct cl_target_option *ptr), NULL)
|
void, (struct cl_target_option *ptr), NULL)
|
|
|
/* Function to print any extra target state from the target options
|
/* Function to print any extra target state from the target options
|
structure. */
|
structure. */
|
DEFHOOK
|
DEFHOOK
|
(print,
|
(print,
|
"",
|
"",
|
void, (FILE *file, int indent, struct cl_target_option *ptr), NULL)
|
void, (FILE *file, int indent, struct cl_target_option *ptr), NULL)
|
|
|
/* Function to parse arguments to be validated for #pragma option, and to
|
/* Function to parse arguments to be validated for #pragma option, and to
|
change the state if the options are valid. If the first argument is
|
change the state if the options are valid. If the first argument is
|
NULL, the second argument specifies the default options to use. Return
|
NULL, the second argument specifies the default options to use. Return
|
true if the options are valid, and set the current state. */
|
true if the options are valid, and set the current state. */
|
/* ??? The documentation in tm.texi is incomplete. */
|
/* ??? The documentation in tm.texi is incomplete. */
|
DEFHOOK
|
DEFHOOK
|
(pragma_parse,
|
(pragma_parse,
|
"",
|
"",
|
bool, (tree args, tree pop_target),
|
bool, (tree args, tree pop_target),
|
default_target_option_pragma_parse)
|
default_target_option_pragma_parse)
|
|
|
/* Do option overrides for the target. */
|
/* Do option overrides for the target. */
|
DEFHOOK
|
DEFHOOK
|
(override,
|
(override,
|
"",
|
"",
|
void, (void),
|
void, (void),
|
hook_void_void)
|
hook_void_void)
|
|
|
/* Function to determine if one function can inline another function. */
|
/* Function to determine if one function can inline another function. */
|
#undef HOOK_PREFIX
|
#undef HOOK_PREFIX
|
#define HOOK_PREFIX "TARGET_"
|
#define HOOK_PREFIX "TARGET_"
|
DEFHOOK
|
DEFHOOK
|
(can_inline_p,
|
(can_inline_p,
|
"",
|
"",
|
bool, (tree caller, tree callee),
|
bool, (tree caller, tree callee),
|
default_target_can_inline_p)
|
default_target_can_inline_p)
|
|
|
HOOK_VECTOR_END (target_option)
|
HOOK_VECTOR_END (target_option)
|
|
|
/* For targets that need to mark extra registers as live on entry to
|
/* For targets that need to mark extra registers as live on entry to
|
the function, they should define this target hook and set their
|
the function, they should define this target hook and set their
|
bits in the bitmap passed in. */
|
bits in the bitmap passed in. */
|
DEFHOOK
|
DEFHOOK
|
(extra_live_on_entry,
|
(extra_live_on_entry,
|
"",
|
"",
|
void, (bitmap regs),
|
void, (bitmap regs),
|
hook_void_bitmap)
|
hook_void_bitmap)
|
|
|
/* Fill in additional registers set up by prologue into a regset. */
|
/* Fill in additional registers set up by prologue into a regset. */
|
DEFHOOK
|
DEFHOOK
|
(set_up_by_prologue,
|
(set_up_by_prologue,
|
"This hook should add additional registers that are computed by the prologue\
|
"This hook should add additional registers that are computed by the prologue\
|
to the hard regset for shrink-wrapping optimization purposes.",
|
to the hard regset for shrink-wrapping optimization purposes.",
|
void, (struct hard_reg_set_container *),
|
void, (struct hard_reg_set_container *),
|
NULL)
|
NULL)
|
|
|
/* Determine the type of unwind info to emit for debugging. */
|
/* Determine the type of unwind info to emit for debugging. */
|
DEFHOOK
|
DEFHOOK
|
(debug_unwind_info,
|
(debug_unwind_info,
|
"",
|
"",
|
enum unwind_info_type, (void),
|
enum unwind_info_type, (void),
|
default_debug_unwind_info)
|
default_debug_unwind_info)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(atomic_test_and_set_trueval,
|
(atomic_test_and_set_trueval,
|
"This value should be set if the result written by\
|
"This value should be set if the result written by\
|
@code{atomic_test_and_set} is not exactly 1, i.e. the\
|
@code{atomic_test_and_set} is not exactly 1, i.e. the\
|
@code{bool} @code{true}.",
|
@code{bool} @code{true}.",
|
unsigned char, 1)
|
unsigned char, 1)
|
|
|
/* Leave the boolean fields at the end. */
|
/* Leave the boolean fields at the end. */
|
|
|
/* True if we can create zeroed data by switching to a BSS section
|
/* True if we can create zeroed data by switching to a BSS section
|
and then using ASM_OUTPUT_SKIP to allocate the space. */
|
and then using ASM_OUTPUT_SKIP to allocate the space. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(have_switchable_bss_sections,
|
(have_switchable_bss_sections,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* True if "native" constructors and destructors are supported,
|
/* True if "native" constructors and destructors are supported,
|
false if we're using collect2 for the job. */
|
false if we're using collect2 for the job. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(have_ctors_dtors,
|
(have_ctors_dtors,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* True if thread-local storage is supported. */
|
/* True if thread-local storage is supported. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(have_tls,
|
(have_tls,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* True if a small readonly data section is supported. */
|
/* True if a small readonly data section is supported. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(have_srodata_section,
|
(have_srodata_section,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* True if EH frame info sections should be zero-terminated. */
|
/* True if EH frame info sections should be zero-terminated. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(terminate_dw2_eh_frame_info,
|
(terminate_dw2_eh_frame_info,
|
"",
|
"",
|
bool, true)
|
bool, true)
|
|
|
/* True if #NO_APP should be emitted at the beginning of assembly output. */
|
/* True if #NO_APP should be emitted at the beginning of assembly output. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(asm_file_start_app_off,
|
(asm_file_start_app_off,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* True if output_file_directive should be called for main_input_filename
|
/* True if output_file_directive should be called for main_input_filename
|
at the beginning of assembly output. */
|
at the beginning of assembly output. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(asm_file_start_file_directive,
|
(asm_file_start_file_directive,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(handle_pragma_extern_prefix,
|
(handle_pragma_extern_prefix,
|
"True if @code{#pragma extern_prefix} is to be supported.",
|
"True if @code{#pragma extern_prefix} is to be supported.",
|
bool, 0)
|
bool, 0)
|
|
|
/* True if the target is allowed to reorder memory accesses unless
|
/* True if the target is allowed to reorder memory accesses unless
|
synchronization is explicitly requested. */
|
synchronization is explicitly requested. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(relaxed_ordering,
|
(relaxed_ordering,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
/* Returns true if we should generate exception tables for use with the
|
/* Returns true if we should generate exception tables for use with the
|
ARM EABI. The effects the encoding of function exception specifications. */
|
ARM EABI. The effects the encoding of function exception specifications. */
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(arm_eabi_unwinder,
|
(arm_eabi_unwinder,
|
"",
|
"",
|
bool, false)
|
bool, false)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(want_debug_pub_sections,
|
(want_debug_pub_sections,
|
"True if the @code{.debug_pubtypes} and @code{.debug_pubnames} sections\
|
"True if the @code{.debug_pubtypes} and @code{.debug_pubnames} sections\
|
should be emitted. These sections are not used on most platforms, and\
|
should be emitted. These sections are not used on most platforms, and\
|
in particular GDB does not use them.",
|
in particular GDB does not use them.",
|
bool, false)
|
bool, false)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(delay_sched2, "True if sched2 is not to be run at its normal place. \
|
(delay_sched2, "True if sched2 is not to be run at its normal place. \
|
This usually means it will be run as part of machine-specific reorg.",
|
This usually means it will be run as part of machine-specific reorg.",
|
bool, false)
|
bool, false)
|
|
|
DEFHOOKPOD
|
DEFHOOKPOD
|
(delay_vartrack, "True if vartrack is not to be run at its normal place. \
|
(delay_vartrack, "True if vartrack is not to be run at its normal place. \
|
This usually means it will be run as part of machine-specific reorg.",
|
This usually means it will be run as part of machine-specific reorg.",
|
bool, false)
|
bool, false)
|
|
|
/* Leave the boolean fields at the end. */
|
/* Leave the boolean fields at the end. */
|
|
|
/* Close the 'struct gcc_target' definition. */
|
/* Close the 'struct gcc_target' definition. */
|
HOOK_VECTOR_END (C90_EMPTY_HACK)
|
HOOK_VECTOR_END (C90_EMPTY_HACK)
|
|
|
