gcc/target.def

   1 /* Target hook definitions.
   2    Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
   3    2011, 2012
   4    Free Software Foundation, Inc.
   5
   6    This program is free software; you can redistribute it and/or modify it
   7    under the terms of the GNU General Public License as published by the
   8    Free Software Foundation; either version 3, or (at your option) any
   9    later version.
  10
  11    This program is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14    GNU General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with this program; see the file COPYING3.  If not see
  18    <http://www.gnu.org/licenses/>.
  19
  20    In other words, you are welcome to use, share and improve this program.
  21    You are forbidden to forbid anyone else to use, share and improve
  22    what you give them.   Help stamp out software-hoarding!  */
  23
  24 /* See target-hooks-macros.h for details of macros that should be
  25    provided by the including file, and how to use them here.  */
  26 #include "target-hooks-macros.h"
  27
  28 #undef HOOK_TYPE
  29 #define HOOK_TYPE "Target Hook"
  30
  31 HOOK_VECTOR (TARGET_INITIALIZER, gcc_target)
  32
  33 /* Functions that output assembler for the target.  */
  34 #define HOOK_PREFIX "TARGET_ASM_"
  35 HOOK_VECTOR (TARGET_ASM_OUT, asm_out)
  36
  37 /* Opening and closing parentheses for asm expression grouping.  */
  38 DEFHOOKPOD
  39 (open_paren,
  40  "",
  41  const char *, "(")
  42 DEFHOOKPODX (close_paren, const char *, ")")
  43
  44 /* Assembler instructions for creating various kinds of integer object.  */
  45 DEFHOOKPOD
  46 (byte_op,
  47  "",
  48  const char *, "\t.byte\t")
  49 DEFHOOKPOD (aligned_op, "*", struct asm_int_op, TARGET_ASM_ALIGNED_INT_OP)
  50 DEFHOOKPOD (unaligned_op, "*", struct asm_int_op, TARGET_ASM_UNALIGNED_INT_OP)
  51
  52 /* The maximum number of bytes to skip when applying
  53    LABEL_ALIGN_AFTER_BARRIER.  */
  54 DEFHOOK
  55 (label_align_after_barrier_max_skip,
  56  "",
  57  int, (rtx label),
  58  default_label_align_after_barrier_max_skip)
  59
  60 /* The maximum number of bytes to skip when applying
  61    LOOP_ALIGN.  */
  62 DEFHOOK
  63 (loop_align_max_skip,
  64  "",
  65  int, (rtx label),
  66  default_loop_align_max_skip)
  67
  68 /* The maximum number of bytes to skip when applying
  69    LABEL_ALIGN.  */
  70 DEFHOOK
  71 (label_align_max_skip,
  72  "",
  73  int, (rtx label),
  74  default_label_align_max_skip)
  75
  76 /* The maximum number of bytes to skip when applying
  77    JUMP_ALIGN.  */
  78 DEFHOOK
  79 (jump_align_max_skip,
  80  "",
  81  int, (rtx label),
  82  default_jump_align_max_skip)
  83
  84 /* Try to output the assembler code for an integer object whose
  85    value is given by X.  SIZE is the size of the object in bytes and
  86    ALIGNED_P indicates whether it is aligned.  Return true if
  87    successful.  Only handles cases for which BYTE_OP, ALIGNED_OP
  88    and UNALIGNED_OP are NULL.  */
  89 DEFHOOK
  90 (integer,
  91  "",
  92  /* Only handles cases for which BYTE_OP, ALIGNED_OP and UNALIGNED_OP are
  93     NULL.  */
  94  bool, (rtx x, unsigned int size, int aligned_p),
  95  default_assemble_integer)
  96
  97 /* Output code that will globalize a label.  */
  98 DEFHOOK
  99 (globalize_label,
 100  "",
 101  void, (FILE *stream, const char *name),
 102  default_globalize_label)
 103
 104 /* Output code that will globalize a declaration.  */
 105 DEFHOOK
 106 (globalize_decl_name,
 107  "",
 108  void, (FILE *stream, tree decl), default_globalize_decl_name)
 109
 110 /* Output code that will emit a label for unwind info, if this
 111    target requires such labels.  Second argument is the decl the
 112    unwind info is associated with, third is a boolean: true if
 113    this is for exception handling, fourth is a boolean: true if
 114    this is only a placeholder for an omitted FDE.  */
 115 DEFHOOK
 116 (emit_unwind_label,
 117  "",
 118  void, (FILE *stream, tree decl, int for_eh, int empty),
 119  default_emit_unwind_label)
 120
 121 /* Output code that will emit a label to divide up the exception table.  */
 122 DEFHOOK
 123 (emit_except_table_label,
 124  "",
 125  void, (FILE *stream),
 126  default_emit_except_table_label)
 127
 128 /* Emit a directive for setting the personality for the function.  */
 129 DEFHOOK
 130 (emit_except_personality,
 131  "If the target implements @code{TARGET_ASM_UNWIND_EMIT}, this hook may be\
 132  used to emit a directive to install a personality hook into the unwind\
 133  info.  This hook should not be used if dwarf2 unwind info is used.",
 134  void, (rtx personality),
 135  NULL)
 136
 137 /* Emit any directives required to unwind this instruction.  */
 138 DEFHOOK
 139 (unwind_emit,
 140  "",
 141  void, (FILE *stream, rtx insn),
 142  NULL)
 143
 144 DEFHOOKPOD
 145 (unwind_emit_before_insn,
 146  "True if the @code{TARGET_ASM_UNWIND_EMIT} hook should be called before\
 147  the assembly for @var{insn} has been emitted, false if the hook should\
 148  be called afterward.",
 149  bool, true)
 150
 151 /* Generate an internal label.
 152    For now this is just a wrapper for ASM_GENERATE_INTERNAL_LABEL.  */
 153 DEFHOOK_UNDOC
 154 (generate_internal_label,
 155  "",
 156  void, (char *buf, const char *prefix, unsigned long labelno),
 157  default_generate_internal_label)
 158
 159 /* Output an internal label.  */
 160 DEFHOOK
 161 (internal_label,
 162  "",
 163  void, (FILE *stream, const char *prefix, unsigned long labelno),
 164  default_internal_label)
 165
 166 /* Output label for the constant.  */
 167 DEFHOOK
 168 (declare_constant_name,
 169  "",
 170  void, (FILE *file, const char *name, const_tree expr, HOST_WIDE_INT size),
 171  default_asm_declare_constant_name)
 172
 173 /* Emit a ttype table reference to a typeinfo object.  */
 174 DEFHOOK
 175 (ttype,
 176  "",
 177  bool, (rtx sym),
 178  hook_bool_rtx_false)
 179
 180 /* Emit an assembler directive to set visibility for the symbol
 181    associated with the tree decl.  */
 182 DEFHOOK
 183 (assemble_visibility,
 184  "",
 185  void, (tree decl, int visibility),
 186  default_assemble_visibility)
 187
 188 /* Output the assembler code for entry to a function.  */
 189 DEFHOOK
 190 (function_prologue,
 191  "",
 192  void, (FILE *file, HOST_WIDE_INT size),
 193  default_function_pro_epilogue)
 194
 195 /* Output the assembler code for end of prologue.  */
 196 DEFHOOK
 197 (function_end_prologue,
 198  "",
 199  void, (FILE *file),
 200  no_asm_to_stream)
 201
 202 /* Output the assembler code for start of epilogue.  */
 203 DEFHOOK
 204 (function_begin_epilogue,
 205  "",
 206  void, (FILE *file),
 207  no_asm_to_stream)
 208
 209 /* Output the assembler code for function exit.  */
 210 DEFHOOK
 211 (function_epilogue,
 212  "",
 213  void, (FILE *file, HOST_WIDE_INT size),
 214  default_function_pro_epilogue)
 215
 216 /* Initialize target-specific sections.  */
 217 DEFHOOK
 218 (init_sections,
 219  "",
 220  void, (void),
 221  hook_void_void)
 222
 223 /* Tell assembler to change to section NAME with attributes FLAGS.
 224    If DECL is non-NULL, it is the VAR_DECL or FUNCTION_DECL with
 225    which this section is associated.  */
 226 DEFHOOK
 227 (named_section,
 228  "",
 229  void, (const char *name, unsigned int flags, tree decl),
 230  default_no_named_section)
 231
 232 /* Return preferred text (sub)section for function DECL.
 233    Main purpose of this function is to separate cold, normal and hot
 234    functions. STARTUP is true when function is known to be used only
 235    at startup (from static constructors or it is main()).
 236    EXIT is true when function is known to be used only at exit
 237    (from static destructors).
 238    Return NULL if function should go to default text section.  */
 239 DEFHOOK
 240 (function_section,
 241  "",
 242  section *, (tree decl, enum node_frequency freq, bool startup, bool exit),
 243  default_function_section)
 244
 245 /* Output the assembler code for function exit.  */
 246 DEFHOOK
 247 (function_switched_text_sections,
 248  "Used by the target to emit any assembler directives or additional\
 249   labels needed when a function is partitioned between different\
 250   sections.  Output should be written to @var{file}.  The function\
 251   decl is available as @var{decl} and the new section is `cold' if\
 252   @var{new_is_cold} is @code{true}.",
 253  void, (FILE *file, tree decl, bool new_is_cold),
 254  default_function_switched_text_sections)
 255
 256 /* Return a mask describing how relocations should be treated when
 257    selecting sections.  Bit 1 should be set if global relocations
 258    should be placed in a read-write section; bit 0 should be set if
 259    local relocations should be placed in a read-write section.  */
 260 DEFHOOK
 261 (reloc_rw_mask,
 262  "",
 263  int, (void),
 264  default_reloc_rw_mask)
 265
 266  /* Return a section for EXP.  It may be a DECL or a constant.  RELOC
 267     is nonzero if runtime relocations must be applied; bit 1 will be
 268     set if the runtime relocations require non-local name resolution.
 269     ALIGN is the required alignment of the data.  */
 270 DEFHOOK
 271 (select_section,
 272  "",
 273  section *, (tree exp, int reloc, unsigned HOST_WIDE_INT align),
 274  default_select_section)
 275
 276 /* Return a section for X.  MODE is X's mode and ALIGN is its
 277    alignment in bits.  */
 278 DEFHOOK
 279 (select_rtx_section,
 280  "",
 281  section *, (enum machine_mode mode, rtx x, unsigned HOST_WIDE_INT align),
 282  default_select_rtx_section)
 283
 284 /* Select a unique section name for DECL.  RELOC is the same as
 285    for SELECT_SECTION.  */
 286 DEFHOOK
 287 (unique_section,
 288  "",
 289  void, (tree decl, int reloc),
 290  default_unique_section)
 291
 292 /* Return the readonly data section associated with function DECL.  */
 293 DEFHOOK
 294 (function_rodata_section,
 295  "",
 296  section *, (tree decl),
 297  default_function_rodata_section)
 298
 299 /* Nonnull if the target wants to override the default ".rodata" prefix
 300    for mergeable data sections.  */
 301 DEFHOOKPOD
 302 (mergeable_rodata_prefix,
 303  "Usually, the compiler uses the prefix @code{\".rodata\"} to construct\n\
 304 section names for mergeable constant data.  Define this macro to override\n\
 305 the string if a different section name should be used.",
 306  const char *, ".rodata")
 307
 308 /* Return the section to be used for transactional memory clone tables.  */
 309 DEFHOOK
 310 (tm_clone_table_section,
 311  "Return the section that should be used for transactional memory clone\
 312   tables.",
 313  section *, (void), default_clone_table_section)
 314
 315 /* Output a constructor for a symbol with a given priority.  */
 316 DEFHOOK
 317 (constructor,
 318  "",
 319  void, (rtx symbol, int priority), NULL)
 320
 321 /* Output a destructor for a symbol with a given priority.  */
 322 DEFHOOK
 323 (destructor,
 324  "",
 325  void, (rtx symbol, int priority), NULL)
 326
 327 /* Output the assembler code for a thunk function.  THUNK_DECL is the
 328    declaration for the thunk function itself, FUNCTION is the decl for
 329    the target function.  DELTA is an immediate constant offset to be
 330    added to THIS.  If VCALL_OFFSET is nonzero, the word at
 331    *(*this + vcall_offset) should be added to THIS.  */
 332 DEFHOOK
 333 (output_mi_thunk,
 334  "",
 335  void, (FILE *file, tree thunk_fndecl, HOST_WIDE_INT delta,
 336         HOST_WIDE_INT vcall_offset, tree function),
 337  NULL)
 338
 339 /* Determine whether output_mi_thunk would succeed.  */
 340 /* ??? Ideally, this hook would not exist, and success or failure
 341    would be returned from output_mi_thunk directly.  But there's
 342    too much undo-able setup involved in invoking output_mi_thunk.
 343    Could be fixed by making output_mi_thunk emit rtl instead of
 344    text to the output file.  */
 345 DEFHOOK
 346 (can_output_mi_thunk,
 347  "",
 348  bool, (const_tree thunk_fndecl, HOST_WIDE_INT delta,
 349         HOST_WIDE_INT vcall_offset, const_tree function),
 350  hook_bool_const_tree_hwi_hwi_const_tree_false)
 351
 352 /* Output any boilerplate text needed at the beginning of a
 353    translation unit.  */
 354 DEFHOOK
 355 (file_start,
 356  "",
 357  void, (void),
 358  default_file_start)
 359
 360 /* Output any boilerplate text needed at the end of a translation unit.  */
 361 DEFHOOK
 362 (file_end,
 363  "",
 364  void, (void),
 365  hook_void_void)
 366
 367 /* Output any boilerplate text needed at the beginning of an
 368    LTO output stream.  */
 369 DEFHOOK
 370 (lto_start,
 371  "",
 372  void, (void),
 373  hook_void_void)
 374
 375 /* Output any boilerplate text needed at the end of an
 376    LTO output stream.  */
 377 DEFHOOK
 378 (lto_end,
 379  "",
 380  void, (void),
 381  hook_void_void)
 382
 383 /* Output any boilerplace text needed at the end of a
 384    translation unit before debug and unwind info is emitted.  */
 385 DEFHOOK
 386 (code_end,
 387  "",
 388  void, (void),
 389  hook_void_void)
 390
 391 /* Output an assembler pseudo-op to declare a library function name
 392    external.  */
 393 DEFHOOK
 394 (external_libcall,
 395  "",
 396  void, (rtx symref),
 397  default_external_libcall)
 398
 399 /* Output an assembler directive to mark decl live. This instructs
 400    linker to not dead code strip this symbol.  */
 401 DEFHOOK
 402 (mark_decl_preserved,
 403  "",
 404  void, (const char *symbol),
 405  hook_void_constcharptr)
 406
 407 /* Output a record of the command line switches that have been passed.  */
 408 DEFHOOK
 409 (record_gcc_switches,
 410  "",
 411  int, (print_switch_type type, const char *text),
 412  NULL)
 413
 414 /* The name of the section that the example ELF implementation of
 415    record_gcc_switches will use to store the information.  Target
 416    specific versions of record_gcc_switches may or may not use
 417    this information.  */
 418 DEFHOOKPOD
 419 (record_gcc_switches_section,
 420  "",
 421  const char *, ".GCC.command.line")
 422
 423 /* Output the definition of a section anchor.  */
 424 DEFHOOK
 425 (output_anchor,
 426  "",
 427  void, (rtx x),
 428  default_asm_output_anchor)
 429
 430 DEFHOOK
 431 (output_ident,
 432  "Output a string based on @var{name}, suitable for the @samp{#ident} \
 433  directive, or the equivalent directive or pragma in non-C-family languages. \
 434  If this hook is not defined, nothing is output for the @samp{#ident} \
 435  directive.",
 436  void, (const char *name),
 437  hook_void_constcharptr)
 438
 439 /* Output a DTP-relative reference to a TLS symbol.  */
 440 DEFHOOK
 441 (output_dwarf_dtprel,
 442  "",
 443  void, (FILE *file, int size, rtx x),
 444  NULL)
 445
 446 /* Some target machines need to postscan each insn after it is output.  */
 447 DEFHOOK
 448 (final_postscan_insn,
 449  "",
 450  void, (FILE *file, rtx insn, rtx *opvec, int noperands),
 451  NULL)
 452
 453 /* Emit the trampoline template.  This hook may be NULL.  */
 454 DEFHOOK
 455 (trampoline_template,
 456  "",
 457  void, (FILE *f),
 458  NULL)
 459
 460 DEFHOOK
 461 (output_source_filename,
 462  "Output COFF information or DWARF debugging information which indicates\
 463  that filename @var{name} is the current source file to the stdio\
 464  stream @var{file}.\n\
 465  \n\
 466  This target hook need not be defined if the standard form of output\
 467  for the file format in use is appropriate.",
 468  void ,(FILE *file, const char *name),
 469  default_asm_output_source_filename)
 470
 471 DEFHOOK
 472 (output_addr_const_extra,
 473  "",
 474  bool, (FILE *file, rtx x),
 475  hook_bool_FILEptr_rtx_false)
 476
 477 /* ??? The TARGET_PRINT_OPERAND* hooks are part of the asm_out struct,
 478    even though that is not reflected in the macro name to override their
 479    initializers.  */
 480 #undef HOOK_PREFIX
 481 #define HOOK_PREFIX "TARGET_"
 482
 483 /* Emit a machine-specific insn operand.  */
 484 /* ??? tm.texi only documents the old macro PRINT_OPERAND,
 485    not this  hook, and uses a different name for the argument FILE.  */
 486 DEFHOOK_UNDOC
 487 (print_operand,
 488  "",
 489  void, (FILE *file, rtx x, int code),
 490  default_print_operand)
 491
 492 /* Emit a machine-specific memory address.  */
 493 /* ??? tm.texi only documents the old macro PRINT_OPERAND_ADDRESS,
 494    not this  hook, and uses different argument names.  */
 495 DEFHOOK_UNDOC
 496 (print_operand_address,
 497  "",
 498  void, (FILE *file, rtx addr),
 499  default_print_operand_address)
 500
 501 /* Determine whether CODE is a valid punctuation character for the
 502    `print_operand' hook.  */
 503 /* ??? tm.texi only documents the old macro PRINT_OPERAND_PUNCT_VALID_P,
 504    not this  hook.  */
 505 DEFHOOK_UNDOC
 506 (print_operand_punct_valid_p,
 507  "",
 508  bool ,(unsigned char code),
 509  default_print_operand_punct_valid_p)
 510
 511 /* Given a symbol name, perform same mangling as assemble_name and
 512    ASM_OUTPUT_LABELREF, returning result as an IDENTIFIER_NODE.  */
 513 DEFHOOK
 514 (mangle_assembler_name,
 515  "Given a symbol @var{name}, perform same mangling as @code{varasm.c}'s\
 516  @code{assemble_name}, but in memory rather than to a file stream, returning\
 517  result as an @code{IDENTIFIER_NODE}.  Required for correct LTO symtabs.  The\
 518  default implementation calls the @code{TARGET_STRIP_NAME_ENCODING} hook and\
 519  then prepends the @code{USER_LABEL_PREFIX}, if any.",
 520  tree, (const char *name),
 521  default_mangle_assembler_name)
 522
 523 HOOK_VECTOR_END (asm_out)
 524
 525 /* Functions relating to instruction scheduling.  All of these
 526    default to null pointers, which haifa-sched.c looks for and handles.  */
 527 #undef HOOK_PREFIX
 528 #define HOOK_PREFIX "TARGET_SCHED_"
 529 HOOK_VECTOR (TARGET_SCHED, sched)
 530
 531 /* Given the current cost, COST, of an insn, INSN, calculate and
 532    return a new cost based on its relationship to DEP_INSN through
 533    the dependence LINK.  The default is to make no adjustment.  */
 534 DEFHOOK
 535 (adjust_cost,
 536  "",
 537  int, (rtx insn, rtx link, rtx dep_insn, int cost), NULL)
 538
 539 /* Adjust the priority of an insn as you see fit.  Returns the new priority.  */
 540 DEFHOOK
 541 (adjust_priority,
 542  "",
 543  int, (rtx insn, int priority), NULL)
 544
 545 /* Function which returns the maximum number of insns that can be
 546    scheduled in the same machine cycle.  This must be constant
 547    over an entire compilation.  The default is 1.  */
 548 DEFHOOK
 549 (issue_rate,
 550  "",
 551  int, (void), NULL)
 552
 553 /* Calculate how much this insn affects how many more insns we
 554    can emit this cycle.  Default is they all cost the same.  */
 555 DEFHOOK
 556 (variable_issue,
 557  "",
 558  int, (FILE *file, int verbose, rtx insn, int more), NULL)
 559
 560 /* Initialize machine-dependent scheduling code.  */
 561 DEFHOOK
 562 (init,
 563  "",
 564  void, (FILE *file, int verbose, int max_ready), NULL)
 565
 566 /* Finalize machine-dependent scheduling code.  */
 567 DEFHOOK
 568 (finish,
 569  "",
 570  void, (FILE *file, int verbose), NULL)
 571
 572  /* Initialize machine-dependent function wide scheduling code.  */
 573 DEFHOOK
 574 (init_global,
 575  "",
 576  void, (FILE *file, int verbose, int old_max_uid), NULL)
 577
 578 /* Finalize machine-dependent function wide scheduling code.  */
 579 DEFHOOK
 580 (finish_global,
 581  "",
 582  void, (FILE *file, int verbose), NULL)
 583
 584 /* Reorder insns in a machine-dependent fashion, in two different
 585        places.  Default does nothing.  */
 586 DEFHOOK
 587 (reorder,
 588  "",
 589  int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
 590
 591 DEFHOOK
 592 (reorder2,
 593  "",
 594  int, (FILE *file, int verbose, rtx *ready, int *n_readyp, int clock), NULL)
 595
 596 /* The following member value is a pointer to a function called
 597    after evaluation forward dependencies of insns in chain given
 598    by two parameter values (head and tail correspondingly).  */
 599 DEFHOOK
 600 (dependencies_evaluation_hook,
 601  "",
 602  void, (rtx head, rtx tail), NULL)
 603
 604 /* The values of the following four members are pointers to functions
 605    used to simplify the automaton descriptions.  dfa_pre_cycle_insn and
 606    dfa_post_cycle_insn give functions returning insns which are used to
 607    change the pipeline hazard recognizer state when the new simulated
 608    processor cycle correspondingly starts and finishes.  The function
 609    defined by init_dfa_pre_cycle_insn and init_dfa_post_cycle_insn are
 610    used to initialize the corresponding insns.  The default values of
 611    the members result in not changing the automaton state when the
 612    new simulated processor cycle correspondingly starts and finishes.  */
 613
 614 DEFHOOK
 615 (init_dfa_pre_cycle_insn,
 616  "",
 617  void, (void), NULL)
 618
 619 DEFHOOK
 620 (dfa_pre_cycle_insn,
 621  "",
 622  rtx, (void), NULL)
 623
 624 DEFHOOK
 625 (init_dfa_post_cycle_insn,
 626  "",
 627  void, (void), NULL)
 628
 629 DEFHOOK
 630 (dfa_post_cycle_insn,
 631  "",
 632  rtx, (void), NULL)
 633
 634 /* The values of the following two members are pointers to
 635    functions used to simplify the automaton descriptions.
 636    dfa_pre_advance_cycle and dfa_post_advance_cycle are getting called
 637    immediately before and after cycle is advanced.  */
 638
 639 DEFHOOK
 640 (dfa_pre_advance_cycle,
 641  "",
 642  void, (void), NULL)
 643
 644 DEFHOOK
 645 (dfa_post_advance_cycle,
 646  "",
 647  void, (void), NULL)
 648
 649 /* The following member value is a pointer to a function returning value
 650    which defines how many insns in queue `ready' will we try for
 651    multi-pass scheduling.  If the member value is nonzero and the
 652    function returns positive value, the DFA based scheduler will make
 653    multi-pass scheduling for the first cycle.  In other words, we will
 654    try to choose ready insn which permits to start maximum number of
 655    insns on the same cycle.  */
 656 DEFHOOK
 657 (first_cycle_multipass_dfa_lookahead,
 658  "",
 659  int, (void), NULL)
 660
 661 /* The following member value is pointer to a function controlling
 662    what insns from the ready insn queue will be considered for the
 663    multipass insn scheduling.  If the hook returns zero for insn
 664    passed as the parameter, the insn will be not chosen to be issued.  */
 665 DEFHOOK
 666 (first_cycle_multipass_dfa_lookahead_guard,
 667  "",
 668  int, (rtx insn), NULL)
 669
 670 /* This hook prepares the target for a new round of multipass
 671    scheduling.
 672    DATA is a pointer to target-specific data used for multipass scheduling.
 673    READY_TRY and N_READY represent the current state of search in the
 674    optimization space.  The target can filter out instructions that
 675    should not be tried during current round by setting corresponding
 676    elements in READY_TRY to non-zero.
 677    FIRST_CYCLE_INSN_P is true if this is the first round of multipass
 678    scheduling on current cycle.  */
 679 DEFHOOK
 680 (first_cycle_multipass_begin,
 681  "",
 682  void, (void *data, char *ready_try, int n_ready, bool first_cycle_insn_p),
 683  NULL)
 684
 685 /* This hook is called when multipass scheduling evaluates instruction INSN.
 686    DATA is a pointer to target-specific data that can be used to record effects
 687    of INSN on CPU that are not described in DFA.
 688    READY_TRY and N_READY represent the current state of search in the
 689    optimization space.  The target can filter out instructions that
 690    should not be tried after issuing INSN by setting corresponding
 691    elements in READY_TRY to non-zero.
 692    INSN is the instruction being evaluated.
 693    PREV_DATA is a pointer to target-specific data corresponding
 694    to a state before issuing INSN.  */
 695 DEFHOOK
 696 (first_cycle_multipass_issue,
 697  "",
 698  void, (void *data, char *ready_try, int n_ready, rtx insn,
 699         const void *prev_data), NULL)
 700
 701 /* This hook is called when multipass scheduling backtracks from evaluation of
 702    instruction corresponding to DATA.
 703    DATA is a pointer to target-specific data that stores the effects
 704    of instruction from which the algorithm backtracks on CPU that are not
 705    described in DFA.
 706    READY_TRY and N_READY represent the current state of search in the
 707    optimization space.  The target can filter out instructions that
 708    should not be tried after issuing INSN by setting corresponding
 709    elements in READY_TRY to non-zero.  */
 710 DEFHOOK
 711 (first_cycle_multipass_backtrack,
 712  "",
 713  void, (const void *data, char *ready_try, int n_ready), NULL)
 714
 715 /* This hook notifies the target about the result of the concluded current
 716    round of multipass scheduling.
 717    DATA is a pointer.
 718    If DATA is non-NULL it points to target-specific data used for multipass
 719    scheduling which corresponds to instruction at the start of the chain of
 720    the winning solution.  DATA is NULL when multipass scheduling cannot find
 721    a good enough solution on current cycle and decides to retry later,
 722    usually after advancing the cycle count.  */
 723 DEFHOOK
 724 (first_cycle_multipass_end,
 725  "",
 726  void, (const void *data), NULL)
 727
 728 /* This hook is called to initialize target-specific data for multipass
 729    scheduling after it has been allocated.
 730    DATA is a pointer to target-specific data that stores the effects
 731    of instruction from which the algorithm backtracks on CPU that are not
 732    described in DFA.  */
 733 DEFHOOK
 734 (first_cycle_multipass_init,
 735  "",
 736  void, (void *data), NULL)
 737
 738 /* This hook is called to finalize target-specific data for multipass
 739    scheduling before it is deallocated.
 740    DATA is a pointer to target-specific data that stores the effects
 741    of instruction from which the algorithm backtracks on CPU that are not
 742    described in DFA.  */
 743 DEFHOOK
 744 (first_cycle_multipass_fini,
 745  "",
 746  void, (void *data), NULL)
 747
 748 /* The following member value is pointer to a function called by
 749    the insn scheduler before issuing insn passed as the third
 750    parameter on given cycle.  If the hook returns nonzero, the
 751    insn is not issued on given processors cycle.  Instead of that,
 752    the processor cycle is advanced.  If the value passed through
 753    the last parameter is zero, the insn ready queue is not sorted
 754    on the new cycle start as usually.  The first parameter passes
 755    file for debugging output.  The second one passes the scheduler
 756    verbose level of the debugging output.  The forth and the fifth
 757    parameter values are correspondingly processor cycle on which
 758    the previous insn has been issued and the current processor cycle.  */
 759 DEFHOOK
 760 (dfa_new_cycle,
 761  "",
 762  int, (FILE *dump, int verbose, rtx insn, int last_clock,
 763        int clock, int *sort_p),
 764  NULL)
 765
 766 /* The following member value is a pointer to a function called by the
 767    insn scheduler.  It should return true if there exists a dependence
 768    which is considered costly by the target, between the insn
 769    DEP_PRO (&_DEP), and the insn DEP_CON (&_DEP).  The first parameter is
 770    the dep that represents the dependence between the two insns.  The
 771    second argument is the cost of the dependence as estimated by
 772    the scheduler.  The last argument is the distance in cycles
 773    between the already scheduled insn (first parameter) and the
 774    second insn (second parameter).  */
 775 DEFHOOK
 776 (is_costly_dependence,
 777  "",
 778  bool, (struct _dep *_dep, int cost, int distance), NULL)
 779
 780 DEFHOOK_UNDOC
 781 (adjust_cost_2,
 782  "Given the current cost, @var{cost}, of an insn, @var{insn}, calculate and\
 783  return a new cost based on its relationship to @var{dep_insn} through the\
 784  dependence of weakness @var{dw}.  The default is to make no adjustment.",
 785  int, (rtx insn, int dep_type1, rtx dep_insn, int cost, int dw), NULL)
 786
 787 /* The following member value is a pointer to a function called
 788    by the insn scheduler. This hook is called to notify the backend
 789    that new instructions were emitted.  */
 790 DEFHOOK
 791 (h_i_d_extended,
 792  "",
 793  void, (void), NULL)
 794
 795 /* Next 5 functions are for multi-point scheduling.  */
 796
 797 /* Allocate memory for scheduler context.  */
 798 DEFHOOK
 799 (alloc_sched_context,
 800  "",
 801  void *, (void), NULL)
 802
 803 /* Fills the context from the local machine scheduler context.  */
 804 DEFHOOK
 805 (init_sched_context,
 806  "",
 807  void, (void *tc, bool clean_p), NULL)
 808
 809 /* Sets local machine scheduler context to a saved value.  */
 810 DEFHOOK
 811 (set_sched_context,
 812  "",
 813  void, (void *tc), NULL)
 814
 815 /* Clears a scheduler context so it becomes like after init.  */
 816 DEFHOOK
 817 (clear_sched_context,
 818  "",
 819  void, (void *tc), NULL)
 820
 821 /* Frees the scheduler context.  */
 822 DEFHOOK
 823 (free_sched_context,
 824  "",
 825  void, (void *tc), NULL)
 826
 827 /* The following member value is a pointer to a function called
 828    by the insn scheduler.
 829    The first parameter is an instruction, the second parameter is the type
 830    of the requested speculation, and the third parameter is a pointer to the
 831    speculative pattern of the corresponding type (set if return value == 1).
 832    It should return
 833    -1, if there is no pattern, that will satisfy the requested speculation type,
 834    0, if current pattern satisfies the requested speculation type,
 835    1, if pattern of the instruction should be changed to the newly
 836    generated one.  */
 837 DEFHOOK
 838 (speculate_insn,
 839  "",
 840  int, (rtx insn, int request, rtx *new_pat), NULL)
 841
 842 /* The following member value is a pointer to a function called
 843    by the insn scheduler.  It should return true if the check instruction
 844    passed as the parameter needs a recovery block.  */
 845 DEFHOOK
 846 (needs_block_p,
 847  "",
 848  bool, (int dep_status), NULL)
 849
 850 /* The following member value is a pointer to a function called
 851    by the insn scheduler.  It should return a pattern for the check
 852    instruction.
 853    The first parameter is a speculative instruction, the second parameter
 854    is the label of the corresponding recovery block (or null, if it is a
 855    simple check).  If the mutation of the check is requested (e.g. from
 856    ld.c to chk.a), the third parameter is true - in this case the first
 857    parameter is the previous check.  */
 858 DEFHOOK
 859 (gen_spec_check,
 860  "",
 861  rtx, (rtx insn, rtx label, int mutate_p), NULL)
 862
 863 /* The following member value is a pointer to a function controlling
 864    what insns from the ready insn queue will be considered for the
 865    multipass insn scheduling.  If the hook returns zero for the insn
 866    passed as the parameter, the insn will not be chosen to be
 867    issued.  This hook is used to discard speculative instructions,
 868    that stand at the first position of the ready list.  */
 869 DEFHOOK
 870 (first_cycle_multipass_dfa_lookahead_guard_spec,
 871  "",
 872  bool, (const_rtx insn), NULL)
 873
 874 /* The following member value is a pointer to a function that provides
 875    information about the speculation capabilities of the target.
 876    The parameter is a pointer to spec_info variable.  */
 877 DEFHOOK
 878 (set_sched_flags,
 879  "",
 880  void, (struct spec_info_def *spec_info), NULL)
 881
 882 DEFHOOK_UNDOC
 883 (get_insn_spec_ds,
 884  "Return speculation types of instruction @var{insn}.",
 885  int, (rtx insn), NULL)
 886
 887 DEFHOOK_UNDOC
 888 (get_insn_checked_ds,
 889  "Return speculation types that are checked for instruction @var{insn}",
 890  int, (rtx insn), NULL)
 891
 892 DEFHOOK_UNDOC
 893 (skip_rtx_p,
 894  "Return bool if rtx scanning should just skip current layer and\
 895  advance to the inner rtxes.",
 896  bool, (const_rtx x), NULL)
 897
 898 /* The following member value is a pointer to a function that provides
 899    information about the target resource-based lower bound which is
 900    used by the swing modulo scheduler.  The parameter is a pointer
 901    to ddg variable.  */
 902 DEFHOOK
 903 (sms_res_mii,
 904  "",
 905  int, (struct ddg *g), NULL)
 906
 907 /* The following member value is a function that initializes dispatch
 908    schedling and adds instructions to dispatch window according to its
 909    parameters.  */
 910 DEFHOOK
 911 (dispatch_do,
 912 "",
 913 void, (rtx insn, int x),
 914 hook_void_rtx_int)
 915
 916 /* The following member value is a a function that returns true is
 917    dispatch schedling is supported in hardware and condition passed
 918    as the second parameter is true.  */
 919 DEFHOOK
 920 (dispatch,
 921 "",
 922 bool, (rtx insn, int x),
 923 hook_bool_rtx_int_false)
 924
 925 DEFHOOKPOD
 926 (exposed_pipeline,
 927 "True if the processor has an exposed pipeline, which means that not just\n\
 928 the order of instructions is important for correctness when scheduling, but\n\
 929 also the latencies of operations.",
 930 bool, false)
 931
 932 /* The following member value is a function that returns number
 933    of operations reassociator should try to put in parallel for
 934    statements of the given type.  By default 1 is used.  */
 935 DEFHOOK
 936 (reassociation_width,
 937 "This hook is called by tree reassociator to determine a level of\n\
 938 parallelism required in output calculations chain.",
 939 int, (unsigned int opc, enum machine_mode mode),
 940 hook_int_uint_mode_1)
 941
 942 HOOK_VECTOR_END (sched)
 943
 944 /* Functions relating to vectorization.  */
 945 #undef HOOK_PREFIX
 946 #define HOOK_PREFIX "TARGET_VECTORIZE_"
 947 HOOK_VECTOR (TARGET_VECTORIZE, vectorize)
 948
 949 /* The following member value is a pointer to a function called
 950    by the vectorizer, and return the decl of the target builtin
 951    function.  */
 952 DEFHOOK
 953 (builtin_mask_for_load,
 954  "",
 955  tree, (void), NULL)
 956
 957 /* Returns a code for builtin that realizes vectorized version of
 958    function, or NULL_TREE if not available.  */
 959 DEFHOOK
 960 (builtin_vectorized_function,
 961  "",
 962  tree, (tree fndecl, tree vec_type_out, tree vec_type_in),
 963  default_builtin_vectorized_function)
 964
 965 /* Returns a function declaration for a builtin that realizes the
 966    vector conversion, or NULL_TREE if not available.  */
 967 DEFHOOK
 968 (builtin_conversion,
 969  "",
 970  tree, (unsigned code, tree dest_type, tree src_type),
 971  default_builtin_vectorized_conversion)
 972
 973 /* Cost of different vector/scalar statements in vectorization cost
 974    model. In case of misaligned vector loads and stores the cost depends
 975    on the data type and misalignment value.  */
 976 DEFHOOK
 977 (builtin_vectorization_cost,
 978  "",
 979  int, (enum vect_cost_for_stmt type_of_cost, tree vectype, int misalign),
 980  default_builtin_vectorization_cost)
 981
 982 /* Return true if vector alignment is reachable (by peeling N
 983    iterations) for the given type.  */
 984 DEFHOOK
 985 (vector_alignment_reachable,
 986  "",
 987  bool, (const_tree type, bool is_packed),
 988  default_builtin_vector_alignment_reachable)
 989
 990 /* Return true if a vector created for vec_perm_const is valid.
 991    A NULL indicates that all constants are valid permutations.  */
 992 DEFHOOK
 993 (vec_perm_const_ok,
 994  "",
 995  bool, (enum machine_mode, const unsigned char *sel),
 996  NULL)
 997
 998 /* Return true if the target supports misaligned store/load of a
 999    specific factor denoted in the third parameter.  The last parameter
1000    is true if the access is defined in a packed struct.  */
1001 DEFHOOK
1002 (support_vector_misalignment,
1003  "",
1004  bool,
1005  (enum machine_mode mode, const_tree type, int misalignment, bool is_packed),
1006  default_builtin_support_vector_misalignment)
1007
1008 /* Return the builtin decl needed to load a vector of TYPE.  */
1009 DEFHOOK
1010 (builtin_tm_load,
1011  "This hook should return the built-in decl needed to load a vector of the "
1012  "given type within a transaction.",
1013  tree,
1014  (tree),
1015  default_builtin_tm_load_store)
1016
1017 /* Return the builtin decl needed to store a vector of TYPE.  */
1018 DEFHOOK
1019 (builtin_tm_store,
1020  "This hook should return the built-in decl needed to store a vector of the "
1021  "given type within a transaction.",
1022  tree,
1023  (tree),
1024  default_builtin_tm_load_store)
1025
1026 /* Returns the preferred mode for SIMD operations for the specified
1027    scalar mode.  */
1028 DEFHOOK
1029 (preferred_simd_mode,
1030  "",
1031  enum machine_mode,
1032  (enum machine_mode mode),
1033  default_preferred_simd_mode)
1034
1035 /* Returns a mask of vector sizes to iterate over when auto-vectorizing
1036    after processing the preferred one derived from preferred_simd_mode.  */
1037 DEFHOOK
1038 (autovectorize_vector_sizes,
1039  "",
1040  unsigned int,
1041  (void),
1042  default_autovectorize_vector_sizes)
1043
1044 /* Target builtin that implements vector gather operation.  */
1045 DEFHOOK
1046 (builtin_gather,
1047  "",
1048  tree,
1049  (const_tree mem_vectype, const_tree index_type, int scale),
1050  NULL)
1051
1052 /* Target function to initialize the cost model for a loop or block.  */
1053 DEFHOOK
1054 (init_cost,
1055  "This hook should initialize target-specific data structures in preparation "
1056  "for modeling the costs of vectorizing a loop or basic block.  The default "
1057  "allocates three unsigned integers for accumulating costs for the prologue, "
1058  "body, and epilogue of the loop or basic block.  If @var{loop_info} is "
1059  "non-NULL, it identifies the loop being vectorized; otherwise a single block "
1060  "is being vectorized.",
1061  void *,
1062  (struct loop *loop_info),
1063  default_init_cost)
1064
1065 /* Target function to record N statements of the given kind using the
1066    given vector type within the cost model data for the current loop or
1067     block.  */
1068 DEFHOOK
1069 (add_stmt_cost,
1070  "This hook should update the target-specific @var{data} in response to "
1071  "adding @var{count} copies of the given @var{kind} of statement to a "
1072  "loop or basic block.  The default adds the builtin vectorizer cost for "
1073  "the copies of the statement to the accumulator specified by @var{where}, "
1074  "(the prologue, body, or epilogue) and returns the amount added.  The "
1075  "return value should be viewed as a tentative cost that may later be "
1076  "revised.",
1077  unsigned,
1078  (void *data, int count, enum vect_cost_for_stmt kind,
1079   struct _stmt_vec_info *stmt_info, int misalign,
1080   enum vect_cost_model_location where),
1081  default_add_stmt_cost)
1082
1083 /* Target function to calculate the total cost of the current vectorized
1084    loop or block.  */
1085 DEFHOOK
1086 (finish_cost,
1087  "This hook should complete calculations of the cost of vectorizing a loop "
1088  "or basic block based on @var{data}, and return the prologue, body, and "
1089  "epilogue costs as unsigned integers.  The default returns the value of "
1090  "the three accumulators.",
1091  void,
1092  (void *data, unsigned *prologue_cost, unsigned *body_cost,
1093   unsigned *epilogue_cost),
1094  default_finish_cost)
1095
1096 /* Function to delete target-specific cost modeling data.  */
1097 DEFHOOK
1098 (destroy_cost_data,
1099  "This hook should release @var{data} and any related data structures "
1100  "allocated by TARGET_VECTORIZE_INIT_COST.  The default releases the "
1101  "accumulator.",
1102  void,
1103  (void *data),
1104  default_destroy_cost_data)
1105
1106 HOOK_VECTOR_END (vectorize)
1107
1108 #undef HOOK_PREFIX
1109 #define HOOK_PREFIX "TARGET_"
1110
1111 /* Allow target specific overriding of option settings after options have
1112   been changed by an attribute or pragma or when it is reset at the
1113   end of the code affected by an attribute or pragma.  */
1114 DEFHOOK
1115 (override_options_after_change,
1116  "",
1117  void, (void),
1118  hook_void_void)
1119
1120 DEFHOOK_UNDOC
1121 (eh_return_filter_mode,
1122  "Return machine mode for filter value.",
1123  enum machine_mode, (void),
1124  default_eh_return_filter_mode)
1125
1126 /* Return machine mode for libgcc expanded cmp instructions.  */
1127 DEFHOOK
1128 (libgcc_cmp_return_mode,
1129  "",
1130  enum machine_mode, (void),
1131  default_libgcc_cmp_return_mode)
1132
1133 /* Return machine mode for libgcc expanded shift instructions.  */
1134 DEFHOOK
1135 (libgcc_shift_count_mode,
1136  "",
1137  enum machine_mode, (void),
1138  default_libgcc_shift_count_mode)
1139
1140 /* Return machine mode to be used for _Unwind_Word type.  */
1141 DEFHOOK
1142 (unwind_word_mode,
1143  "",
1144  enum machine_mode, (void),
1145  default_unwind_word_mode)
1146
1147 /* Given two decls, merge their attributes and return the result.  */
1148 DEFHOOK
1149 (merge_decl_attributes,
1150  "",
1151  tree, (tree olddecl, tree newdecl),
1152  merge_decl_attributes)
1153
1154 /* Given two types, merge their attributes and return the result.  */
1155 DEFHOOK
1156 (merge_type_attributes,
1157  "",
1158  tree, (tree type1, tree type2),
1159  merge_type_attributes)
1160
1161 /* Table of machine attributes and functions to handle them.
1162    Ignored if NULL.  */
1163 DEFHOOKPOD
1164 (attribute_table,
1165  "",
1166  const struct attribute_spec *, NULL)
1167
1168 /* Return true iff attribute NAME expects a plain identifier as its first
1169    argument.  */
1170 DEFHOOK
1171 (attribute_takes_identifier_p,
1172  "",
1173  bool, (const_tree name),
1174  hook_bool_const_tree_false)
1175
1176 /* Return zero if the attributes on TYPE1 and TYPE2 are incompatible,
1177    one if they are compatible and two if they are nearly compatible
1178    (which causes a warning to be generated).  */
1179 DEFHOOK
1180 (comp_type_attributes,
1181  "",
1182  int, (const_tree type1, const_tree type2),
1183  hook_int_const_tree_const_tree_1)
1184
1185 /* Assign default attributes to the newly defined TYPE.  */
1186 DEFHOOK
1187 (set_default_type_attributes,
1188  "",
1189  void, (tree type),
1190  hook_void_tree)
1191
1192 /* Insert attributes on the newly created DECL.  */
1193 DEFHOOK
1194 (insert_attributes,
1195  "",
1196  void, (tree node, tree *attr_ptr),
1197  hook_void_tree_treeptr)
1198
1199 /* Return true if FNDECL (which has at least one machine attribute)
1200    can be inlined despite its machine attributes, false otherwise.  */
1201 DEFHOOK
1202 (function_attribute_inlinable_p,
1203  "",
1204  bool, (const_tree fndecl),
1205  hook_bool_const_tree_false)
1206
1207 /* Return true if bitfields in RECORD_TYPE should follow the
1208    Microsoft Visual C++ bitfield layout rules.  */
1209 DEFHOOK
1210 (ms_bitfield_layout_p,
1211  "",
1212  bool, (const_tree record_type),
1213  hook_bool_const_tree_false)
1214
1215 /* For now this is only an interface to WORDS_BIG_ENDIAN for
1216    target-independent code like the front ends, need performance testing
1217    before switching completely to the target hook.  */
1218 DEFHOOK_UNDOC
1219 (words_big_endian,
1220  "",
1221  bool, (void),
1222  targhook_words_big_endian)
1223
1224 /* Likewise for FLOAT_WORDS_BIG_ENDIAN.  */
1225 DEFHOOK_UNDOC
1226 (float_words_big_endian,
1227  "",
1228  bool, (void),
1229  targhook_float_words_big_endian)
1230
1231 /* True if the target supports decimal floating point.  */
1232 DEFHOOK
1233 (decimal_float_supported_p,
1234  "",
1235  bool, (void),
1236  default_decimal_float_supported_p)
1237
1238 /* True if the target supports fixed-point.  */
1239 DEFHOOK
1240 (fixed_point_supported_p,
1241  "",
1242  bool, (void),
1243  default_fixed_point_supported_p)
1244
1245 /* Return true if anonymous bitfields affect structure alignment.  */
1246 DEFHOOK
1247 (align_anon_bitfield,
1248  "",
1249  bool, (void),
1250  hook_bool_void_false)
1251
1252 /* Return true if volatile bitfields should use the narrowest type possible.
1253    Return false if they should use the container type.  */
1254 DEFHOOK
1255 (narrow_volatile_bitfield,
1256  "",
1257  bool, (void),
1258  hook_bool_void_false)
1259
1260 /* Set up target-specific built-in functions.  */
1261 DEFHOOK
1262 (init_builtins,
1263  "",
1264  void, (void),
1265  hook_void_void)
1266
1267 /* Initialize (if INITIALIZE_P is true) and return the target-specific
1268    built-in function decl for CODE.
1269    Return NULL if that is not possible.  Return error_mark_node if CODE
1270    is outside of the range of valid target builtin function codes.  */
1271 DEFHOOK
1272 (builtin_decl,
1273  "",
1274  tree, (unsigned code, bool initialize_p), NULL)
1275
1276 /* Expand a target-specific builtin.  */
1277 DEFHOOK
1278 (expand_builtin,
1279  "",
1280  rtx,
1281  (tree exp, rtx target, rtx subtarget, enum machine_mode mode, int ignore),
1282  default_expand_builtin)
1283
1284 /* Select a replacement for a target-specific builtin.  This is done
1285    *before* regular type checking, and so allows the target to
1286    implement a crude form of function overloading.  The result is a
1287    complete expression that implements the operation.  PARAMS really
1288    has type VEC(tree,gc)*, but we don't want to include tree.h here.  */
1289 DEFHOOK
1290 (resolve_overloaded_builtin,
1291  "",
1292  tree, (unsigned int /*location_t*/ loc, tree fndecl, void *arglist), NULL)
1293
1294 /* Fold a target-specific builtin.  */
1295 DEFHOOK
1296 (fold_builtin,
1297  "",
1298  tree, (tree fndecl, int n_args, tree *argp, bool ignore),
1299  hook_tree_tree_int_treep_bool_null)
1300
1301 /* Returns a code for a target-specific builtin that implements
1302    reciprocal of the function, or NULL_TREE if not available.  */
1303 DEFHOOK
1304 (builtin_reciprocal,
1305  "",
1306  tree, (unsigned fn, bool md_fn, bool sqrt),
1307  default_builtin_reciprocal)
1308
1309 /* For a vendor-specific TYPE, return a pointer to a statically-allocated
1310    string containing the C++ mangling for TYPE.  In all other cases, return
1311    NULL.  */
1312 DEFHOOK
1313 (mangle_type,
1314  "",
1315  const char *, (const_tree type),
1316  hook_constcharptr_const_tree_null)
1317
1318 /* Make any adjustments to libfunc names needed for this target.  */
1319 DEFHOOK
1320 (init_libfuncs,
1321  "",
1322  void, (void),
1323  hook_void_void)
1324
1325  /* Add a __gnu_ prefix to library functions rather than just __.  */
1326 DEFHOOKPOD
1327 (libfunc_gnu_prefix,
1328  "If false (the default), internal library routines start with two\n\
1329 underscores.  If set to true, these routines start with @code{__gnu_}\n\
1330 instead.  E.g., @code{__muldi3} changes to @code{__gnu_muldi3}.  This\n\
1331 currently only affects functions defined in @file{libgcc2.c}.  If this\n\
1332 is set to true, the @file{tm.h} file must also\n\
1333 @code{#define LIBGCC2_GNU_PREFIX}.",
1334   bool, false)
1335
1336 /* Given a decl, a section name, and whether the decl initializer
1337    has relocs, choose attributes for the section.  */
1338 /* ??? Should be merged with SELECT_SECTION and UNIQUE_SECTION.  */
1339 DEFHOOK
1340 (section_type_flags,
1341  "",
1342  unsigned int, (tree decl, const char *name, int reloc),
1343  default_section_type_flags)
1344
1345 /* True if new jumps cannot be created, to replace existing ones or
1346    not, at the current point in the compilation.  */
1347 DEFHOOK
1348 (cannot_modify_jumps_p,
1349  "",
1350  bool, (void),
1351  hook_bool_void_false)
1352
1353 /* Return a register class for which branch target register
1354    optimizations should be applied.  */
1355 DEFHOOK
1356 (branch_target_register_class,
1357  "",
1358  reg_class_t, (void),
1359  default_branch_target_register_class)
1360
1361 /* Return true if branch target register optimizations should include
1362    callee-saved registers that are not already live during the current
1363    function.  AFTER_PE_GEN is true if prologues and epilogues have
1364    already been generated.  */
1365 DEFHOOK
1366 (branch_target_register_callee_saved,
1367  "",
1368  bool, (bool after_prologue_epilogue_gen),
1369  hook_bool_bool_false)
1370
1371 /* Return true if the target supports conditional execution.  */
1372 DEFHOOK
1373 (have_conditional_execution,
1374  "",
1375  bool, (void),
1376  default_have_conditional_execution)
1377
1378 /* Return a new value for loop unroll size.  */
1379 DEFHOOK
1380 (loop_unroll_adjust,
1381  "",
1382  unsigned, (unsigned nunroll, struct loop *loop),
1383  NULL)
1384
1385 /* True if X is a legitimate MODE-mode immediate operand.  */
1386 DEFHOOK
1387 (legitimate_constant_p,
1388  "",
1389  bool, (enum machine_mode mode, rtx x),
1390  hook_bool_mode_rtx_true)
1391
1392 /* True if the constant X cannot be placed in the constant pool.  */
1393 DEFHOOK
1394 (cannot_force_const_mem,
1395  "",
1396  bool, (enum machine_mode mode, rtx x),
1397  hook_bool_mode_rtx_false)
1398
1399 DEFHOOK_UNDOC
1400 (cannot_copy_insn_p,
1401  "True if the insn @var{x} cannot be duplicated.",
1402  bool, (rtx), NULL)
1403
1404 /* True if X is considered to be commutative.  */
1405 DEFHOOK
1406 (commutative_p,
1407  "",
1408  bool, (const_rtx x, int outer_code),
1409  hook_bool_const_rtx_commutative_p)
1410
1411 /* True if ADDR is an address-expression whose effect depends
1412    on the mode of the memory reference it is used in.  */
1413 DEFHOOK
1414 (mode_dependent_address_p,
1415  "",
1416  bool, (const_rtx addr),
1417  default_mode_dependent_address_p)
1418
1419 /* Given an invalid address X for a given machine mode, try machine-specific
1420    ways to make it legitimate.  Return X or an invalid address on failure.  */
1421 DEFHOOK
1422 (legitimize_address,
1423  "",
1424  rtx, (rtx x, rtx oldx, enum machine_mode mode),
1425  default_legitimize_address)
1426
1427 /* Given an address RTX, undo the effects of LEGITIMIZE_ADDRESS.  */
1428 DEFHOOK
1429 (delegitimize_address,
1430  "",
1431  rtx, (rtx x),
1432  delegitimize_mem_from_attrs)
1433
1434 /* Given an RTX, return true if it is not ok to emit it into debug info
1435    section.  */
1436 DEFHOOK
1437 (const_not_ok_for_debug_p,
1438  "",
1439  bool, (rtx x),
1440  hook_bool_rtx_false)
1441
1442 /* Given an address RTX, say whether it is valid.  */
1443 DEFHOOK
1444 (legitimate_address_p,
1445  "",
1446  bool, (enum machine_mode mode, rtx x, bool strict),
1447  default_legitimate_address_p)
1448
1449 /* True if the given constant can be put into an object_block.  */
1450 DEFHOOK
1451 (use_blocks_for_constant_p,
1452  "",
1453  bool, (enum machine_mode mode, const_rtx x),
1454  hook_bool_mode_const_rtx_false)
1455
1456 /* The minimum and maximum byte offsets for anchored addresses.  */
1457 DEFHOOKPOD
1458 (min_anchor_offset,
1459  "",
1460  HOST_WIDE_INT, 0)
1461
1462 DEFHOOKPOD
1463 (max_anchor_offset,
1464  "",
1465  HOST_WIDE_INT, 0)
1466
1467 /* True if section anchors can be used to access the given symbol.  */
1468 DEFHOOK
1469 (use_anchors_for_symbol_p,
1470  "",
1471  bool, (const_rtx x),
1472  default_use_anchors_for_symbol_p)
1473
1474 /* True if it is OK to do sibling call optimization for the specified
1475    call expression EXP.  DECL will be the called function, or NULL if
1476    this is an indirect call.  */
1477 DEFHOOK
1478 (function_ok_for_sibcall,
1479  "",
1480  bool, (tree decl, tree exp),
1481  hook_bool_tree_tree_false)
1482
1483 /* Establish appropriate back-end context for processing the function
1484    FNDECL.  The argument might be NULL to indicate processing at top
1485    level, outside of any function scope.  */
1486 DEFHOOK
1487 (set_current_function,
1488  "",
1489  void, (tree decl), hook_void_tree)
1490
1491 /* True if EXP should be placed in a "small data" section.  */
1492 DEFHOOK
1493 (in_small_data_p,
1494  "",
1495  bool, (const_tree exp),
1496  hook_bool_const_tree_false)
1497
1498 /* True if EXP names an object for which name resolution must resolve
1499    to the current executable or shared library.  */
1500 DEFHOOK
1501 (binds_local_p,
1502  "",
1503  bool, (const_tree exp),
1504  default_binds_local_p)
1505
1506 /* Check if profiling code is before or after prologue.  */
1507 DEFHOOK
1508 (profile_before_prologue,
1509  "It returns true if target wants profile code emitted before prologue.\n\n\
1510 The default version of this hook use the target macro\n\
1511 @code{PROFILE_BEFORE_PROLOGUE}.",
1512  bool, (void),
1513  default_profile_before_prologue)
1514
1515 /* Modify and return the identifier of a DECL's external name,
1516    originally identified by ID, as required by the target,
1517    (eg, append @nn to windows32 stdcall function names).
1518    The default is to return ID without modification. */
1519 DEFHOOK
1520 (mangle_decl_assembler_name,
1521  "",
1522  tree, (tree decl, tree  id),
1523  default_mangle_decl_assembler_name)
1524
1525 /* Do something target-specific to record properties of the DECL into
1526    the associated SYMBOL_REF.  */
1527 DEFHOOK
1528 (encode_section_info,
1529  "",
1530  void, (tree decl, rtx rtl, int new_decl_p),
1531  default_encode_section_info)
1532
1533 /* Undo the effects of encode_section_info on the symbol string.  */
1534 DEFHOOK
1535 (strip_name_encoding,
1536  "",
1537  const char *, (const char *name),
1538  default_strip_name_encoding)
1539
1540 /* If shift optabs for MODE are known to always truncate the shift count,
1541    return the mask that they apply.  Return 0 otherwise.  */
1542 DEFHOOK
1543 (shift_truncation_mask,
1544  "",
1545  unsigned HOST_WIDE_INT, (enum machine_mode mode),
1546  default_shift_truncation_mask)
1547
1548 /* Return the number of divisions in the given MODE that should be present,
1549    so that it is profitable to turn the division into a multiplication by
1550    the reciprocal.  */
1551 DEFHOOK
1552 (min_divisions_for_recip_mul,
1553  "",
1554  unsigned int, (enum machine_mode mode),
1555  default_min_divisions_for_recip_mul)
1556
1557 /* If the representation of integral MODE is such that values are
1558    always sign-extended to a wider mode MODE_REP then return
1559    SIGN_EXTEND.  Return UNKNOWN otherwise.  */
1560 /* Note that the return type ought to be RTX_CODE, but that's not
1561    necessarily defined at this point.  */
1562 DEFHOOK
1563 (mode_rep_extended,
1564  "",
1565  int, (enum machine_mode mode, enum machine_mode rep_mode),
1566  default_mode_rep_extended)
1567
1568 /* True if MODE is valid for a pointer in __attribute__((mode("MODE"))).  */
1569 DEFHOOK
1570 (valid_pointer_mode,
1571  "",
1572  bool, (enum machine_mode mode),
1573  default_valid_pointer_mode)
1574
1575 /* Disambiguate with errno.  */
1576 DEFHOOK
1577 (ref_may_alias_errno,
1578  "Define this to return nonzero if the memory reference @var{ref}\
1579   may alias with the system C library errno location.  The default\
1580   version of this hook assumes the system C library errno location\
1581   is either a declaration of type int or accessed by dereferencing\
1582   a pointer to int.",
1583  bool, (struct ao_ref_s *ref),
1584  default_ref_may_alias_errno)
1585
1586 /* Support for named address spaces.  */
1587 #undef HOOK_PREFIX
1588 #define HOOK_PREFIX "TARGET_ADDR_SPACE_"
1589 HOOK_VECTOR (TARGET_ADDR_SPACE_HOOKS, addr_space)
1590
1591 /* MODE to use for a pointer into another address space.  */
1592 DEFHOOK
1593 (pointer_mode,
1594  "",
1595  enum machine_mode, (addr_space_t address_space),
1596  default_addr_space_pointer_mode)
1597
1598 /* MODE to use for an address in another address space.  */
1599 DEFHOOK
1600 (address_mode,
1601  "",
1602  enum machine_mode, (addr_space_t address_space),
1603  default_addr_space_address_mode)
1604
1605 /* True if MODE is valid for a pointer in __attribute__((mode("MODE")))
1606    in another address space.  */
1607 DEFHOOK
1608 (valid_pointer_mode,
1609  "",
1610  bool, (enum machine_mode mode, addr_space_t as),
1611  default_addr_space_valid_pointer_mode)
1612
1613 /* True if an address is a valid memory address to a given named address
1614    space for a given mode.  */
1615 DEFHOOK
1616 (legitimate_address_p,
1617  "",
1618  bool, (enum machine_mode mode, rtx exp, bool strict, addr_space_t as),
1619  default_addr_space_legitimate_address_p)
1620
1621 /* Return an updated address to convert an invalid pointer to a named
1622    address space to a valid one.  If NULL_RTX is returned use machine
1623    independent methods to make the address valid.  */
1624 DEFHOOK
1625 (legitimize_address,
1626  "",
1627  rtx, (rtx x, rtx oldx, enum machine_mode mode, addr_space_t as),
1628  default_addr_space_legitimize_address)
1629
1630 /* True if one named address space is a subset of another named address. */
1631 DEFHOOK
1632 (subset_p,
1633  "",
1634  bool, (addr_space_t subset, addr_space_t superset),
1635  default_addr_space_subset_p)
1636
1637 /* Function to convert an rtl expression from one address space to another.  */
1638 DEFHOOK
1639 (convert,
1640  "",
1641  rtx, (rtx op, tree from_type, tree to_type),
1642  default_addr_space_convert)
1643
1644 HOOK_VECTOR_END (addr_space)
1645
1646 #undef HOOK_PREFIX
1647 #define HOOK_PREFIX "TARGET_"
1648
1649 /* True if MODE is valid for the target.  By "valid", we mean able to
1650    be manipulated in non-trivial ways.  In particular, this means all
1651    the arithmetic is supported.  */
1652 DEFHOOK
1653 (scalar_mode_supported_p,
1654  "",
1655  bool, (enum machine_mode mode),
1656  default_scalar_mode_supported_p)
1657
1658 /* Similarly for vector modes.  "Supported" here is less strict.  At
1659    least some operations are supported; need to check optabs or builtins
1660    for further details.  */
1661 DEFHOOK
1662 (vector_mode_supported_p,
1663  "",
1664  bool, (enum machine_mode mode),
1665  hook_bool_mode_false)
1666
1667 DEFHOOK
1668 (vector_alignment,
1669  "This hook can be used to define the alignment for a vector of type\n\
1670 @var{type}, in order to comply with a platform ABI.  The default is to\n\
1671 require natural alignment for vector types.  The alignment returned by\n\
1672 this hook must be a power-of-two multiple of the default alignment of\n\
1673 the vector element type.",
1674  HOST_WIDE_INT, (const_tree type),
1675  default_vector_alignment)
1676
1677 /* True if we should try to use a scalar mode to represent an array,
1678    overriding the usual MAX_FIXED_MODE limit.  */
1679 DEFHOOK
1680 (array_mode_supported_p,
1681  "Return true if GCC should try to use a scalar mode to store an array\n\
1682 of @var{nelems} elements, given that each element has mode @var{mode}.\n\
1683 Returning true here overrides the usual @code{MAX_FIXED_MODE} limit\n\
1684 and allows GCC to use any defined integer mode.\n\
1685 \n\
1686 One use of this hook is to support vector load and store operations\n\
1687 that operate on several homogeneous vectors.  For example, ARM NEON\n\
1688 has operations like:\n\
1689 \n\
1690 @smallexample\n\
1691 int8x8x3_t vld3_s8 (const int8_t *)\n\
1692 @end smallexample\n\
1693 \n\
1694 where the return type is defined as:\n\
1695 \n\
1696 @smallexample\n\
1697 typedef struct int8x8x3_t\n\
1698 @{\n\
1699   int8x8_t val[3];\n\
1700 @} int8x8x3_t;\n\
1701 @end smallexample\n\
1702 \n\
1703 If this hook allows @code{val} to have a scalar mode, then\n\
1704 @code{int8x8x3_t} can have the same mode.  GCC can then store\n\
1705 @code{int8x8x3_t}s in registers rather than forcing them onto the stack.",
1706  bool, (enum machine_mode mode, unsigned HOST_WIDE_INT nelems),
1707  hook_bool_mode_uhwi_false)
1708
1709 /* Compute cost of moving data from a register of class FROM to one of
1710    TO, using MODE.  */
1711 DEFHOOK
1712 (register_move_cost,
1713  "",
1714  int, (enum machine_mode mode, reg_class_t from, reg_class_t to),
1715  default_register_move_cost)
1716
1717 /* Compute cost of moving registers to/from memory.  */
1718 /* ??? Documenting the argument types for this hook requires a GFDL
1719    license grant.  Also, the documentation uses a different name for RCLASS.  */
1720 DEFHOOK
1721 (memory_move_cost,
1722  "",
1723  int, (enum machine_mode mode, reg_class_t rclass, bool in),
1724  default_memory_move_cost)
1725
1726 /* True for MODE if the target expects that registers in this mode will
1727    be allocated to registers in a small register class.  The compiler is
1728    allowed to use registers explicitly used in the rtl as spill registers
1729    but it should prevent extending the lifetime of these registers.  */
1730 DEFHOOK
1731 (small_register_classes_for_mode_p,
1732  "",
1733  bool, (enum machine_mode mode),
1734  hook_bool_mode_false)
1735
1736 /* Register number for a flags register.  Only needs to be defined if the
1737    target is constrainted to use post-reload comparison elimination.  */
1738 DEFHOOKPOD
1739 (flags_regnum,
1740  "If the target has a dedicated flags register, and it needs to use the\
1741  post-reload comparison elimination pass, then this value should be set\
1742  appropriately.",
1743  unsigned int, INVALID_REGNUM)
1744
1745 /* Compute a (partial) cost for rtx X.  Return true if the complete
1746    cost has been computed, and false if subexpressions should be
1747    scanned.  In either case, *TOTAL contains the cost result.  */
1748 /* Note that CODE and OUTER_CODE ought to be RTX_CODE, but that's
1749    not necessarily defined at this point.  */
1750 DEFHOOK
1751 (rtx_costs,
1752  "",
1753  bool, (rtx x, int code, int outer_code, int opno, int *total, bool speed),
1754  hook_bool_rtx_int_int_int_intp_bool_false)
1755
1756 /* Compute the cost of X, used as an address.  Never called with
1757    invalid addresses.  */
1758 DEFHOOK
1759 (address_cost,
1760  "",
1761  int, (rtx address, bool speed),
1762  default_address_cost)
1763
1764 /* Return where to allocate pseudo for a given hard register initial value.  */
1765 DEFHOOK
1766 (allocate_initial_value,
1767  "",
1768  rtx, (rtx hard_reg), NULL)
1769
1770 /* Return nonzero if evaluating UNSPEC[_VOLATILE] X might cause a trap.
1771    FLAGS has the same meaning as in rtlanal.c: may_trap_p_1.  */
1772 DEFHOOK
1773 (unspec_may_trap_p,
1774  "",
1775  int, (const_rtx x, unsigned flags),
1776  default_unspec_may_trap_p)
1777
1778 /* Given a register, this hook should return a parallel of registers
1779    to represent where to find the register pieces.  Define this hook
1780    if the register and its mode are represented in Dwarf in
1781    non-contiguous locations, or if the register should be
1782    represented in more than one register in Dwarf.  Otherwise, this
1783    hook should return NULL_RTX.  */
1784 DEFHOOK
1785 (dwarf_register_span,
1786  "",
1787  rtx, (rtx reg),
1788  hook_rtx_rtx_null)
1789
1790 /* If expand_builtin_init_dwarf_reg_sizes needs to fill in table
1791    entries not corresponding directly to registers below
1792    FIRST_PSEUDO_REGISTER, this hook should generate the necessary
1793    code, given the address of the table.  */
1794 DEFHOOK
1795 (init_dwarf_reg_sizes_extra,
1796  "",
1797  void, (tree address),
1798  hook_void_tree)
1799
1800 /* Fetch the fixed register(s) which hold condition codes, for
1801    targets where it makes sense to look for duplicate assignments to
1802    the condition codes.  This should return true if there is such a
1803    register, false otherwise.  The arguments should be set to the
1804    fixed register numbers.  Up to two condition code registers are
1805    supported.  If there is only one for this target, the int pointed
1806    at by the second argument should be set to -1.  */
1807 DEFHOOK
1808 (fixed_condition_code_regs,
1809  "",
1810  bool, (unsigned int *p1, unsigned int *p2),
1811  hook_bool_uintp_uintp_false)
1812
1813 /* If two condition code modes are compatible, return a condition
1814      code mode which is compatible with both, such that a comparison
1815      done in the returned mode will work for both of the original
1816      modes.  If the condition code modes are not compatible, return
1817      VOIDmode.  */
1818 DEFHOOK
1819 (cc_modes_compatible,
1820  "",
1821  enum machine_mode, (enum machine_mode m1, enum machine_mode m2),
1822  default_cc_modes_compatible)
1823
1824 /* Do machine-dependent code transformations.  Called just before
1825      delayed-branch scheduling.  */
1826 DEFHOOK
1827 (machine_dependent_reorg,
1828  "",
1829  void, (void), NULL)
1830
1831 /* Create the __builtin_va_list type.  */
1832 DEFHOOK
1833 (build_builtin_va_list,
1834  "",
1835  tree, (void),
1836  std_build_builtin_va_list)
1837
1838 /* Enumerate the va list variants.  */
1839 DEFHOOK
1840 (enum_va_list_p,
1841  "",
1842  int, (int idx, const char **pname, tree *ptree),
1843  NULL)
1844
1845 /* Get the cfun/fndecl calling abi __builtin_va_list type.  */
1846 DEFHOOK
1847 (fn_abi_va_list,
1848  "",
1849  tree, (tree fndecl),
1850  std_fn_abi_va_list)
1851
1852 /* Get the __builtin_va_list type dependent on input type.  */
1853 DEFHOOK
1854 (canonical_va_list_type,
1855  "",
1856  tree, (tree type),
1857  std_canonical_va_list_type)
1858
1859 /* ??? Documenting this hook requires a GFDL license grant.  */
1860 DEFHOOK_UNDOC
1861 (expand_builtin_va_start,
1862 "Expand the @code{__builtin_va_start} builtin.",
1863  void, (tree valist, rtx nextarg), NULL)
1864
1865 /* Gimplifies a VA_ARG_EXPR.  */
1866 DEFHOOK
1867 (gimplify_va_arg_expr,
1868  "",
1869  tree, (tree valist, tree type, gimple_seq *pre_p, gimple_seq *post_p),
1870  std_gimplify_va_arg_expr)
1871
1872 /* Validity-checking routines for PCH files, target-specific.
1873    get_pch_validity returns a pointer to the data to be stored,
1874    and stores the size in its argument.  pch_valid_p gets the same
1875    information back and returns NULL if the PCH is valid,
1876    or an error message if not.  */
1877 DEFHOOK
1878 (get_pch_validity,
1879  "",
1880  void *, (size_t *sz),
1881  default_get_pch_validity)
1882
1883 DEFHOOK
1884 (pch_valid_p,
1885  "",
1886  const char *, (const void *data, size_t sz),
1887  default_pch_valid_p)
1888
1889 DEFHOOK
1890 (prepare_pch_save,
1891  "Called before writing out a PCH file.  If the target has some\n\
1892 garbage-collected data that needs to be in a particular state on PCH loads,\n\
1893 it can use this hook to enforce that state.  Very few targets need\n\
1894 to do anything here.",
1895  void, (void),
1896  hook_void_void)
1897
1898 /* If nonnull, this function checks whether a PCH file with the
1899    given set of target flags can be used.  It returns NULL if so,
1900    otherwise it returns an error message.  */
1901 DEFHOOK
1902 (check_pch_target_flags,
1903  "",
1904  const char *, (int pch_flags), NULL)
1905
1906 /* True if the compiler should give an enum type only as many
1907    bytes as it takes to represent the range of possible values of
1908    that type.  */
1909 DEFHOOK
1910 (default_short_enums,
1911  "",
1912  bool, (void),
1913  hook_bool_void_false)
1914
1915 /* This target hook returns an rtx that is used to store the address
1916    of the current frame into the built-in setjmp buffer.  */
1917 DEFHOOK
1918 (builtin_setjmp_frame_value,
1919  "",
1920  rtx, (void),
1921  default_builtin_setjmp_frame_value)
1922
1923 /* This target hook should add STRING_CST trees for any hard regs
1924    the port wishes to automatically clobber for an asm.  */
1925 DEFHOOK
1926 (md_asm_clobbers,
1927  "",
1928  tree, (tree outputs, tree inputs, tree clobbers),
1929  hook_tree_tree_tree_tree_3rd_identity)
1930
1931 /* This target hook allows the backend to specify a calling convention
1932    in the debug information.  This function actually returns an
1933    enum dwarf_calling_convention, but because of forward declarations
1934    and not wanting to include dwarf2.h everywhere target.h is included
1935    the function is being declared as an int.  */
1936 DEFHOOK
1937 (dwarf_calling_convention,
1938  "",
1939  int, (const_tree function),
1940  hook_int_const_tree_0)
1941
1942 /* This target hook allows the backend to emit frame-related insns that
1943    contain UNSPECs or UNSPEC_VOLATILEs.  The call frame debugging info
1944    engine will invoke it on insns of the form
1945      (set (reg) (unspec [...] UNSPEC_INDEX))
1946    and
1947      (set (reg) (unspec_volatile [...] UNSPECV_INDEX))
1948    to let the backend emit the call frame instructions.  */
1949 DEFHOOK
1950 (dwarf_handle_frame_unspec,
1951  "",
1952  void, (const char *label, rtx pattern, int index), NULL)
1953
1954 /* ??? Documenting this hook requires a GFDL license grant.  */
1955 DEFHOOK_UNDOC
1956 (stdarg_optimize_hook,
1957 "Perform architecture specific checking of statements gimplified\
1958  from @code{VA_ARG_EXPR}.  @var{stmt} is the statement.  Returns true if\
1959  the statement doesn't need to be checked for @code{va_list} references.",
1960  bool, (struct stdarg_info *ai, const_gimple stmt), NULL)
1961
1962 /* This target hook allows the operating system to override the DECL
1963    that represents the external variable that contains the stack
1964    protection guard variable.  The type of this DECL is ptr_type_node.  */
1965 DEFHOOK
1966 (stack_protect_guard,
1967  "",
1968  tree, (void),
1969  default_stack_protect_guard)
1970
1971 /* This target hook allows the operating system to override the CALL_EXPR
1972    that is invoked when a check vs the guard variable fails.  */
1973 DEFHOOK
1974 (stack_protect_fail,
1975  "",
1976  tree, (void),
1977  default_external_stack_protect_fail)
1978
1979 /* Returns NULL if target supports the insn within a doloop block,
1980    otherwise it returns an error message.  */
1981 DEFHOOK
1982 (invalid_within_doloop,
1983  "",
1984  const char *, (const_rtx insn),
1985  default_invalid_within_doloop)
1986
1987 DEFHOOK
1988 (valid_dllimport_attribute_p,
1989 "@var{decl} is a variable or function with @code{__attribute__((dllimport))}\
1990  specified.  Use this hook if the target needs to add extra validation\
1991  checks to @code{handle_dll_attribute}.",
1992  bool, (const_tree decl),
1993  hook_bool_const_tree_true)
1994
1995 /* If non-zero, align constant anchors in CSE to a multiple of this
1996    value.  */
1997 DEFHOOKPOD
1998 (const_anchor,
1999  "",
2000  unsigned HOST_WIDE_INT, 0)
2001
2002 /* Defines, which target-dependent bits (upper 16) are used by port  */
2003 DEFHOOK
2004 (memmodel_check,
2005  "",
2006  unsigned HOST_WIDE_INT, (unsigned HOST_WIDE_INT val), NULL)
2007
2008 /* Functions relating to calls - argument passing, returns, etc.  */
2009 /* Members of struct call have no special macro prefix.  */
2010 HOOK_VECTOR (TARGET_CALLS, calls)
2011
2012 DEFHOOK
2013 (promote_function_mode,
2014  "",
2015  enum machine_mode, (const_tree type, enum machine_mode mode, int *punsignedp,
2016                      const_tree funtype, int for_return),
2017  default_promote_function_mode)
2018
2019 DEFHOOK
2020 (promote_prototypes,
2021  "",
2022  bool, (const_tree fntype),
2023  hook_bool_const_tree_false)
2024
2025 DEFHOOK
2026 (struct_value_rtx,
2027  "",
2028  rtx, (tree fndecl, int incoming),
2029  hook_rtx_tree_int_null)
2030 DEFHOOK
2031 (return_in_memory,
2032  "",
2033  bool, (const_tree type, const_tree fntype),
2034  default_return_in_memory)
2035
2036 DEFHOOK
2037 (return_in_msb,
2038  "",
2039  bool, (const_tree type),
2040  hook_bool_const_tree_false)
2041
2042 /* Return true if a parameter must be passed by reference.  TYPE may
2043    be null if this is a libcall.  CA may be null if this query is
2044    from __builtin_va_arg.  */
2045 DEFHOOK
2046 (pass_by_reference,
2047  "",
2048  bool,
2049  (cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
2050  hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
2051
2052 DEFHOOK
2053 (expand_builtin_saveregs,
2054  "",
2055  rtx, (void),
2056  default_expand_builtin_saveregs)
2057
2058 /* Returns pretend_argument_size.  */
2059 DEFHOOK
2060 (setup_incoming_varargs,
2061  "",
2062  void, (cumulative_args_t args_so_far, enum machine_mode mode, tree type,
2063         int *pretend_args_size, int second_time),
2064  default_setup_incoming_varargs)
2065
2066 DEFHOOK
2067 (strict_argument_naming,
2068  "",
2069  bool, (cumulative_args_t ca),
2070  hook_bool_CUMULATIVE_ARGS_false)
2071
2072 /* Returns true if we should use
2073    targetm.calls.setup_incoming_varargs() and/or
2074    targetm.calls.strict_argument_naming().  */
2075 DEFHOOK
2076 (pretend_outgoing_varargs_named,
2077  "",
2078  bool, (cumulative_args_t ca),
2079  default_pretend_outgoing_varargs_named)
2080
2081 /* Given a complex type T, return true if a parameter of type T
2082    should be passed as two scalars.  */
2083 DEFHOOK
2084 (split_complex_arg,
2085  "",
2086  bool, (const_tree type), NULL)
2087
2088 /* Return true if type T, mode MODE, may not be passed in registers,
2089    but must be passed on the stack.  */
2090 /* ??? This predicate should be applied strictly after pass-by-reference.
2091    Need audit to verify that this is the case.  */
2092 DEFHOOK
2093 (must_pass_in_stack,
2094  "",
2095  bool, (enum machine_mode mode, const_tree type),
2096  must_pass_in_stack_var_size_or_pad)
2097
2098 /* Return true if type TYPE, mode MODE, which is passed by reference,
2099    should have the object copy generated by the callee rather than
2100    the caller.  It is never called for TYPE requiring constructors.  */
2101 DEFHOOK
2102 (callee_copies,
2103  "",
2104  bool,
2105  (cumulative_args_t cum, enum machine_mode mode, const_tree type, bool named),
2106  hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false)
2107
2108 /* Return zero for arguments passed entirely on the stack or entirely
2109    in registers.  If passed in both, return the number of bytes passed
2110    in registers; the balance is therefore passed on the stack.  */
2111 DEFHOOK
2112 (arg_partial_bytes,
2113  "",
2114  int, (cumulative_args_t cum, enum machine_mode mode, tree type, bool named),
2115  hook_int_CUMULATIVE_ARGS_mode_tree_bool_0)
2116
2117 /* Update the state in CA to advance past an argument in the
2118    argument list.  The values MODE, TYPE, and NAMED describe that
2119    argument.  */
2120 DEFHOOK
2121 (function_arg_advance,
2122  "",
2123  void,
2124  (cumulative_args_t ca, enum machine_mode mode, const_tree type, bool named),
2125  default_function_arg_advance)
2126
2127 /* Return zero if the argument described by the state of CA should
2128    be placed on a stack, or a hard register in which to store the
2129    argument.  The values MODE, TYPE, and NAMED describe that
2130    argument.  */
2131 DEFHOOK
2132 (function_arg,
2133  "",
2134  rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
2135        bool named),
2136  default_function_arg)
2137
2138 /* Likewise, but for machines with register windows.  Return the
2139    location where the argument will appear to the callee.  */
2140 DEFHOOK
2141 (function_incoming_arg,
2142  "",
2143  rtx, (cumulative_args_t ca, enum machine_mode mode, const_tree type,
2144        bool named),
2145  default_function_incoming_arg)
2146
2147 DEFHOOK
2148 (function_arg_boundary,
2149  "",
2150  unsigned int, (enum machine_mode mode, const_tree type),
2151  default_function_arg_boundary)
2152
2153 DEFHOOK
2154 (function_arg_round_boundary,
2155  "Normally, the size of an argument is rounded up to @code{PARM_BOUNDARY},\n\
2156 which is the default value for this hook.  You can define this hook to\n\
2157 return a different value if an argument size must be rounded to a larger\n\
2158 value.",
2159  unsigned int, (enum machine_mode mode, const_tree type),
2160  default_function_arg_round_boundary)
2161
2162 /* Return the diagnostic message string if function without a prototype
2163    is not allowed for this 'val' argument; NULL otherwise. */
2164 DEFHOOK
2165 (invalid_arg_for_unprototyped_fn,
2166  "",
2167  const char *, (const_tree typelist, const_tree funcdecl, const_tree val),
2168  hook_invalid_arg_for_unprototyped_fn)
2169
2170 /* Return an rtx for the return value location of the function
2171    specified by FN_DECL_OR_TYPE with a return type of RET_TYPE.  */
2172 DEFHOOK
2173 (function_value,
2174  "",
2175  rtx, (const_tree ret_type, const_tree fn_decl_or_type, bool outgoing),
2176  default_function_value)
2177
2178 /* Return the rtx for the result of a libcall of mode MODE,
2179    calling the function FN_NAME.  */
2180 DEFHOOK
2181 (libcall_value,
2182  "",
2183  rtx, (enum machine_mode mode, const_rtx fun),
2184  default_libcall_value)
2185
2186 /* Return true if REGNO is a possible register number for
2187    a function value as seen by the caller.  */
2188 DEFHOOK
2189 (function_value_regno_p,
2190  "",
2191  bool, (const unsigned int regno),
2192  default_function_value_regno_p)
2193
2194 /* ??? Documenting this hook requires a GFDL license grant.  */
2195 DEFHOOK_UNDOC
2196 (internal_arg_pointer,
2197 "Return an rtx for the argument pointer incoming to the\
2198  current function.",
2199  rtx, (void),
2200  default_internal_arg_pointer)
2201
2202 /* Update the current function stack boundary if needed.  */
2203 DEFHOOK
2204 (update_stack_boundary,
2205  "",
2206  void, (void), NULL)
2207
2208 /* Handle stack alignment and return an rtx for Dynamic Realign
2209    Argument Pointer if necessary.  */
2210 DEFHOOK
2211 (get_drap_rtx,
2212  "",
2213  rtx, (void), NULL)
2214
2215 /* Return true if all function parameters should be spilled to the
2216    stack.  */
2217 DEFHOOK
2218 (allocate_stack_slots_for_args,
2219  "",
2220  bool, (void),
2221  hook_bool_void_true)
2222
2223 /* Return an rtx for the static chain for FNDECL.  If INCOMING_P is true,
2224        then it should be for the callee; otherwise for the caller.  */
2225 DEFHOOK
2226 (static_chain,
2227  "",
2228  rtx, (const_tree fndecl, bool incoming_p),
2229  default_static_chain)
2230
2231 /* Fill in the trampoline at MEM with a call to FNDECL and a
2232    static chain value of CHAIN.  */
2233 DEFHOOK
2234 (trampoline_init,
2235  "",
2236  void, (rtx m_tramp, tree fndecl, rtx static_chain),
2237  default_trampoline_init)
2238
2239 /* Adjust the address of the trampoline in a target-specific way.  */
2240 DEFHOOK
2241 (trampoline_adjust_address,
2242  "",
2243  rtx, (rtx addr), NULL)
2244
2245 /* Return the number of bytes of its own arguments that a function
2246    pops on returning, or 0 if the function pops no arguments and the
2247    caller must therefore pop them all after the function returns.  */
2248 /* ??? tm.texi has no types for the parameters.  */
2249 DEFHOOK
2250 (return_pops_args,
2251  "",
2252  int, (tree fundecl, tree funtype, int size),
2253  default_return_pops_args)
2254
2255 /* Return a mode wide enough to copy any function value that might be
2256    returned.  */
2257 DEFHOOK
2258 (get_raw_result_mode,
2259  "This target hook returns the mode to be used when accessing raw return\
2260  registers in @code{__builtin_return}.  Define this macro if the value\
2261  in @var{reg_raw_mode} is not correct.",
2262  enum machine_mode, (int regno),
2263  default_get_reg_raw_mode)
2264
2265 /* Return a mode wide enough to copy any argument value that might be
2266    passed.  */
2267 DEFHOOK
2268 (get_raw_arg_mode,
2269  "This target hook returns the mode to be used when accessing raw argument\
2270  registers in @code{__builtin_apply_args}.  Define this macro if the value\
2271  in @var{reg_raw_mode} is not correct.",
2272  enum machine_mode, (int regno),
2273  default_get_reg_raw_mode)
2274
2275 HOOK_VECTOR_END (calls)
2276
2277 /* Return the diagnostic message string if conversion from FROMTYPE
2278    to TOTYPE is not allowed, NULL otherwise.  */
2279 DEFHOOK
2280 (invalid_conversion,
2281  "",
2282  const char *, (const_tree fromtype, const_tree totype),
2283  hook_constcharptr_const_tree_const_tree_null)
2284
2285 /* Return the diagnostic message string if the unary operation OP is
2286    not permitted on TYPE, NULL otherwise.  */
2287 DEFHOOK
2288 (invalid_unary_op,
2289  "",
2290  const char *, (int op, const_tree type),
2291  hook_constcharptr_int_const_tree_null)
2292
2293 /* Return the diagnostic message string if the binary operation OP
2294    is not permitted on TYPE1 and TYPE2, NULL otherwise.  */
2295 DEFHOOK
2296 (invalid_binary_op,
2297  "",
2298  const char *, (int op, const_tree type1, const_tree type2),
2299  hook_constcharptr_int_const_tree_const_tree_null)
2300
2301 /* Return the diagnostic message string if TYPE is not valid as a
2302    function parameter type, NULL otherwise.  */
2303 DEFHOOK
2304 (invalid_parameter_type,
2305  "",
2306  const char *, (const_tree type),
2307  hook_constcharptr_const_tree_null)
2308
2309 /* Return the diagnostic message string if TYPE is not valid as a
2310    function return type, NULL otherwise.  */
2311 DEFHOOK
2312 (invalid_return_type,
2313  "",
2314  const char *, (const_tree type),
2315  hook_constcharptr_const_tree_null)
2316
2317 /* If values of TYPE are promoted to some other type when used in
2318    expressions (analogous to the integer promotions), return that type,
2319    or NULL_TREE otherwise.  */
2320 DEFHOOK
2321 (promoted_type,
2322  "",
2323  tree, (const_tree type),
2324  hook_tree_const_tree_null)
2325
2326 /* Convert EXPR to TYPE, if target-specific types with special conversion
2327    rules are involved.  Return the converted expression, or NULL to apply
2328    the standard conversion rules.  */
2329 DEFHOOK
2330 (convert_to_type,
2331  "",
2332  tree, (tree type, tree expr),
2333  hook_tree_tree_tree_null)
2334
2335 /* True if a structure, union or array with MODE containing FIELD should
2336    be accessed using BLKmode.  */
2337 DEFHOOK
2338 (member_type_forces_blk,
2339  "",
2340  bool, (const_tree field, enum machine_mode mode),
2341  default_member_type_forces_blk)
2342
2343 /* Return the class for a secondary reload, and fill in extra information.  */
2344 DEFHOOK
2345 (secondary_reload,
2346  "",
2347  reg_class_t,
2348  (bool in_p, rtx x, reg_class_t reload_class, enum machine_mode reload_mode,
2349   secondary_reload_info *sri),
2350  default_secondary_reload)
2351
2352 /* Given an rtx X being reloaded into a reg required to be in class CLASS,
2353    return the class of reg to actually use.  */
2354 DEFHOOK
2355 (preferred_reload_class,
2356  "",
2357  reg_class_t,
2358  (rtx x, reg_class_t rclass),
2359  default_preferred_reload_class)
2360
2361 /* Like TARGET_PREFERRED_RELOAD_CLASS, but for output reloads instead of
2362    input reloads.  */
2363 DEFHOOK
2364 (preferred_output_reload_class,
2365  "",
2366  reg_class_t,
2367  (rtx x, reg_class_t rclass),
2368  default_preferred_output_reload_class)
2369
2370 DEFHOOK
2371 (class_likely_spilled_p,
2372  "",
2373  bool, (reg_class_t rclass),
2374  default_class_likely_spilled_p)
2375
2376 /* Return the maximum number of consecutive registers
2377    needed to represent mode MODE in a register of class RCLASS.  */
2378 DEFHOOK
2379 (class_max_nregs,
2380  "",
2381  unsigned char, (reg_class_t rclass, enum machine_mode mode),
2382  default_class_max_nregs)
2383
2384 DEFHOOK
2385 (preferred_rename_class,
2386  "A target hook that places additional preference on the register\
2387  class to use when it is necessary to rename a register in class\
2388  @var{rclass} to another class, or perhaps @var{NO_REGS}, if no\
2389  preferred register class is found or hook @code{preferred_rename_class}\
2390  is not implemented.\
2391  Sometimes returning a more restrictive class makes better code.  For\
2392  example, on ARM, thumb-2 instructions using @code{LO_REGS} may be\
2393  smaller than instructions using @code{GENERIC_REGS}.  By returning\
2394  @code{LO_REGS} from @code{preferred_rename_class}, code size can\
2395  be reduced.",
2396  reg_class_t, (reg_class_t rclass),
2397  default_preferred_rename_class)
2398
2399 /* This target hook allows the backend to perform additional
2400    processing while initializing for variable expansion.  */
2401 DEFHOOK
2402 (expand_to_rtl_hook,
2403  "",
2404  void, (void),
2405  hook_void_void)
2406
2407 /* This target hook allows the backend to perform additional
2408    instantiations on rtx that are not actually in insns yet,
2409    but will be later.  */
2410 DEFHOOK
2411 (instantiate_decls,
2412  "",
2413  void, (void),
2414  hook_void_void)
2415
2416 /* Return true if is OK to use a hard register REGNO as scratch register
2417    in peephole2.  */
2418 DEFHOOK
2419 (hard_regno_scratch_ok,
2420  "",
2421  bool, (unsigned int regno),
2422  default_hard_regno_scratch_ok)
2423
2424 /* Return the smallest number of different values for which it is best to
2425    use a jump-table instead of a tree of conditional branches.  */
2426 DEFHOOK
2427 (case_values_threshold,
2428  "",
2429  unsigned int, (void),
2430  default_case_values_threshold)
2431
2432 /* Retutn true if a function must have and use a frame pointer.  */
2433 DEFHOOK
2434 (frame_pointer_required,
2435  "",
2436  bool, (void),
2437  hook_bool_void_false)
2438
2439 /* Returns true if the compiler is allowed to try to replace register number
2440    from-reg with register number to-reg.  */
2441 DEFHOOK
2442 (can_eliminate,
2443  "",
2444  bool, (const int from_reg, const int to_reg),
2445  hook_bool_const_int_const_int_true)
2446
2447 /* Modify any or all of fixed_regs, call_used_regs, global_regs,
2448    reg_names, and reg_class_contents to account of the vagaries of the
2449    target.  */
2450 DEFHOOK
2451 (conditional_register_usage,
2452  "",
2453  void, (void),
2454  hook_void_void)
2455
2456 /* Functions specific to the C family of frontends.  */
2457 #undef HOOK_PREFIX
2458 #define HOOK_PREFIX "TARGET_C_"
2459 HOOK_VECTOR (TARGET_C, c)
2460
2461 /* ??? Documenting this hook requires a GFDL license grant.  */
2462 DEFHOOK_UNDOC
2463 (mode_for_suffix,
2464 "Return machine mode for non-standard constant literal suffix @var{c},\
2465  or VOIDmode if non-standard suffixes are unsupported.",
2466  enum machine_mode, (char c),
2467  default_mode_for_suffix)
2468
2469 HOOK_VECTOR_END (c)
2470
2471 /* Functions specific to the C++ frontend.  */
2472 #undef HOOK_PREFIX
2473 #define HOOK_PREFIX "TARGET_CXX_"
2474 HOOK_VECTOR (TARGET_CXX, cxx)
2475
2476 /* Return the integer type used for guard variables.  */
2477 DEFHOOK
2478 (guard_type,
2479  "",
2480  tree, (void),
2481  default_cxx_guard_type)
2482
2483 /* Return true if only the low bit of the guard should be tested.  */
2484 DEFHOOK
2485 (guard_mask_bit,
2486  "",
2487  bool, (void),
2488  hook_bool_void_false)
2489
2490 /* Returns the size of the array cookie for an array of type.  */
2491 DEFHOOK
2492 (get_cookie_size,
2493  "",
2494  tree, (tree type),
2495  default_cxx_get_cookie_size)
2496
2497 /* Returns true if the element size should be stored in the array cookie.  */
2498 DEFHOOK
2499 (cookie_has_size,
2500  "",
2501  bool, (void),
2502  hook_bool_void_false)
2503
2504 /* Allows backends to perform additional processing when
2505    deciding if a class should be exported or imported.  */
2506 DEFHOOK
2507 (import_export_class,
2508  "",
2509  int, (tree type, int import_export), NULL)
2510
2511 /* Returns true if constructors and destructors return "this".  */
2512 DEFHOOK
2513 (cdtor_returns_this,
2514  "",
2515  bool, (void),
2516  hook_bool_void_false)
2517
2518 /* Returns true if the key method for a class can be an inline
2519    function, so long as it is not declared inline in the class
2520    itself.  Returning true is the behavior required by the Itanium C++ ABI.  */
2521 DEFHOOK
2522 (key_method_may_be_inline,
2523  "",
2524  bool, (void),
2525  hook_bool_void_true)
2526
2527 DEFHOOK
2528 (determine_class_data_visibility,
2529 "@var{decl} is a virtual table, virtual table table, typeinfo object,\
2530  or other similar implicit class data object that will be emitted with\
2531  external linkage in this translation unit.  No ELF visibility has been\
2532  explicitly specified.  If the target needs to specify a visibility\
2533  other than that of the containing class, use this hook to set\
2534  @code{DECL_VISIBILITY} and @code{DECL_VISIBILITY_SPECIFIED}.",
2535  void, (tree decl),
2536  hook_void_tree)
2537
2538 /* Returns true (the default) if virtual tables and other
2539    similar implicit class data objects are always COMDAT if they
2540    have external linkage.  If this hook returns false, then
2541    class data for classes whose virtual table will be emitted in
2542    only one translation unit will not be COMDAT.  */
2543 DEFHOOK
2544 (class_data_always_comdat,
2545  "",
2546  bool, (void),
2547  hook_bool_void_true)
2548
2549 /* Returns true (the default) if the RTTI for the basic types,
2550    which is always defined in the C++ runtime, should be COMDAT;
2551    false if it should not be COMDAT.  */
2552 DEFHOOK
2553 (library_rtti_comdat,
2554  "",
2555  bool, (void),
2556  hook_bool_void_true)
2557
2558 /* Returns true if __aeabi_atexit should be used to register static
2559    destructors.  */
2560 DEFHOOK
2561 (use_aeabi_atexit,
2562  "",
2563  bool, (void),
2564  hook_bool_void_false)
2565
2566 /* Returns true if target may use atexit in the same manner as
2567    __cxa_atexit  to register static destructors.  */
2568 DEFHOOK
2569 (use_atexit_for_cxa_atexit,
2570  "",
2571  bool, (void),
2572  hook_bool_void_false)
2573
2574 DEFHOOK
2575 (adjust_class_at_definition,
2576 "@var{type} is a C++ class (i.e., RECORD_TYPE or UNION_TYPE) that has just\
2577  been defined.  Use this hook to make adjustments to the class (eg, tweak\
2578  visibility or perform any other required target modifications).",
2579  void, (tree type),
2580  hook_void_tree)
2581
2582 DEFHOOK
2583 (decl_mangling_context,
2584  "Return target-specific mangling context of @var{decl} or @code{NULL_TREE}.",
2585  tree, (const_tree decl),
2586  hook_tree_const_tree_null)
2587
2588 HOOK_VECTOR_END (cxx)
2589
2590 /* Functions and data for emulated TLS support.  */
2591 #undef HOOK_PREFIX
2592 #define HOOK_PREFIX "TARGET_EMUTLS_"
2593 HOOK_VECTOR (TARGET_EMUTLS, emutls)
2594
2595 /* Name of the address and common functions.  */
2596 DEFHOOKPOD
2597 (get_address,
2598  "",
2599  const char *, "__builtin___emutls_get_address")
2600
2601 DEFHOOKPOD
2602 (register_common,
2603  "",
2604  const char *, "__builtin___emutls_register_common")
2605
2606 /* Prefixes for proxy variable and template.  */
2607 DEFHOOKPOD
2608 (var_section,
2609  "",
2610  const char *, NULL)
2611
2612 DEFHOOKPOD
2613 (tmpl_section,
2614  "",
2615  const char *, NULL)
2616
2617 /* Prefixes for proxy variable and template.  */
2618 DEFHOOKPOD
2619 (var_prefix,
2620  "",
2621  const char *, NULL)
2622
2623 DEFHOOKPOD
2624 (tmpl_prefix,
2625  "",
2626  const char *, NULL)
2627
2628 /* Function to generate field definitions of the proxy variable.  */
2629 DEFHOOK
2630 (var_fields,
2631  "",
2632  tree, (tree type, tree *name),
2633  default_emutls_var_fields)
2634
2635 /* Function to initialize a proxy variable.  */
2636 DEFHOOK
2637 (var_init,
2638  "",
2639  tree, (tree var, tree decl, tree tmpl_addr),
2640  default_emutls_var_init)
2641
2642 /* Whether we are allowed to alter the usual alignment of the
2643    proxy variable.  */
2644 DEFHOOKPOD
2645 (var_align_fixed,
2646  "",
2647  bool, false)
2648
2649 /* Whether we can emit debug information for TLS vars.  */
2650 DEFHOOKPOD
2651 (debug_form_tls_address,
2652  "",
2653  bool, false)
2654
2655 HOOK_VECTOR_END (emutls)
2656
2657 #undef HOOK_PREFIX
2658 #define HOOK_PREFIX "TARGET_OPTION_"
2659 HOOK_VECTOR (TARGET_OPTION_HOOKS, target_option_hooks)
2660
2661 /* Function to validate the attribute((option(...))) strings or NULL.  If
2662    the option is validated, it is assumed that DECL_FUNCTION_SPECIFIC will
2663    be filled in in the function decl node.  */
2664 DEFHOOK
2665 (valid_attribute_p,
2666  "",
2667  bool, (tree fndecl, tree name, tree args, int flags),
2668  default_target_option_valid_attribute_p)
2669
2670 /* Function to save any extra target state in the target options structure.  */
2671 DEFHOOK
2672 (save,
2673  "",
2674  void, (struct cl_target_option *ptr), NULL)
2675
2676 /* Function to restore any extra target state from the target options
2677    structure.  */
2678 DEFHOOK
2679 (restore,
2680  "",
2681  void, (struct cl_target_option *ptr), NULL)
2682
2683 /* Function to print any extra target state from the target options
2684    structure.  */
2685 DEFHOOK
2686 (print,
2687  "",
2688  void, (FILE *file, int indent, struct cl_target_option *ptr), NULL)
2689
2690 /* Function to parse arguments to be validated for #pragma option, and to
2691    change the state if the options are valid.  If the first argument is
2692    NULL, the second argument specifies the default options to use.  Return
2693    true if the options are valid, and set the current state.  */
2694 /* ??? The documentation in tm.texi is incomplete.  */
2695 DEFHOOK
2696 (pragma_parse,
2697  "",
2698  bool, (tree args, tree pop_target),
2699  default_target_option_pragma_parse)
2700
2701 /* Do option overrides for the target.  */
2702 DEFHOOK
2703 (override,
2704  "",
2705  void, (void),
2706  hook_void_void)
2707
2708 /* Function to determine if one function can inline another function.  */
2709 #undef HOOK_PREFIX
2710 #define HOOK_PREFIX "TARGET_"
2711 DEFHOOK
2712 (can_inline_p,
2713  "",
2714  bool, (tree caller, tree callee),
2715  default_target_can_inline_p)
2716
2717 HOOK_VECTOR_END (target_option)
2718
2719 /* For targets that need to mark extra registers as live on entry to
2720    the function, they should define this target hook and set their
2721    bits in the bitmap passed in. */
2722 DEFHOOK
2723 (extra_live_on_entry,
2724  "",
2725  void, (bitmap regs),
2726  hook_void_bitmap)
2727
2728 /* Fill in additional registers set up by prologue into a regset.  */
2729 DEFHOOK
2730 (set_up_by_prologue,
2731  "This hook should add additional registers that are computed by the prologue\
2732  to the hard regset for shrink-wrapping optimization purposes.",
2733  void, (struct hard_reg_set_container *),
2734  NULL)
2735
2736 /* For targets that have attributes that can affect whether a
2737    function's return statements need checking.  For instance a 'naked'
2738    function attribute.  */
2739 DEFHOOK
2740 (warn_func_return,
2741  "True if a function's return statements should be checked for matching the function's return type.  This includes checking for falling off the end of a non-void function.  Return false if no such check should be made.",
2742  bool, (tree),
2743  hook_bool_tree_true)
2744
2745 /* Determine the type of unwind info to emit for debugging.  */
2746 DEFHOOK
2747 (debug_unwind_info,
2748  "",
2749  enum unwind_info_type, (void),
2750  default_debug_unwind_info)
2751
2752 DEFHOOKPOD
2753 (atomic_test_and_set_trueval,
2754  "This value should be set if the result written by\
2755  @code{atomic_test_and_set} is not exactly 1, i.e. the\
2756  @code{bool} @code{true}.",
2757  unsigned char, 1)
2758
2759 /* Leave the boolean fields at the end.  */
2760
2761 /* True if we can create zeroed data by switching to a BSS section
2762    and then using ASM_OUTPUT_SKIP to allocate the space.  */
2763 DEFHOOKPOD
2764 (have_switchable_bss_sections,
2765  "",
2766  bool, false)
2767
2768 /* True if "native" constructors and destructors are supported,
2769    false if we're using collect2 for the job.  */
2770 DEFHOOKPOD
2771 (have_ctors_dtors,
2772  "",
2773  bool, false)
2774
2775 /* True if thread-local storage is supported.  */
2776 DEFHOOKPOD
2777 (have_tls,
2778  "",
2779  bool, false)
2780
2781 /* True if a small readonly data section is supported.  */
2782 DEFHOOKPOD
2783 (have_srodata_section,
2784  "",
2785  bool, false)
2786
2787 /* True if EH frame info sections should be zero-terminated.  */
2788 DEFHOOKPOD
2789 (terminate_dw2_eh_frame_info,
2790  "",
2791  bool, true)
2792
2793 /* True if #NO_APP should be emitted at the beginning of assembly output.  */
2794 DEFHOOKPOD
2795 (asm_file_start_app_off,
2796  "",
2797  bool, false)
2798
2799 /* True if output_file_directive should be called for main_input_filename
2800    at the beginning of assembly output.  */
2801 DEFHOOKPOD
2802 (asm_file_start_file_directive,
2803  "",
2804  bool, false)
2805
2806 /* True if the target is allowed to reorder memory accesses unless
2807    synchronization is explicitly requested.  */
2808 DEFHOOKPOD
2809 (relaxed_ordering,
2810  "",
2811  bool, false)
2812
2813 /* Returns true if we should generate exception tables for use with the
2814    ARM EABI.  The effects the encoding of function exception specifications.  */
2815 DEFHOOKPOD
2816 (arm_eabi_unwinder,
2817  "",
2818  bool, false)
2819
2820 DEFHOOKPOD
2821 (want_debug_pub_sections,
2822  "True if the @code{.debug_pubtypes} and @code{.debug_pubnames} sections\
2823  should be emitted.  These sections are not used on most platforms, and\
2824  in particular GDB does not use them.",
2825  bool, false)
2826
2827 DEFHOOKPOD
2828 (force_at_comp_dir,
2829  "True if the @code{DW_AT_comp_dir} attribute should be emitted for each \
2830  compilation unit.  This attribute is required for the darwin linker \
2831  to emit debug information.",
2832  bool, false)
2833
2834 DEFHOOKPOD
2835 (delay_sched2, "True if sched2 is not to be run at its normal place.  \
2836 This usually means it will be run as part of machine-specific reorg.",
2837 bool, false)
2838
2839 DEFHOOKPOD
2840 (delay_vartrack, "True if vartrack is not to be run at its normal place.  \
2841 This usually means it will be run as part of machine-specific reorg.",
2842 bool, false)
2843
2844 /* Leave the boolean fields at the end.  */
2845
2846 /* Close the 'struct gcc_target' definition.  */
2847 HOOK_VECTOR_END (C90_EMPTY_HACK)