d: Merge upstream dmd d579c467c1, phobos 88aa69b14.
[official-gcc.git] / gcc / targhooks.cc
blobd17d393baedc16574ddecb86e868799a65736660
1 /* Default target hook functions.
2 Copyright (C) 2003-2022 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* The migration of target macros to target hooks works as follows:
22 1. Create a target hook that uses the existing target macros to
23 implement the same functionality.
25 2. Convert all the MI files to use the hook instead of the macro.
27 3. Repeat for a majority of the remaining target macros. This will
28 take some time.
30 4. Tell target maintainers to start migrating.
32 5. Eventually convert the backends to override the hook instead of
33 defining the macros. This will take some time too.
35 6. TBD when, poison the macros. Unmigrated targets will break at
36 this point.
38 Note that we expect steps 1-3 to be done by the people that
39 understand what the MI does with each macro, and step 5 to be done
40 by the target maintainers for their respective targets.
42 Note that steps 1 and 2 don't have to be done together, but no
43 target can override the new hook until step 2 is complete for it.
45 Once the macros are poisoned, we will revert to the old migration
46 rules - migrate the macro, callers, and targets all at once. This
47 comment can thus be removed at that point. */
49 #include "config.h"
50 #include "system.h"
51 #include "coretypes.h"
52 #include "target.h"
53 #include "function.h"
54 #include "rtl.h"
55 #include "tree.h"
56 #include "tree-ssa-alias.h"
57 #include "gimple-expr.h"
58 #include "memmodel.h"
59 #include "backend.h"
60 #include "emit-rtl.h"
61 #include "df.h"
62 #include "tm_p.h"
63 #include "stringpool.h"
64 #include "tree-vrp.h"
65 #include "tree-ssanames.h"
66 #include "profile-count.h"
67 #include "optabs.h"
68 #include "regs.h"
69 #include "recog.h"
70 #include "diagnostic-core.h"
71 #include "fold-const.h"
72 #include "stor-layout.h"
73 #include "varasm.h"
74 #include "flags.h"
75 #include "explow.h"
76 #include "expmed.h"
77 #include "calls.h"
78 #include "expr.h"
79 #include "output.h"
80 #include "common/common-target.h"
81 #include "reload.h"
82 #include "intl.h"
83 #include "opts.h"
84 #include "gimplify.h"
85 #include "predict.h"
86 #include "real.h"
87 #include "langhooks.h"
88 #include "sbitmap.h"
89 #include "function-abi.h"
90 #include "attribs.h"
91 #include "asan.h"
92 #include "emit-rtl.h"
93 #include "gimple.h"
94 #include "cfgloop.h"
95 #include "tree-vectorizer.h"
96 #include "options.h"
98 bool
99 default_legitimate_address_p (machine_mode mode ATTRIBUTE_UNUSED,
100 rtx addr ATTRIBUTE_UNUSED,
101 bool strict ATTRIBUTE_UNUSED)
103 #ifdef GO_IF_LEGITIMATE_ADDRESS
104 /* Defer to the old implementation using a goto. */
105 if (strict)
106 return strict_memory_address_p (mode, addr);
107 else
108 return memory_address_p (mode, addr);
109 #else
110 gcc_unreachable ();
111 #endif
114 void
115 default_external_libcall (rtx fun ATTRIBUTE_UNUSED)
117 #ifdef ASM_OUTPUT_EXTERNAL_LIBCALL
118 ASM_OUTPUT_EXTERNAL_LIBCALL (asm_out_file, fun);
119 #endif
123 default_unspec_may_trap_p (const_rtx x, unsigned flags)
125 int i;
127 /* Any floating arithmetic may trap. */
128 if ((SCALAR_FLOAT_MODE_P (GET_MODE (x)) && flag_trapping_math))
129 return 1;
131 for (i = 0; i < XVECLEN (x, 0); ++i)
133 if (may_trap_p_1 (XVECEXP (x, 0, i), flags))
134 return 1;
137 return 0;
140 machine_mode
141 default_promote_function_mode (const_tree type ATTRIBUTE_UNUSED,
142 machine_mode mode,
143 int *punsignedp ATTRIBUTE_UNUSED,
144 const_tree funtype ATTRIBUTE_UNUSED,
145 int for_return ATTRIBUTE_UNUSED)
147 if (type != NULL_TREE && for_return == 2)
148 return promote_mode (type, mode, punsignedp);
149 return mode;
152 machine_mode
153 default_promote_function_mode_always_promote (const_tree type,
154 machine_mode mode,
155 int *punsignedp,
156 const_tree funtype ATTRIBUTE_UNUSED,
157 int for_return ATTRIBUTE_UNUSED)
159 return promote_mode (type, mode, punsignedp);
162 machine_mode
163 default_cc_modes_compatible (machine_mode m1, machine_mode m2)
165 if (m1 == m2)
166 return m1;
167 return VOIDmode;
170 bool
171 default_return_in_memory (const_tree type,
172 const_tree fntype ATTRIBUTE_UNUSED)
174 return (TYPE_MODE (type) == BLKmode);
178 default_legitimize_address (rtx x, rtx orig_x ATTRIBUTE_UNUSED,
179 machine_mode mode ATTRIBUTE_UNUSED)
181 return x;
184 bool
185 default_legitimize_address_displacement (rtx *, rtx *, poly_int64,
186 machine_mode)
188 return false;
191 bool
192 default_const_not_ok_for_debug_p (rtx x)
194 if (GET_CODE (x) == UNSPEC)
195 return true;
196 return false;
200 default_expand_builtin_saveregs (void)
202 error ("%<__builtin_saveregs%> not supported by this target");
203 return const0_rtx;
206 void
207 default_setup_incoming_varargs (cumulative_args_t,
208 const function_arg_info &, int *, int)
212 /* The default implementation of TARGET_BUILTIN_SETJMP_FRAME_VALUE. */
215 default_builtin_setjmp_frame_value (void)
217 return virtual_stack_vars_rtx;
220 /* Generic hook that takes a CUMULATIVE_ARGS pointer and returns false. */
222 bool
223 hook_bool_CUMULATIVE_ARGS_false (cumulative_args_t ca ATTRIBUTE_UNUSED)
225 return false;
228 bool
229 default_pretend_outgoing_varargs_named (cumulative_args_t ca ATTRIBUTE_UNUSED)
231 return (targetm.calls.setup_incoming_varargs
232 != default_setup_incoming_varargs);
235 scalar_int_mode
236 default_eh_return_filter_mode (void)
238 return targetm.unwind_word_mode ();
241 scalar_int_mode
242 default_libgcc_cmp_return_mode (void)
244 return word_mode;
247 scalar_int_mode
248 default_libgcc_shift_count_mode (void)
250 return word_mode;
253 scalar_int_mode
254 default_unwind_word_mode (void)
256 return word_mode;
259 /* The default implementation of TARGET_SHIFT_TRUNCATION_MASK. */
261 unsigned HOST_WIDE_INT
262 default_shift_truncation_mask (machine_mode mode)
264 return SHIFT_COUNT_TRUNCATED ? GET_MODE_UNIT_BITSIZE (mode) - 1 : 0;
267 /* The default implementation of TARGET_MIN_DIVISIONS_FOR_RECIP_MUL. */
269 unsigned int
270 default_min_divisions_for_recip_mul (machine_mode mode ATTRIBUTE_UNUSED)
272 return have_insn_for (DIV, mode) ? 3 : 2;
275 /* The default implementation of TARGET_MODE_REP_EXTENDED. */
278 default_mode_rep_extended (scalar_int_mode, scalar_int_mode)
280 return UNKNOWN;
283 /* Generic hook that takes a CUMULATIVE_ARGS pointer and returns true. */
285 bool
286 hook_bool_CUMULATIVE_ARGS_true (cumulative_args_t a ATTRIBUTE_UNUSED)
288 return true;
291 /* Return machine mode for non-standard suffix
292 or VOIDmode if non-standard suffixes are unsupported. */
293 machine_mode
294 default_mode_for_suffix (char suffix ATTRIBUTE_UNUSED)
296 return VOIDmode;
299 /* The generic C++ ABI specifies this is a 64-bit value. */
300 tree
301 default_cxx_guard_type (void)
303 return long_long_integer_type_node;
306 /* Returns the size of the cookie to use when allocating an array
307 whose elements have the indicated TYPE. Assumes that it is already
308 known that a cookie is needed. */
310 tree
311 default_cxx_get_cookie_size (tree type)
313 tree cookie_size;
315 /* We need to allocate an additional max (sizeof (size_t), alignof
316 (true_type)) bytes. */
317 tree sizetype_size;
318 tree type_align;
320 sizetype_size = size_in_bytes (sizetype);
321 type_align = size_int (TYPE_ALIGN_UNIT (type));
322 if (tree_int_cst_lt (type_align, sizetype_size))
323 cookie_size = sizetype_size;
324 else
325 cookie_size = type_align;
327 return cookie_size;
330 /* Return true if a parameter must be passed by reference. This version
331 of the TARGET_PASS_BY_REFERENCE hook uses just MUST_PASS_IN_STACK. */
333 bool
334 hook_pass_by_reference_must_pass_in_stack (cumulative_args_t,
335 const function_arg_info &arg)
337 return targetm.calls.must_pass_in_stack (arg);
340 /* Return true if a parameter follows callee copies conventions. This
341 version of the hook is true for all named arguments. */
343 bool
344 hook_callee_copies_named (cumulative_args_t, const function_arg_info &arg)
346 return arg.named;
349 /* Emit to STREAM the assembler syntax for insn operand X. */
351 void
352 default_print_operand (FILE *stream ATTRIBUTE_UNUSED, rtx x ATTRIBUTE_UNUSED,
353 int code ATTRIBUTE_UNUSED)
355 #ifdef PRINT_OPERAND
356 PRINT_OPERAND (stream, x, code);
357 #else
358 gcc_unreachable ();
359 #endif
362 /* Emit to STREAM the assembler syntax for an insn operand whose memory
363 address is X. */
365 void
366 default_print_operand_address (FILE *stream ATTRIBUTE_UNUSED,
367 machine_mode /*mode*/,
368 rtx x ATTRIBUTE_UNUSED)
370 #ifdef PRINT_OPERAND_ADDRESS
371 PRINT_OPERAND_ADDRESS (stream, x);
372 #else
373 gcc_unreachable ();
374 #endif
377 /* Return true if CODE is a valid punctuation character for the
378 `print_operand' hook. */
380 bool
381 default_print_operand_punct_valid_p (unsigned char code ATTRIBUTE_UNUSED)
383 #ifdef PRINT_OPERAND_PUNCT_VALID_P
384 return PRINT_OPERAND_PUNCT_VALID_P (code);
385 #else
386 return false;
387 #endif
390 /* The default implementation of TARGET_MANGLE_ASSEMBLER_NAME. */
391 tree
392 default_mangle_assembler_name (const char *name ATTRIBUTE_UNUSED)
394 const char *skipped = name + (*name == '*' ? 1 : 0);
395 const char *stripped = targetm.strip_name_encoding (skipped);
396 if (*name != '*' && user_label_prefix[0])
397 stripped = ACONCAT ((user_label_prefix, stripped, NULL));
398 return get_identifier (stripped);
401 /* The default implementation of TARGET_TRANSLATE_MODE_ATTRIBUTE. */
403 machine_mode
404 default_translate_mode_attribute (machine_mode mode)
406 return mode;
409 /* True if MODE is valid for the target. By "valid", we mean able to
410 be manipulated in non-trivial ways. In particular, this means all
411 the arithmetic is supported.
413 By default we guess this means that any C type is supported. If
414 we can't map the mode back to a type that would be available in C,
415 then reject it. Special case, here, is the double-word arithmetic
416 supported by optabs.cc. */
418 bool
419 default_scalar_mode_supported_p (scalar_mode mode)
421 int precision = GET_MODE_PRECISION (mode);
423 switch (GET_MODE_CLASS (mode))
425 case MODE_PARTIAL_INT:
426 case MODE_INT:
427 if (precision == CHAR_TYPE_SIZE)
428 return true;
429 if (precision == SHORT_TYPE_SIZE)
430 return true;
431 if (precision == INT_TYPE_SIZE)
432 return true;
433 if (precision == LONG_TYPE_SIZE)
434 return true;
435 if (precision == LONG_LONG_TYPE_SIZE)
436 return true;
437 if (precision == 2 * BITS_PER_WORD)
438 return true;
439 return false;
441 case MODE_FLOAT:
442 if (precision == FLOAT_TYPE_SIZE)
443 return true;
444 if (precision == DOUBLE_TYPE_SIZE)
445 return true;
446 if (precision == LONG_DOUBLE_TYPE_SIZE)
447 return true;
448 return false;
450 case MODE_DECIMAL_FLOAT:
451 case MODE_FRACT:
452 case MODE_UFRACT:
453 case MODE_ACCUM:
454 case MODE_UACCUM:
455 return false;
457 default:
458 gcc_unreachable ();
462 /* Return true if libgcc supports floating-point mode MODE (known to
463 be supported as a scalar mode). */
465 bool
466 default_libgcc_floating_mode_supported_p (scalar_float_mode mode)
468 switch (mode)
470 #ifdef HAVE_SFmode
471 case E_SFmode:
472 #endif
473 #ifdef HAVE_DFmode
474 case E_DFmode:
475 #endif
476 #ifdef HAVE_XFmode
477 case E_XFmode:
478 #endif
479 #ifdef HAVE_TFmode
480 case E_TFmode:
481 #endif
482 return true;
484 default:
485 return false;
489 /* Return the machine mode to use for the type _FloatN, if EXTENDED is
490 false, or _FloatNx, if EXTENDED is true, or VOIDmode if not
491 supported. */
492 opt_scalar_float_mode
493 default_floatn_mode (int n, bool extended)
495 if (extended)
497 opt_scalar_float_mode cand1, cand2;
498 scalar_float_mode mode;
499 switch (n)
501 case 32:
502 #ifdef HAVE_DFmode
503 cand1 = DFmode;
504 #endif
505 break;
507 case 64:
508 #ifdef HAVE_XFmode
509 cand1 = XFmode;
510 #endif
511 #ifdef HAVE_TFmode
512 cand2 = TFmode;
513 #endif
514 break;
516 case 128:
517 break;
519 default:
520 /* Those are the only valid _FloatNx types. */
521 gcc_unreachable ();
523 if (cand1.exists (&mode)
524 && REAL_MODE_FORMAT (mode)->ieee_bits > n
525 && targetm.scalar_mode_supported_p (mode)
526 && targetm.libgcc_floating_mode_supported_p (mode))
527 return cand1;
528 if (cand2.exists (&mode)
529 && REAL_MODE_FORMAT (mode)->ieee_bits > n
530 && targetm.scalar_mode_supported_p (mode)
531 && targetm.libgcc_floating_mode_supported_p (mode))
532 return cand2;
534 else
536 opt_scalar_float_mode cand;
537 scalar_float_mode mode;
538 switch (n)
540 case 16:
541 /* Always enable _Float16 if we have basic support for the mode.
542 Targets can control the range and precision of operations on
543 the _Float16 type using TARGET_C_EXCESS_PRECISION. */
544 #ifdef HAVE_HFmode
545 cand = HFmode;
546 #endif
547 break;
549 case 32:
550 #ifdef HAVE_SFmode
551 cand = SFmode;
552 #endif
553 break;
555 case 64:
556 #ifdef HAVE_DFmode
557 cand = DFmode;
558 #endif
559 break;
561 case 128:
562 #ifdef HAVE_TFmode
563 cand = TFmode;
564 #endif
565 break;
567 default:
568 break;
570 if (cand.exists (&mode)
571 && REAL_MODE_FORMAT (mode)->ieee_bits == n
572 && targetm.scalar_mode_supported_p (mode)
573 && targetm.libgcc_floating_mode_supported_p (mode))
574 return cand;
576 return opt_scalar_float_mode ();
579 /* Define this to return true if the _Floatn and _Floatnx built-in functions
580 should implicitly enable the built-in function without the __builtin_ prefix
581 in addition to the normal built-in function with the __builtin_ prefix. The
582 default is to only enable built-in functions without the __builtin_ prefix
583 for the GNU C langauge. The argument FUNC is the enum builtin_in_function
584 id of the function to be enabled. */
586 bool
587 default_floatn_builtin_p (int func ATTRIBUTE_UNUSED)
589 static bool first_time_p = true;
590 static bool c_or_objective_c;
592 if (first_time_p)
594 first_time_p = false;
595 c_or_objective_c = lang_GNU_C () || lang_GNU_OBJC ();
598 return c_or_objective_c;
601 /* Make some target macros useable by target-independent code. */
602 bool
603 targhook_words_big_endian (void)
605 return !!WORDS_BIG_ENDIAN;
608 bool
609 targhook_float_words_big_endian (void)
611 return !!FLOAT_WORDS_BIG_ENDIAN;
614 /* True if the target supports floating-point exceptions and rounding
615 modes. */
617 bool
618 default_float_exceptions_rounding_supported_p (void)
620 #ifdef HAVE_adddf3
621 return HAVE_adddf3;
622 #else
623 return false;
624 #endif
627 /* True if the target supports decimal floating point. */
629 bool
630 default_decimal_float_supported_p (void)
632 return ENABLE_DECIMAL_FLOAT;
635 /* True if the target supports fixed-point arithmetic. */
637 bool
638 default_fixed_point_supported_p (void)
640 return ENABLE_FIXED_POINT;
643 /* True if the target supports GNU indirect functions. */
645 bool
646 default_has_ifunc_p (void)
648 return HAVE_GNU_INDIRECT_FUNCTION;
651 /* Return true if we predict the loop LOOP will be transformed to a
652 low-overhead loop, otherwise return false.
654 By default, false is returned, as this hook's applicability should be
655 verified for each target. Target maintainers should re-define the hook
656 if the target can take advantage of it. */
658 bool
659 default_predict_doloop_p (class loop *loop ATTRIBUTE_UNUSED)
661 return false;
664 /* By default, just use the input MODE itself. */
666 machine_mode
667 default_preferred_doloop_mode (machine_mode mode)
669 return mode;
672 /* NULL if INSN insn is valid within a low-overhead loop, otherwise returns
673 an error message.
675 This function checks whether a given INSN is valid within a low-overhead
676 loop. If INSN is invalid it returns the reason for that, otherwise it
677 returns NULL. A called function may clobber any special registers required
678 for low-overhead looping. Additionally, some targets (eg, PPC) use the count
679 register for branch on table instructions. We reject the doloop pattern in
680 these cases. */
682 const char *
683 default_invalid_within_doloop (const rtx_insn *insn)
685 if (CALL_P (insn))
686 return "Function call in loop.";
688 if (tablejump_p (insn, NULL, NULL) || computed_jump_p (insn))
689 return "Computed branch in the loop.";
691 return NULL;
694 /* Mapping of builtin functions to vectorized variants. */
696 tree
697 default_builtin_vectorized_function (unsigned int, tree, tree)
699 return NULL_TREE;
702 /* Mapping of target builtin functions to vectorized variants. */
704 tree
705 default_builtin_md_vectorized_function (tree, tree, tree)
707 return NULL_TREE;
710 /* Default vectorizer cost model values. */
713 default_builtin_vectorization_cost (enum vect_cost_for_stmt type_of_cost,
714 tree vectype,
715 int misalign ATTRIBUTE_UNUSED)
717 switch (type_of_cost)
719 case scalar_stmt:
720 case scalar_load:
721 case scalar_store:
722 case vector_stmt:
723 case vector_load:
724 case vector_store:
725 case vec_to_scalar:
726 case scalar_to_vec:
727 case cond_branch_not_taken:
728 case vec_perm:
729 case vec_promote_demote:
730 return 1;
732 case unaligned_load:
733 case unaligned_store:
734 return 2;
736 case cond_branch_taken:
737 return 3;
739 case vec_construct:
740 return estimated_poly_value (TYPE_VECTOR_SUBPARTS (vectype)) - 1;
742 default:
743 gcc_unreachable ();
747 /* Reciprocal. */
749 tree
750 default_builtin_reciprocal (tree)
752 return NULL_TREE;
755 bool
756 hook_bool_CUMULATIVE_ARGS_arg_info_false (cumulative_args_t,
757 const function_arg_info &)
759 return false;
762 bool
763 hook_bool_CUMULATIVE_ARGS_arg_info_true (cumulative_args_t,
764 const function_arg_info &)
766 return true;
770 hook_int_CUMULATIVE_ARGS_arg_info_0 (cumulative_args_t,
771 const function_arg_info &)
773 return 0;
776 void
777 hook_void_CUMULATIVE_ARGS_tree (cumulative_args_t ca ATTRIBUTE_UNUSED,
778 tree ATTRIBUTE_UNUSED)
782 /* Default implementation of TARGET_PUSH_ARGUMENT. */
784 bool
785 default_push_argument (unsigned int)
787 #ifdef PUSH_ROUNDING
788 return !ACCUMULATE_OUTGOING_ARGS;
789 #else
790 return false;
791 #endif
794 void
795 default_function_arg_advance (cumulative_args_t, const function_arg_info &)
797 gcc_unreachable ();
800 /* Default implementation of TARGET_FUNCTION_ARG_OFFSET. */
802 HOST_WIDE_INT
803 default_function_arg_offset (machine_mode, const_tree)
805 return 0;
808 /* Default implementation of TARGET_FUNCTION_ARG_PADDING: usually pad
809 upward, but pad short args downward on big-endian machines. */
811 pad_direction
812 default_function_arg_padding (machine_mode mode, const_tree type)
814 if (!BYTES_BIG_ENDIAN)
815 return PAD_UPWARD;
817 unsigned HOST_WIDE_INT size;
818 if (mode == BLKmode)
820 if (!type || TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
821 return PAD_UPWARD;
822 size = int_size_in_bytes (type);
824 else
825 /* Targets with variable-sized modes must override this hook
826 and handle variable-sized modes explicitly. */
827 size = GET_MODE_SIZE (mode).to_constant ();
829 if (size < (PARM_BOUNDARY / BITS_PER_UNIT))
830 return PAD_DOWNWARD;
832 return PAD_UPWARD;
836 default_function_arg (cumulative_args_t, const function_arg_info &)
838 gcc_unreachable ();
842 default_function_incoming_arg (cumulative_args_t, const function_arg_info &)
844 gcc_unreachable ();
847 unsigned int
848 default_function_arg_boundary (machine_mode mode ATTRIBUTE_UNUSED,
849 const_tree type ATTRIBUTE_UNUSED)
851 return PARM_BOUNDARY;
854 unsigned int
855 default_function_arg_round_boundary (machine_mode mode ATTRIBUTE_UNUSED,
856 const_tree type ATTRIBUTE_UNUSED)
858 return PARM_BOUNDARY;
861 void
862 hook_void_bitmap (bitmap regs ATTRIBUTE_UNUSED)
866 const char *
867 hook_invalid_arg_for_unprototyped_fn (
868 const_tree typelist ATTRIBUTE_UNUSED,
869 const_tree funcdecl ATTRIBUTE_UNUSED,
870 const_tree val ATTRIBUTE_UNUSED)
872 return NULL;
875 /* Initialize the stack protection decls. */
877 /* Stack protection related decls living in libgcc. */
878 static GTY(()) tree stack_chk_guard_decl;
880 tree
881 default_stack_protect_guard (void)
883 tree t = stack_chk_guard_decl;
885 if (t == NULL)
887 rtx x;
889 t = build_decl (UNKNOWN_LOCATION,
890 VAR_DECL, get_identifier ("__stack_chk_guard"),
891 ptr_type_node);
892 TREE_STATIC (t) = 1;
893 TREE_PUBLIC (t) = 1;
894 DECL_EXTERNAL (t) = 1;
895 TREE_USED (t) = 1;
896 TREE_THIS_VOLATILE (t) = 1;
897 DECL_ARTIFICIAL (t) = 1;
898 DECL_IGNORED_P (t) = 1;
900 /* Do not share RTL as the declaration is visible outside of
901 current function. */
902 x = DECL_RTL (t);
903 RTX_FLAG (x, used) = 1;
905 stack_chk_guard_decl = t;
908 return t;
911 static GTY(()) tree stack_chk_fail_decl;
913 tree
914 default_external_stack_protect_fail (void)
916 tree t = stack_chk_fail_decl;
918 if (t == NULL_TREE)
920 t = build_function_type_list (void_type_node, NULL_TREE);
921 t = build_decl (UNKNOWN_LOCATION,
922 FUNCTION_DECL, get_identifier ("__stack_chk_fail"), t);
923 TREE_STATIC (t) = 1;
924 TREE_PUBLIC (t) = 1;
925 DECL_EXTERNAL (t) = 1;
926 TREE_USED (t) = 1;
927 TREE_THIS_VOLATILE (t) = 1;
928 TREE_NOTHROW (t) = 1;
929 DECL_ARTIFICIAL (t) = 1;
930 DECL_IGNORED_P (t) = 1;
931 DECL_VISIBILITY (t) = VISIBILITY_DEFAULT;
932 DECL_VISIBILITY_SPECIFIED (t) = 1;
934 stack_chk_fail_decl = t;
937 return build_call_expr (t, 0);
940 tree
941 default_hidden_stack_protect_fail (void)
943 #ifndef HAVE_GAS_HIDDEN
944 return default_external_stack_protect_fail ();
945 #else
946 tree t = stack_chk_fail_decl;
948 if (!flag_pic)
949 return default_external_stack_protect_fail ();
951 if (t == NULL_TREE)
953 t = build_function_type_list (void_type_node, NULL_TREE);
954 t = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
955 get_identifier ("__stack_chk_fail_local"), t);
956 TREE_STATIC (t) = 1;
957 TREE_PUBLIC (t) = 1;
958 DECL_EXTERNAL (t) = 1;
959 TREE_USED (t) = 1;
960 TREE_THIS_VOLATILE (t) = 1;
961 TREE_NOTHROW (t) = 1;
962 DECL_ARTIFICIAL (t) = 1;
963 DECL_IGNORED_P (t) = 1;
964 DECL_VISIBILITY_SPECIFIED (t) = 1;
965 DECL_VISIBILITY (t) = VISIBILITY_HIDDEN;
967 stack_chk_fail_decl = t;
970 return build_call_expr (t, 0);
971 #endif
974 bool
975 hook_bool_const_rtx_commutative_p (const_rtx x,
976 int outer_code ATTRIBUTE_UNUSED)
978 return COMMUTATIVE_P (x);
982 default_function_value (const_tree ret_type ATTRIBUTE_UNUSED,
983 const_tree fn_decl_or_type,
984 bool outgoing ATTRIBUTE_UNUSED)
986 /* The old interface doesn't handle receiving the function type. */
987 if (fn_decl_or_type
988 && !DECL_P (fn_decl_or_type))
989 fn_decl_or_type = NULL;
991 #ifdef FUNCTION_VALUE
992 return FUNCTION_VALUE (ret_type, fn_decl_or_type);
993 #else
994 gcc_unreachable ();
995 #endif
999 default_libcall_value (machine_mode mode ATTRIBUTE_UNUSED,
1000 const_rtx fun ATTRIBUTE_UNUSED)
1002 #ifdef LIBCALL_VALUE
1003 return LIBCALL_VALUE (MACRO_MODE (mode));
1004 #else
1005 gcc_unreachable ();
1006 #endif
1009 /* The default hook for TARGET_FUNCTION_VALUE_REGNO_P. */
1011 bool
1012 default_function_value_regno_p (const unsigned int regno ATTRIBUTE_UNUSED)
1014 #ifdef FUNCTION_VALUE_REGNO_P
1015 return FUNCTION_VALUE_REGNO_P (regno);
1016 #else
1017 gcc_unreachable ();
1018 #endif
1021 /* Choose the mode and rtx to use to zero REGNO, storing tem in PMODE and
1022 PREGNO_RTX and returning TRUE if successful, otherwise returning FALSE. If
1023 the natural mode for REGNO doesn't work, attempt to group it with subsequent
1024 adjacent registers set in TOZERO. */
1026 static inline bool
1027 zcur_select_mode_rtx (unsigned int regno, machine_mode *pmode,
1028 rtx *pregno_rtx, HARD_REG_SET tozero)
1030 rtx regno_rtx = regno_reg_rtx[regno];
1031 machine_mode mode = GET_MODE (regno_rtx);
1033 /* If the natural mode doesn't work, try some wider mode. */
1034 if (!targetm.hard_regno_mode_ok (regno, mode))
1036 bool found = false;
1037 for (int nregs = 2;
1038 !found && nregs <= hard_regno_max_nregs
1039 && regno + nregs <= FIRST_PSEUDO_REGISTER
1040 && TEST_HARD_REG_BIT (tozero,
1041 regno + nregs - 1);
1042 nregs++)
1044 mode = choose_hard_reg_mode (regno, nregs, 0);
1045 if (mode == E_VOIDmode)
1046 continue;
1047 gcc_checking_assert (targetm.hard_regno_mode_ok (regno, mode));
1048 regno_rtx = gen_rtx_REG (mode, regno);
1049 found = true;
1051 if (!found)
1052 return false;
1055 *pmode = mode;
1056 *pregno_rtx = regno_rtx;
1057 return true;
1060 /* The default hook for TARGET_ZERO_CALL_USED_REGS. */
1062 HARD_REG_SET
1063 default_zero_call_used_regs (HARD_REG_SET need_zeroed_hardregs)
1065 gcc_assert (!hard_reg_set_empty_p (need_zeroed_hardregs));
1067 HARD_REG_SET failed;
1068 CLEAR_HARD_REG_SET (failed);
1069 bool progress = false;
1071 /* First, try to zero each register in need_zeroed_hardregs by
1072 loading a zero into it, taking note of any failures in
1073 FAILED. */
1074 for (unsigned int regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1075 if (TEST_HARD_REG_BIT (need_zeroed_hardregs, regno))
1077 rtx_insn *last_insn = get_last_insn ();
1078 rtx regno_rtx;
1079 machine_mode mode;
1081 if (!zcur_select_mode_rtx (regno, &mode, &regno_rtx,
1082 need_zeroed_hardregs))
1084 SET_HARD_REG_BIT (failed, regno);
1085 continue;
1088 rtx zero = CONST0_RTX (mode);
1089 rtx_insn *insn = emit_move_insn (regno_rtx, zero);
1090 if (!valid_insn_p (insn))
1092 SET_HARD_REG_BIT (failed, regno);
1093 delete_insns_since (last_insn);
1095 else
1097 progress = true;
1098 regno += hard_regno_nregs (regno, mode) - 1;
1102 /* Now retry with copies from zeroed registers, as long as we've
1103 made some PROGRESS, and registers remain to be zeroed in
1104 FAILED. */
1105 while (progress && !hard_reg_set_empty_p (failed))
1107 HARD_REG_SET retrying = failed;
1109 CLEAR_HARD_REG_SET (failed);
1110 progress = false;
1112 for (unsigned int regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1113 if (TEST_HARD_REG_BIT (retrying, regno))
1115 rtx regno_rtx;
1116 machine_mode mode;
1118 /* This might select registers we've already zeroed. If grouping
1119 with them is what it takes to get regno zeroed, so be it. */
1120 if (!zcur_select_mode_rtx (regno, &mode, &regno_rtx,
1121 need_zeroed_hardregs))
1123 SET_HARD_REG_BIT (failed, regno);
1124 continue;
1127 bool success = false;
1128 /* Look for a source. */
1129 for (unsigned int src = 0; src < FIRST_PSEUDO_REGISTER; src++)
1131 /* If SRC hasn't been zeroed (yet?), skip it. */
1132 if (! TEST_HARD_REG_BIT (need_zeroed_hardregs, src))
1133 continue;
1134 if (TEST_HARD_REG_BIT (retrying, src))
1135 continue;
1137 /* Check that SRC can hold MODE, and that any other
1138 registers needed to hold MODE in SRC have also been
1139 zeroed. */
1140 if (!targetm.hard_regno_mode_ok (src, mode))
1141 continue;
1142 unsigned n = targetm.hard_regno_nregs (src, mode);
1143 bool ok = true;
1144 for (unsigned i = 1; ok && i < n; i++)
1145 ok = (TEST_HARD_REG_BIT (need_zeroed_hardregs, src + i)
1146 && !TEST_HARD_REG_BIT (retrying, src + i));
1147 if (!ok)
1148 continue;
1150 /* SRC is usable, try to copy from it. */
1151 rtx_insn *last_insn = get_last_insn ();
1152 rtx src_rtx = gen_rtx_REG (mode, src);
1153 rtx_insn *insn = emit_move_insn (regno_rtx, src_rtx);
1154 if (!valid_insn_p (insn))
1155 /* It didn't work, remove any inserts. We'll look
1156 for another SRC. */
1157 delete_insns_since (last_insn);
1158 else
1160 /* We're done for REGNO. */
1161 success = true;
1162 break;
1166 /* If nothing worked for REGNO this round, mark it to be
1167 retried if we get another round. */
1168 if (!success)
1169 SET_HARD_REG_BIT (failed, regno);
1170 else
1172 /* Take note so as to enable another round if needed. */
1173 progress = true;
1174 regno += hard_regno_nregs (regno, mode) - 1;
1179 /* If any register remained, report it. */
1180 if (!progress)
1182 static bool issued_error;
1183 if (!issued_error)
1185 const char *name = NULL;
1186 for (unsigned int i = 0; zero_call_used_regs_opts[i].name != NULL;
1187 ++i)
1188 if (flag_zero_call_used_regs == zero_call_used_regs_opts[i].flag)
1190 name = zero_call_used_regs_opts[i].name;
1191 break;
1194 if (!name)
1195 name = "";
1197 issued_error = true;
1198 sorry ("argument %qs is not supported for %qs on this target",
1199 name, "-fzero-call-used-regs");
1203 return need_zeroed_hardregs;
1207 default_internal_arg_pointer (void)
1209 /* If the reg that the virtual arg pointer will be translated into is
1210 not a fixed reg or is the stack pointer, make a copy of the virtual
1211 arg pointer, and address parms via the copy. The frame pointer is
1212 considered fixed even though it is not marked as such. */
1213 if ((ARG_POINTER_REGNUM == STACK_POINTER_REGNUM
1214 || ! (fixed_regs[ARG_POINTER_REGNUM]
1215 || ARG_POINTER_REGNUM == FRAME_POINTER_REGNUM)))
1216 return copy_to_reg (virtual_incoming_args_rtx);
1217 else
1218 return virtual_incoming_args_rtx;
1222 default_static_chain (const_tree ARG_UNUSED (fndecl_or_type), bool incoming_p)
1224 if (incoming_p)
1226 #ifdef STATIC_CHAIN_INCOMING_REGNUM
1227 return gen_rtx_REG (Pmode, STATIC_CHAIN_INCOMING_REGNUM);
1228 #endif
1231 #ifdef STATIC_CHAIN_REGNUM
1232 return gen_rtx_REG (Pmode, STATIC_CHAIN_REGNUM);
1233 #endif
1236 static bool issued_error;
1237 if (!issued_error)
1239 issued_error = true;
1240 sorry ("nested functions not supported on this target");
1243 /* It really doesn't matter what we return here, so long at it
1244 doesn't cause the rest of the compiler to crash. */
1245 return gen_rtx_MEM (Pmode, stack_pointer_rtx);
1249 void
1250 default_trampoline_init (rtx ARG_UNUSED (m_tramp), tree ARG_UNUSED (t_func),
1251 rtx ARG_UNUSED (r_chain))
1253 sorry ("nested function trampolines not supported on this target");
1256 poly_int64
1257 default_return_pops_args (tree, tree, poly_int64)
1259 return 0;
1262 reg_class_t
1263 default_ira_change_pseudo_allocno_class (int regno ATTRIBUTE_UNUSED,
1264 reg_class_t cl,
1265 reg_class_t best_cl ATTRIBUTE_UNUSED)
1267 return cl;
1270 extern bool
1271 default_lra_p (void)
1273 return true;
1277 default_register_priority (int hard_regno ATTRIBUTE_UNUSED)
1279 return 0;
1282 extern bool
1283 default_register_usage_leveling_p (void)
1285 return false;
1288 extern bool
1289 default_different_addr_displacement_p (void)
1291 return false;
1294 reg_class_t
1295 default_secondary_reload (bool in_p ATTRIBUTE_UNUSED, rtx x ATTRIBUTE_UNUSED,
1296 reg_class_t reload_class_i ATTRIBUTE_UNUSED,
1297 machine_mode reload_mode ATTRIBUTE_UNUSED,
1298 secondary_reload_info *sri)
1300 enum reg_class rclass = NO_REGS;
1301 enum reg_class reload_class = (enum reg_class) reload_class_i;
1303 if (sri->prev_sri && sri->prev_sri->t_icode != CODE_FOR_nothing)
1305 sri->icode = sri->prev_sri->t_icode;
1306 return NO_REGS;
1308 #ifdef SECONDARY_INPUT_RELOAD_CLASS
1309 if (in_p)
1310 rclass = SECONDARY_INPUT_RELOAD_CLASS (reload_class,
1311 MACRO_MODE (reload_mode), x);
1312 #endif
1313 #ifdef SECONDARY_OUTPUT_RELOAD_CLASS
1314 if (! in_p)
1315 rclass = SECONDARY_OUTPUT_RELOAD_CLASS (reload_class,
1316 MACRO_MODE (reload_mode), x);
1317 #endif
1318 if (rclass != NO_REGS)
1320 enum insn_code icode
1321 = direct_optab_handler (in_p ? reload_in_optab : reload_out_optab,
1322 reload_mode);
1324 if (icode != CODE_FOR_nothing
1325 && !insn_operand_matches (icode, in_p, x))
1326 icode = CODE_FOR_nothing;
1327 else if (icode != CODE_FOR_nothing)
1329 const char *insn_constraint, *scratch_constraint;
1330 enum reg_class insn_class, scratch_class;
1332 gcc_assert (insn_data[(int) icode].n_operands == 3);
1333 insn_constraint = insn_data[(int) icode].operand[!in_p].constraint;
1334 if (!*insn_constraint)
1335 insn_class = ALL_REGS;
1336 else
1338 if (in_p)
1340 gcc_assert (*insn_constraint == '=');
1341 insn_constraint++;
1343 insn_class = (reg_class_for_constraint
1344 (lookup_constraint (insn_constraint)));
1345 gcc_assert (insn_class != NO_REGS);
1348 scratch_constraint = insn_data[(int) icode].operand[2].constraint;
1349 /* The scratch register's constraint must start with "=&",
1350 except for an input reload, where only "=" is necessary,
1351 and where it might be beneficial to re-use registers from
1352 the input. */
1353 gcc_assert (scratch_constraint[0] == '='
1354 && (in_p || scratch_constraint[1] == '&'));
1355 scratch_constraint++;
1356 if (*scratch_constraint == '&')
1357 scratch_constraint++;
1358 scratch_class = (reg_class_for_constraint
1359 (lookup_constraint (scratch_constraint)));
1361 if (reg_class_subset_p (reload_class, insn_class))
1363 gcc_assert (scratch_class == rclass);
1364 rclass = NO_REGS;
1366 else
1367 rclass = insn_class;
1370 if (rclass == NO_REGS)
1371 sri->icode = icode;
1372 else
1373 sri->t_icode = icode;
1375 return rclass;
1378 /* The default implementation of TARGET_SECONDARY_MEMORY_NEEDED_MODE. */
1380 machine_mode
1381 default_secondary_memory_needed_mode (machine_mode mode)
1383 if (!targetm.lra_p ()
1384 && known_lt (GET_MODE_BITSIZE (mode), BITS_PER_WORD)
1385 && INTEGRAL_MODE_P (mode))
1386 return mode_for_size (BITS_PER_WORD, GET_MODE_CLASS (mode), 0).require ();
1387 return mode;
1390 /* By default, if flag_pic is true, then neither local nor global relocs
1391 should be placed in readonly memory. */
1394 default_reloc_rw_mask (void)
1396 return flag_pic ? 3 : 0;
1399 /* By default, address diff vectors are generated
1400 for jump tables when flag_pic is true. */
1402 bool
1403 default_generate_pic_addr_diff_vec (void)
1405 return flag_pic;
1408 /* By default, do no modification. */
1409 tree default_mangle_decl_assembler_name (tree decl ATTRIBUTE_UNUSED,
1410 tree id)
1412 return id;
1415 /* The default implementation of TARGET_STATIC_RTX_ALIGNMENT. */
1417 HOST_WIDE_INT
1418 default_static_rtx_alignment (machine_mode mode)
1420 return GET_MODE_ALIGNMENT (mode);
1423 /* The default implementation of TARGET_CONSTANT_ALIGNMENT. */
1425 HOST_WIDE_INT
1426 default_constant_alignment (const_tree, HOST_WIDE_INT align)
1428 return align;
1431 /* An implementation of TARGET_CONSTANT_ALIGNMENT that aligns strings
1432 to at least BITS_PER_WORD but otherwise makes no changes. */
1434 HOST_WIDE_INT
1435 constant_alignment_word_strings (const_tree exp, HOST_WIDE_INT align)
1437 if (TREE_CODE (exp) == STRING_CST)
1438 return MAX (align, BITS_PER_WORD);
1439 return align;
1442 /* Default to natural alignment for vector types, bounded by
1443 MAX_OFILE_ALIGNMENT. */
1445 HOST_WIDE_INT
1446 default_vector_alignment (const_tree type)
1448 unsigned HOST_WIDE_INT align = MAX_OFILE_ALIGNMENT;
1449 tree size = TYPE_SIZE (type);
1450 if (tree_fits_uhwi_p (size))
1451 align = tree_to_uhwi (size);
1452 if (align >= MAX_OFILE_ALIGNMENT)
1453 return MAX_OFILE_ALIGNMENT;
1454 return MAX (align, GET_MODE_ALIGNMENT (TYPE_MODE (type)));
1457 /* The default implementation of
1458 TARGET_VECTORIZE_PREFERRED_VECTOR_ALIGNMENT. */
1460 poly_uint64
1461 default_preferred_vector_alignment (const_tree type)
1463 return TYPE_ALIGN (type);
1466 /* By default assume vectors of element TYPE require a multiple of the natural
1467 alignment of TYPE. TYPE is naturally aligned if IS_PACKED is false. */
1468 bool
1469 default_builtin_vector_alignment_reachable (const_tree /*type*/, bool is_packed)
1471 return ! is_packed;
1474 /* By default, assume that a target supports any factor of misalignment
1475 memory access if it supports movmisalign patten.
1476 is_packed is true if the memory access is defined in a packed struct. */
1477 bool
1478 default_builtin_support_vector_misalignment (machine_mode mode,
1479 const_tree type
1480 ATTRIBUTE_UNUSED,
1481 int misalignment
1482 ATTRIBUTE_UNUSED,
1483 bool is_packed
1484 ATTRIBUTE_UNUSED)
1486 if (optab_handler (movmisalign_optab, mode) != CODE_FOR_nothing)
1487 return true;
1488 return false;
1491 /* By default, only attempt to parallelize bitwise operations, and
1492 possibly adds/subtracts using bit-twiddling. */
1494 machine_mode
1495 default_preferred_simd_mode (scalar_mode)
1497 return word_mode;
1500 /* By default do not split reductions further. */
1502 machine_mode
1503 default_split_reduction (machine_mode mode)
1505 return mode;
1508 /* By default only the preferred vector mode is tried. */
1510 unsigned int
1511 default_autovectorize_vector_modes (vector_modes *, bool)
1513 return 0;
1516 /* The default implementation of TARGET_VECTORIZE_RELATED_MODE. */
1518 opt_machine_mode
1519 default_vectorize_related_mode (machine_mode vector_mode,
1520 scalar_mode element_mode,
1521 poly_uint64 nunits)
1523 machine_mode result_mode;
1524 if ((maybe_ne (nunits, 0U)
1525 || multiple_p (GET_MODE_SIZE (vector_mode),
1526 GET_MODE_SIZE (element_mode), &nunits))
1527 && mode_for_vector (element_mode, nunits).exists (&result_mode)
1528 && VECTOR_MODE_P (result_mode)
1529 && targetm.vector_mode_supported_p (result_mode))
1530 return result_mode;
1532 return opt_machine_mode ();
1535 /* By default a vector of integers is used as a mask. */
1537 opt_machine_mode
1538 default_get_mask_mode (machine_mode mode)
1540 return related_int_vector_mode (mode);
1543 /* By default consider masked stores to be expensive. */
1545 bool
1546 default_empty_mask_is_expensive (unsigned ifn)
1548 return ifn == IFN_MASK_STORE;
1551 /* By default, the cost model accumulates three separate costs (prologue,
1552 loop body, and epilogue) for a vectorized loop or block. So allocate an
1553 array of three unsigned ints, set it to zero, and return its address. */
1555 vector_costs *
1556 default_vectorize_create_costs (vec_info *vinfo, bool costing_for_scalar)
1558 return new vector_costs (vinfo, costing_for_scalar);
1561 /* Determine whether or not a pointer mode is valid. Assume defaults
1562 of ptr_mode or Pmode - can be overridden. */
1563 bool
1564 default_valid_pointer_mode (scalar_int_mode mode)
1566 return (mode == ptr_mode || mode == Pmode);
1569 /* Determine whether the memory reference specified by REF may alias
1570 the C libraries errno location. */
1571 bool
1572 default_ref_may_alias_errno (ao_ref *ref)
1574 tree base = ao_ref_base (ref);
1575 /* The default implementation assumes the errno location is
1576 a declaration of type int or is always accessed via a
1577 pointer to int. We assume that accesses to errno are
1578 not deliberately obfuscated (even in conforming ways). */
1579 if (TYPE_UNSIGNED (TREE_TYPE (base))
1580 || TYPE_MODE (TREE_TYPE (base)) != TYPE_MODE (integer_type_node))
1581 return false;
1582 /* The default implementation assumes an errno location declaration
1583 is never defined in the current compilation unit and may not be
1584 aliased by a local variable. */
1585 if (DECL_P (base)
1586 && DECL_EXTERNAL (base)
1587 && !TREE_STATIC (base))
1588 return true;
1589 else if (TREE_CODE (base) == MEM_REF
1590 && TREE_CODE (TREE_OPERAND (base, 0)) == SSA_NAME)
1592 struct ptr_info_def *pi = SSA_NAME_PTR_INFO (TREE_OPERAND (base, 0));
1593 return !pi || pi->pt.anything || pi->pt.nonlocal;
1595 return false;
1598 /* Return the mode for a pointer to a given ADDRSPACE,
1599 defaulting to ptr_mode for all address spaces. */
1601 scalar_int_mode
1602 default_addr_space_pointer_mode (addr_space_t addrspace ATTRIBUTE_UNUSED)
1604 return ptr_mode;
1607 /* Return the mode for an address in a given ADDRSPACE,
1608 defaulting to Pmode for all address spaces. */
1610 scalar_int_mode
1611 default_addr_space_address_mode (addr_space_t addrspace ATTRIBUTE_UNUSED)
1613 return Pmode;
1616 /* Named address space version of valid_pointer_mode.
1617 To match the above, the same modes apply to all address spaces. */
1619 bool
1620 default_addr_space_valid_pointer_mode (scalar_int_mode mode,
1621 addr_space_t as ATTRIBUTE_UNUSED)
1623 return targetm.valid_pointer_mode (mode);
1626 /* Some places still assume that all pointer or address modes are the
1627 standard Pmode and ptr_mode. These optimizations become invalid if
1628 the target actually supports multiple different modes. For now,
1629 we disable such optimizations on such targets, using this function. */
1631 bool
1632 target_default_pointer_address_modes_p (void)
1634 if (targetm.addr_space.address_mode != default_addr_space_address_mode)
1635 return false;
1636 if (targetm.addr_space.pointer_mode != default_addr_space_pointer_mode)
1637 return false;
1639 return true;
1642 /* Named address space version of legitimate_address_p.
1643 By default, all address spaces have the same form. */
1645 bool
1646 default_addr_space_legitimate_address_p (machine_mode mode, rtx mem,
1647 bool strict,
1648 addr_space_t as ATTRIBUTE_UNUSED)
1650 return targetm.legitimate_address_p (mode, mem, strict);
1653 /* Named address space version of LEGITIMIZE_ADDRESS.
1654 By default, all address spaces have the same form. */
1657 default_addr_space_legitimize_address (rtx x, rtx oldx, machine_mode mode,
1658 addr_space_t as ATTRIBUTE_UNUSED)
1660 return targetm.legitimize_address (x, oldx, mode);
1663 /* The default hook for determining if one named address space is a subset of
1664 another and to return which address space to use as the common address
1665 space. */
1667 bool
1668 default_addr_space_subset_p (addr_space_t subset, addr_space_t superset)
1670 return (subset == superset);
1673 /* The default hook for determining if 0 within a named address
1674 space is a valid address. */
1676 bool
1677 default_addr_space_zero_address_valid (addr_space_t as ATTRIBUTE_UNUSED)
1679 return false;
1682 /* The default hook for debugging the address space is to return the
1683 address space number to indicate DW_AT_address_class. */
1685 default_addr_space_debug (addr_space_t as)
1687 return as;
1690 /* The default hook implementation for TARGET_ADDR_SPACE_DIAGNOSE_USAGE.
1691 Don't complain about any address space. */
1693 void
1694 default_addr_space_diagnose_usage (addr_space_t, location_t)
1699 /* The default hook for TARGET_ADDR_SPACE_CONVERT. This hook should never be
1700 called for targets with only a generic address space. */
1703 default_addr_space_convert (rtx op ATTRIBUTE_UNUSED,
1704 tree from_type ATTRIBUTE_UNUSED,
1705 tree to_type ATTRIBUTE_UNUSED)
1707 gcc_unreachable ();
1710 /* The defualt implementation of TARGET_HARD_REGNO_NREGS. */
1712 unsigned int
1713 default_hard_regno_nregs (unsigned int, machine_mode mode)
1715 /* Targets with variable-sized modes must provide their own definition
1716 of this hook. */
1717 return CEIL (GET_MODE_SIZE (mode).to_constant (), UNITS_PER_WORD);
1720 bool
1721 default_hard_regno_scratch_ok (unsigned int regno ATTRIBUTE_UNUSED)
1723 return true;
1726 /* The default implementation of TARGET_MODE_DEPENDENT_ADDRESS_P. */
1728 bool
1729 default_mode_dependent_address_p (const_rtx addr ATTRIBUTE_UNUSED,
1730 addr_space_t addrspace ATTRIBUTE_UNUSED)
1732 return false;
1735 extern bool default_new_address_profitable_p (rtx, rtx);
1738 /* The default implementation of TARGET_NEW_ADDRESS_PROFITABLE_P. */
1740 bool
1741 default_new_address_profitable_p (rtx memref ATTRIBUTE_UNUSED,
1742 rtx_insn *insn ATTRIBUTE_UNUSED,
1743 rtx new_addr ATTRIBUTE_UNUSED)
1745 return true;
1748 bool
1749 default_target_option_valid_attribute_p (tree ARG_UNUSED (fndecl),
1750 tree ARG_UNUSED (name),
1751 tree ARG_UNUSED (args),
1752 int ARG_UNUSED (flags))
1754 warning (OPT_Wattributes,
1755 "target attribute is not supported on this machine");
1757 return false;
1760 bool
1761 default_target_option_pragma_parse (tree ARG_UNUSED (args),
1762 tree ARG_UNUSED (pop_target))
1764 /* If args is NULL the caller is handle_pragma_pop_options (). In that case,
1765 emit no warning because "#pragma GCC pop_target" is valid on targets that
1766 do not have the "target" pragma. */
1767 if (args)
1768 warning (OPT_Wpragmas,
1769 "%<#pragma GCC target%> is not supported for this machine");
1771 return false;
1774 bool
1775 default_target_can_inline_p (tree caller, tree callee)
1777 tree callee_opts = DECL_FUNCTION_SPECIFIC_TARGET (callee);
1778 tree caller_opts = DECL_FUNCTION_SPECIFIC_TARGET (caller);
1779 if (! callee_opts)
1780 callee_opts = target_option_default_node;
1781 if (! caller_opts)
1782 caller_opts = target_option_default_node;
1784 /* If both caller and callee have attributes, assume that if the
1785 pointer is different, the two functions have different target
1786 options since build_target_option_node uses a hash table for the
1787 options. */
1788 return callee_opts == caller_opts;
1791 /* By default, return false to not need to collect any target information
1792 for inlining. Target maintainer should re-define the hook if the
1793 target want to take advantage of it. */
1795 bool
1796 default_need_ipa_fn_target_info (const_tree, unsigned int &)
1798 return false;
1801 bool
1802 default_update_ipa_fn_target_info (unsigned int &, const gimple *)
1804 return false;
1807 /* If the machine does not have a case insn that compares the bounds,
1808 this means extra overhead for dispatch tables, which raises the
1809 threshold for using them. */
1811 unsigned int
1812 default_case_values_threshold (void)
1814 return (targetm.have_casesi () ? 4 : 5);
1817 bool
1818 default_have_conditional_execution (void)
1820 return HAVE_conditional_execution;
1823 /* By default we assume that c99 functions are present at the runtime,
1824 but sincos is not. */
1825 bool
1826 default_libc_has_function (enum function_class fn_class,
1827 tree type ATTRIBUTE_UNUSED)
1829 if (fn_class == function_c94
1830 || fn_class == function_c99_misc
1831 || fn_class == function_c99_math_complex)
1832 return true;
1834 return false;
1837 /* By default assume that libc has not a fast implementation. */
1839 bool
1840 default_libc_has_fast_function (int fcode ATTRIBUTE_UNUSED)
1842 return false;
1845 bool
1846 gnu_libc_has_function (enum function_class fn_class ATTRIBUTE_UNUSED,
1847 tree type ATTRIBUTE_UNUSED)
1849 return true;
1852 bool
1853 no_c99_libc_has_function (enum function_class fn_class ATTRIBUTE_UNUSED,
1854 tree type ATTRIBUTE_UNUSED)
1856 return false;
1859 /* Assume some c99 functions are present at the runtime including sincos. */
1860 bool
1861 bsd_libc_has_function (enum function_class fn_class,
1862 tree type ATTRIBUTE_UNUSED)
1864 if (fn_class == function_c94
1865 || fn_class == function_c99_misc
1866 || fn_class == function_sincos)
1867 return true;
1869 return false;
1873 tree
1874 default_builtin_tm_load_store (tree ARG_UNUSED (type))
1876 return NULL_TREE;
1879 /* Compute cost of moving registers to/from memory. */
1882 default_memory_move_cost (machine_mode mode ATTRIBUTE_UNUSED,
1883 reg_class_t rclass ATTRIBUTE_UNUSED,
1884 bool in ATTRIBUTE_UNUSED)
1886 #ifndef MEMORY_MOVE_COST
1887 return (4 + memory_move_secondary_cost (mode, (enum reg_class) rclass, in));
1888 #else
1889 return MEMORY_MOVE_COST (MACRO_MODE (mode), (enum reg_class) rclass, in);
1890 #endif
1893 /* Compute cost of moving data from a register of class FROM to one of
1894 TO, using MODE. */
1897 default_register_move_cost (machine_mode mode ATTRIBUTE_UNUSED,
1898 reg_class_t from ATTRIBUTE_UNUSED,
1899 reg_class_t to ATTRIBUTE_UNUSED)
1901 #ifndef REGISTER_MOVE_COST
1902 return 2;
1903 #else
1904 return REGISTER_MOVE_COST (MACRO_MODE (mode),
1905 (enum reg_class) from, (enum reg_class) to);
1906 #endif
1909 /* The default implementation of TARGET_SLOW_UNALIGNED_ACCESS. */
1911 bool
1912 default_slow_unaligned_access (machine_mode, unsigned int)
1914 return STRICT_ALIGNMENT;
1917 /* The default implementation of TARGET_ESTIMATED_POLY_VALUE. */
1919 HOST_WIDE_INT
1920 default_estimated_poly_value (poly_int64 x, poly_value_estimate_kind)
1922 return x.coeffs[0];
1925 /* For hooks which use the MOVE_RATIO macro, this gives the legacy default
1926 behavior. SPEED_P is true if we are compiling for speed. */
1928 unsigned int
1929 get_move_ratio (bool speed_p ATTRIBUTE_UNUSED)
1931 unsigned int move_ratio;
1932 #ifdef MOVE_RATIO
1933 move_ratio = (unsigned int) MOVE_RATIO (speed_p);
1934 #else
1935 #if defined (HAVE_cpymemqi) || defined (HAVE_cpymemhi) || defined (HAVE_cpymemsi) || defined (HAVE_cpymemdi) || defined (HAVE_cpymemti)
1936 move_ratio = 2;
1937 #else /* No cpymem patterns, pick a default. */
1938 move_ratio = ((speed_p) ? 15 : 3);
1939 #endif
1940 #endif
1941 return move_ratio;
1944 /* Return TRUE if the move_by_pieces/set_by_pieces infrastructure should be
1945 used; return FALSE if the cpymem/setmem optab should be expanded, or
1946 a call to memcpy emitted. */
1948 bool
1949 default_use_by_pieces_infrastructure_p (unsigned HOST_WIDE_INT size,
1950 unsigned int alignment,
1951 enum by_pieces_operation op,
1952 bool speed_p)
1954 unsigned int max_size = 0;
1955 unsigned int ratio = 0;
1957 switch (op)
1959 case CLEAR_BY_PIECES:
1960 max_size = STORE_MAX_PIECES;
1961 ratio = CLEAR_RATIO (speed_p);
1962 break;
1963 case MOVE_BY_PIECES:
1964 max_size = MOVE_MAX_PIECES;
1965 ratio = get_move_ratio (speed_p);
1966 break;
1967 case SET_BY_PIECES:
1968 max_size = STORE_MAX_PIECES;
1969 ratio = SET_RATIO (speed_p);
1970 break;
1971 case STORE_BY_PIECES:
1972 max_size = STORE_MAX_PIECES;
1973 ratio = get_move_ratio (speed_p);
1974 break;
1975 case COMPARE_BY_PIECES:
1976 max_size = COMPARE_MAX_PIECES;
1977 /* Pick a likely default, just as in get_move_ratio. */
1978 ratio = speed_p ? 15 : 3;
1979 break;
1982 return by_pieces_ninsns (size, alignment, max_size + 1, op) < ratio;
1985 /* This hook controls code generation for expanding a memcmp operation by
1986 pieces. Return 1 for the normal pattern of compare/jump after each pair
1987 of loads, or a higher number to reduce the number of branches. */
1990 default_compare_by_pieces_branch_ratio (machine_mode)
1992 return 1;
1995 /* Helper for default_print_patchable_function_entry and other
1996 print_patchable_function_entry hook implementations. */
1998 void
1999 default_print_patchable_function_entry_1 (FILE *file,
2000 unsigned HOST_WIDE_INT
2001 patch_area_size,
2002 bool record_p,
2003 unsigned int flags)
2005 const char *nop_templ = 0;
2006 int code_num;
2007 rtx_insn *my_nop = make_insn_raw (gen_nop ());
2009 /* We use the template alone, relying on the (currently sane) assumption
2010 that the NOP template does not have variable operands. */
2011 code_num = recog_memoized (my_nop);
2012 nop_templ = get_insn_template (code_num, my_nop);
2014 if (record_p && targetm_common.have_named_sections)
2016 char buf[256];
2017 static int patch_area_number;
2018 section *previous_section = in_section;
2019 const char *asm_op = integer_asm_op (POINTER_SIZE_UNITS, false);
2021 gcc_assert (asm_op != NULL);
2022 patch_area_number++;
2023 ASM_GENERATE_INTERNAL_LABEL (buf, "LPFE", patch_area_number);
2025 section *sect = get_section ("__patchable_function_entries",
2026 flags, current_function_decl);
2027 if (HAVE_COMDAT_GROUP && DECL_COMDAT_GROUP (current_function_decl))
2028 switch_to_comdat_section (sect, current_function_decl);
2029 else
2030 switch_to_section (sect);
2031 assemble_align (POINTER_SIZE);
2032 fputs (asm_op, file);
2033 assemble_name_raw (file, buf);
2034 fputc ('\n', file);
2036 switch_to_section (previous_section);
2037 ASM_OUTPUT_LABEL (file, buf);
2040 unsigned i;
2041 for (i = 0; i < patch_area_size; ++i)
2042 output_asm_insn (nop_templ, NULL);
2045 /* Write PATCH_AREA_SIZE NOPs into the asm outfile FILE around a function
2046 entry. If RECORD_P is true and the target supports named sections,
2047 the location of the NOPs will be recorded in a special object section
2048 called "__patchable_function_entries". This routine may be called
2049 twice per function to put NOPs before and after the function
2050 entry. */
2052 void
2053 default_print_patchable_function_entry (FILE *file,
2054 unsigned HOST_WIDE_INT patch_area_size,
2055 bool record_p)
2057 unsigned int flags = SECTION_WRITE | SECTION_RELRO;
2058 if (HAVE_GAS_SECTION_LINK_ORDER)
2059 flags |= SECTION_LINK_ORDER;
2060 default_print_patchable_function_entry_1 (file, patch_area_size, record_p,
2061 flags);
2064 bool
2065 default_profile_before_prologue (void)
2067 #ifdef PROFILE_BEFORE_PROLOGUE
2068 return true;
2069 #else
2070 return false;
2071 #endif
2074 /* The default implementation of TARGET_PREFERRED_RELOAD_CLASS. */
2076 reg_class_t
2077 default_preferred_reload_class (rtx x ATTRIBUTE_UNUSED,
2078 reg_class_t rclass)
2080 #ifdef PREFERRED_RELOAD_CLASS
2081 return (reg_class_t) PREFERRED_RELOAD_CLASS (x, (enum reg_class) rclass);
2082 #else
2083 return rclass;
2084 #endif
2087 /* The default implementation of TARGET_OUTPUT_PREFERRED_RELOAD_CLASS. */
2089 reg_class_t
2090 default_preferred_output_reload_class (rtx x ATTRIBUTE_UNUSED,
2091 reg_class_t rclass)
2093 return rclass;
2096 /* The default implementation of TARGET_PREFERRED_RENAME_CLASS. */
2097 reg_class_t
2098 default_preferred_rename_class (reg_class_t rclass ATTRIBUTE_UNUSED)
2100 return NO_REGS;
2103 /* The default implementation of TARGET_CLASS_LIKELY_SPILLED_P. */
2105 bool
2106 default_class_likely_spilled_p (reg_class_t rclass)
2108 return (reg_class_size[(int) rclass] == 1);
2111 /* The default implementation of TARGET_CLASS_MAX_NREGS. */
2113 unsigned char
2114 default_class_max_nregs (reg_class_t rclass ATTRIBUTE_UNUSED,
2115 machine_mode mode ATTRIBUTE_UNUSED)
2117 #ifdef CLASS_MAX_NREGS
2118 return (unsigned char) CLASS_MAX_NREGS ((enum reg_class) rclass,
2119 MACRO_MODE (mode));
2120 #else
2121 /* Targets with variable-sized modes must provide their own definition
2122 of this hook. */
2123 unsigned int size = GET_MODE_SIZE (mode).to_constant ();
2124 return (size + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
2125 #endif
2128 /* Determine the debugging unwind mechanism for the target. */
2130 enum unwind_info_type
2131 default_debug_unwind_info (void)
2133 /* If the target wants to force the use of dwarf2 unwind info, let it. */
2134 /* ??? Change all users to the hook, then poison this. */
2135 #ifdef DWARF2_FRAME_INFO
2136 if (DWARF2_FRAME_INFO)
2137 return UI_DWARF2;
2138 #endif
2140 /* Otherwise, only turn it on if dwarf2 debugging is enabled. */
2141 #ifdef DWARF2_DEBUGGING_INFO
2142 if (dwarf_debuginfo_p ())
2143 return UI_DWARF2;
2144 #endif
2146 return UI_NONE;
2149 /* Targets that set NUM_POLY_INT_COEFFS to something greater than 1
2150 must define this hook. */
2152 unsigned int
2153 default_dwarf_poly_indeterminate_value (unsigned int, unsigned int *, int *)
2155 gcc_unreachable ();
2158 /* Determine the correct mode for a Dwarf frame register that represents
2159 register REGNO. */
2161 machine_mode
2162 default_dwarf_frame_reg_mode (int regno)
2164 machine_mode save_mode = reg_raw_mode[regno];
2166 if (targetm.hard_regno_call_part_clobbered (eh_edge_abi.id (),
2167 regno, save_mode))
2168 save_mode = choose_hard_reg_mode (regno, 1, &eh_edge_abi);
2169 return save_mode;
2172 /* To be used by targets where reg_raw_mode doesn't return the right
2173 mode for registers used in apply_builtin_return and apply_builtin_arg. */
2175 fixed_size_mode
2176 default_get_reg_raw_mode (int regno)
2178 /* Targets must override this hook if the underlying register is
2179 variable-sized. */
2180 return as_a <fixed_size_mode> (reg_raw_mode[regno]);
2183 /* Return true if a leaf function should stay leaf even with profiling
2184 enabled. */
2186 bool
2187 default_keep_leaf_when_profiled ()
2189 return false;
2192 /* Return true if the state of option OPTION should be stored in PCH files
2193 and checked by default_pch_valid_p. Store the option's current state
2194 in STATE if so. */
2196 static inline bool
2197 option_affects_pch_p (int option, struct cl_option_state *state)
2199 if ((cl_options[option].flags & CL_TARGET) == 0)
2200 return false;
2201 if ((cl_options[option].flags & CL_PCH_IGNORE) != 0)
2202 return false;
2203 if (option_flag_var (option, &global_options) == &target_flags)
2204 if (targetm.check_pch_target_flags)
2205 return false;
2206 return get_option_state (&global_options, option, state);
2209 /* Default version of get_pch_validity.
2210 By default, every flag difference is fatal; that will be mostly right for
2211 most targets, but completely right for very few. */
2213 void *
2214 default_get_pch_validity (size_t *sz)
2216 struct cl_option_state state;
2217 size_t i;
2218 char *result, *r;
2220 *sz = 2;
2221 if (targetm.check_pch_target_flags)
2222 *sz += sizeof (target_flags);
2223 for (i = 0; i < cl_options_count; i++)
2224 if (option_affects_pch_p (i, &state))
2225 *sz += state.size;
2227 result = r = XNEWVEC (char, *sz);
2228 r[0] = flag_pic;
2229 r[1] = flag_pie;
2230 r += 2;
2231 if (targetm.check_pch_target_flags)
2233 memcpy (r, &target_flags, sizeof (target_flags));
2234 r += sizeof (target_flags);
2237 for (i = 0; i < cl_options_count; i++)
2238 if (option_affects_pch_p (i, &state))
2240 memcpy (r, state.data, state.size);
2241 r += state.size;
2244 return result;
2247 /* Return a message which says that a PCH file was created with a different
2248 setting of OPTION. */
2250 static const char *
2251 pch_option_mismatch (const char *option)
2253 return xasprintf (_("created and used with differing settings of '%s'"),
2254 option);
2257 /* Default version of pch_valid_p. */
2259 const char *
2260 default_pch_valid_p (const void *data_p, size_t len ATTRIBUTE_UNUSED)
2262 struct cl_option_state state;
2263 const char *data = (const char *)data_p;
2264 size_t i;
2266 /* -fpic and -fpie also usually make a PCH invalid. */
2267 if (data[0] != flag_pic)
2268 return _("created and used with different settings of %<-fpic%>");
2269 if (data[1] != flag_pie)
2270 return _("created and used with different settings of %<-fpie%>");
2271 data += 2;
2273 /* Check target_flags. */
2274 if (targetm.check_pch_target_flags)
2276 int tf;
2277 const char *r;
2279 memcpy (&tf, data, sizeof (target_flags));
2280 data += sizeof (target_flags);
2281 r = targetm.check_pch_target_flags (tf);
2282 if (r != NULL)
2283 return r;
2286 for (i = 0; i < cl_options_count; i++)
2287 if (option_affects_pch_p (i, &state))
2289 if (memcmp (data, state.data, state.size) != 0)
2290 return pch_option_mismatch (cl_options[i].opt_text);
2291 data += state.size;
2294 return NULL;
2297 /* Default version of cstore_mode. */
2299 scalar_int_mode
2300 default_cstore_mode (enum insn_code icode)
2302 return as_a <scalar_int_mode> (insn_data[(int) icode].operand[0].mode);
2305 /* Default version of member_type_forces_blk. */
2307 bool
2308 default_member_type_forces_blk (const_tree, machine_mode)
2310 return false;
2313 /* Default version of canonicalize_comparison. */
2315 void
2316 default_canonicalize_comparison (int *, rtx *, rtx *, bool)
2320 /* Default implementation of TARGET_ATOMIC_ASSIGN_EXPAND_FENV. */
2322 void
2323 default_atomic_assign_expand_fenv (tree *, tree *, tree *)
2327 #ifndef PAD_VARARGS_DOWN
2328 #define PAD_VARARGS_DOWN BYTES_BIG_ENDIAN
2329 #endif
2331 /* Build an indirect-ref expression over the given TREE, which represents a
2332 piece of a va_arg() expansion. */
2333 tree
2334 build_va_arg_indirect_ref (tree addr)
2336 addr = build_simple_mem_ref_loc (EXPR_LOCATION (addr), addr);
2337 return addr;
2340 /* The "standard" implementation of va_arg: read the value from the
2341 current (padded) address and increment by the (padded) size. */
2343 tree
2344 std_gimplify_va_arg_expr (tree valist, tree type, gimple_seq *pre_p,
2345 gimple_seq *post_p)
2347 tree addr, t, type_size, rounded_size, valist_tmp;
2348 unsigned HOST_WIDE_INT align, boundary;
2349 bool indirect;
2351 /* All of the alignment and movement below is for args-grow-up machines.
2352 As of 2004, there are only 3 ARGS_GROW_DOWNWARD targets, and they all
2353 implement their own specialized gimplify_va_arg_expr routines. */
2354 if (ARGS_GROW_DOWNWARD)
2355 gcc_unreachable ();
2357 indirect = pass_va_arg_by_reference (type);
2358 if (indirect)
2359 type = build_pointer_type (type);
2361 if (targetm.calls.split_complex_arg
2362 && TREE_CODE (type) == COMPLEX_TYPE
2363 && targetm.calls.split_complex_arg (type))
2365 tree real_part, imag_part;
2367 real_part = std_gimplify_va_arg_expr (valist,
2368 TREE_TYPE (type), pre_p, NULL);
2369 real_part = get_initialized_tmp_var (real_part, pre_p);
2371 imag_part = std_gimplify_va_arg_expr (unshare_expr (valist),
2372 TREE_TYPE (type), pre_p, NULL);
2373 imag_part = get_initialized_tmp_var (imag_part, pre_p);
2375 return build2 (COMPLEX_EXPR, type, real_part, imag_part);
2378 align = PARM_BOUNDARY / BITS_PER_UNIT;
2379 boundary = targetm.calls.function_arg_boundary (TYPE_MODE (type), type);
2381 /* When we align parameter on stack for caller, if the parameter
2382 alignment is beyond MAX_SUPPORTED_STACK_ALIGNMENT, it will be
2383 aligned at MAX_SUPPORTED_STACK_ALIGNMENT. We will match callee
2384 here with caller. */
2385 if (boundary > MAX_SUPPORTED_STACK_ALIGNMENT)
2386 boundary = MAX_SUPPORTED_STACK_ALIGNMENT;
2388 boundary /= BITS_PER_UNIT;
2390 /* Hoist the valist value into a temporary for the moment. */
2391 valist_tmp = get_initialized_tmp_var (valist, pre_p);
2393 /* va_list pointer is aligned to PARM_BOUNDARY. If argument actually
2394 requires greater alignment, we must perform dynamic alignment. */
2395 if (boundary > align
2396 && !TYPE_EMPTY_P (type)
2397 && !integer_zerop (TYPE_SIZE (type)))
2399 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist_tmp,
2400 fold_build_pointer_plus_hwi (valist_tmp, boundary - 1));
2401 gimplify_and_add (t, pre_p);
2403 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist_tmp,
2404 fold_build2 (BIT_AND_EXPR, TREE_TYPE (valist),
2405 valist_tmp,
2406 build_int_cst (TREE_TYPE (valist), -boundary)));
2407 gimplify_and_add (t, pre_p);
2409 else
2410 boundary = align;
2412 /* If the actual alignment is less than the alignment of the type,
2413 adjust the type accordingly so that we don't assume strict alignment
2414 when dereferencing the pointer. */
2415 boundary *= BITS_PER_UNIT;
2416 if (boundary < TYPE_ALIGN (type))
2418 type = build_variant_type_copy (type);
2419 SET_TYPE_ALIGN (type, boundary);
2422 /* Compute the rounded size of the type. */
2423 type_size = arg_size_in_bytes (type);
2424 rounded_size = round_up (type_size, align);
2426 /* Reduce rounded_size so it's sharable with the postqueue. */
2427 gimplify_expr (&rounded_size, pre_p, post_p, is_gimple_val, fb_rvalue);
2429 /* Get AP. */
2430 addr = valist_tmp;
2431 if (PAD_VARARGS_DOWN && !integer_zerop (rounded_size))
2433 /* Small args are padded downward. */
2434 t = fold_build2_loc (input_location, GT_EXPR, sizetype,
2435 rounded_size, size_int (align));
2436 t = fold_build3 (COND_EXPR, sizetype, t, size_zero_node,
2437 size_binop (MINUS_EXPR, rounded_size, type_size));
2438 addr = fold_build_pointer_plus (addr, t);
2441 /* Compute new value for AP. */
2442 t = fold_build_pointer_plus (valist_tmp, rounded_size);
2443 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist, t);
2444 gimplify_and_add (t, pre_p);
2446 addr = fold_convert (build_pointer_type (type), addr);
2448 if (indirect)
2449 addr = build_va_arg_indirect_ref (addr);
2451 return build_va_arg_indirect_ref (addr);
2454 /* An implementation of TARGET_CAN_USE_DOLOOP_P for targets that do
2455 not support nested low-overhead loops. */
2457 bool
2458 can_use_doloop_if_innermost (const widest_int &, const widest_int &,
2459 unsigned int loop_depth, bool)
2461 return loop_depth == 1;
2464 /* Default implementation of TARGET_OPTAB_SUPPORTED_P. */
2466 bool
2467 default_optab_supported_p (int, machine_mode, machine_mode, optimization_type)
2469 return true;
2472 /* Default implementation of TARGET_MAX_NOCE_IFCVT_SEQ_COST. */
2474 unsigned int
2475 default_max_noce_ifcvt_seq_cost (edge e)
2477 bool predictable_p = predictable_edge_p (e);
2479 if (predictable_p)
2481 if (OPTION_SET_P (param_max_rtl_if_conversion_predictable_cost))
2482 return param_max_rtl_if_conversion_predictable_cost;
2484 else
2486 if (OPTION_SET_P (param_max_rtl_if_conversion_unpredictable_cost))
2487 return param_max_rtl_if_conversion_unpredictable_cost;
2490 return BRANCH_COST (true, predictable_p) * COSTS_N_INSNS (3);
2493 /* Default implementation of TARGET_MIN_ARITHMETIC_PRECISION. */
2495 unsigned int
2496 default_min_arithmetic_precision (void)
2498 return WORD_REGISTER_OPERATIONS ? BITS_PER_WORD : BITS_PER_UNIT;
2501 /* Default implementation of TARGET_C_EXCESS_PRECISION. */
2503 enum flt_eval_method
2504 default_excess_precision (enum excess_precision_type ATTRIBUTE_UNUSED)
2506 return FLT_EVAL_METHOD_PROMOTE_TO_FLOAT;
2509 /* Default implementation for
2510 TARGET_STACK_CLASH_PROTECTION_ALLOCA_PROBE_RANGE. */
2511 HOST_WIDE_INT
2512 default_stack_clash_protection_alloca_probe_range (void)
2514 return 0;
2517 /* The default implementation of TARGET_EARLY_REMAT_MODES. */
2519 void
2520 default_select_early_remat_modes (sbitmap)
2524 /* The default implementation of TARGET_PREFERRED_ELSE_VALUE. */
2526 tree
2527 default_preferred_else_value (unsigned, tree type, unsigned, tree *)
2529 return build_zero_cst (type);
2532 /* Default implementation of TARGET_HAVE_SPECULATION_SAFE_VALUE. */
2533 bool
2534 default_have_speculation_safe_value (bool active ATTRIBUTE_UNUSED)
2536 #ifdef HAVE_speculation_barrier
2537 return active ? HAVE_speculation_barrier : true;
2538 #else
2539 return false;
2540 #endif
2542 /* Alternative implementation of TARGET_HAVE_SPECULATION_SAFE_VALUE
2543 that can be used on targets that never have speculative execution. */
2544 bool
2545 speculation_safe_value_not_needed (bool active)
2547 return !active;
2550 /* Default implementation of the speculation-safe-load builtin. This
2551 implementation simply copies val to result and generates a
2552 speculation_barrier insn, if such a pattern is defined. */
2554 default_speculation_safe_value (machine_mode mode ATTRIBUTE_UNUSED,
2555 rtx result, rtx val,
2556 rtx failval ATTRIBUTE_UNUSED)
2558 emit_move_insn (result, val);
2560 #ifdef HAVE_speculation_barrier
2561 /* Assume the target knows what it is doing: if it defines a
2562 speculation barrier, but it is not enabled, then assume that one
2563 isn't needed. */
2564 if (HAVE_speculation_barrier)
2565 emit_insn (gen_speculation_barrier ());
2566 #endif
2568 return result;
2571 /* How many bits to shift in order to access the tag bits.
2572 The default is to store the tag in the top 8 bits of a 64 bit pointer, hence
2573 shifting 56 bits will leave just the tag. */
2574 #define HWASAN_SHIFT (GET_MODE_PRECISION (Pmode) - 8)
2575 #define HWASAN_SHIFT_RTX GEN_INT (HWASAN_SHIFT)
2577 bool
2578 default_memtag_can_tag_addresses ()
2580 return false;
2583 uint8_t
2584 default_memtag_tag_size ()
2586 return 8;
2589 uint8_t
2590 default_memtag_granule_size ()
2592 return 16;
2595 /* The default implementation of TARGET_MEMTAG_INSERT_RANDOM_TAG. */
2597 default_memtag_insert_random_tag (rtx untagged, rtx target)
2599 gcc_assert (param_hwasan_instrument_stack);
2600 if (param_hwasan_random_frame_tag)
2602 rtx fn = init_one_libfunc ("__hwasan_generate_tag");
2603 rtx new_tag = emit_library_call_value (fn, NULL_RTX, LCT_NORMAL, QImode);
2604 return targetm.memtag.set_tag (untagged, new_tag, target);
2606 else
2608 /* NOTE: The kernel API does not have __hwasan_generate_tag exposed.
2609 In the future we may add the option emit random tags with inline
2610 instrumentation instead of function calls. This would be the same
2611 between the kernel and userland. */
2612 return untagged;
2616 /* The default implementation of TARGET_MEMTAG_ADD_TAG. */
2618 default_memtag_add_tag (rtx base, poly_int64 offset, uint8_t tag_offset)
2620 /* Need to look into what the most efficient code sequence is.
2621 This is a code sequence that would be emitted *many* times, so we
2622 want it as small as possible.
2624 There are two places where tag overflow is a question:
2625 - Tagging the shadow stack.
2626 (both tagging and untagging).
2627 - Tagging addressable pointers.
2629 We need to ensure both behaviors are the same (i.e. that the tag that
2630 ends up in a pointer after "overflowing" the tag bits with a tag addition
2631 is the same that ends up in the shadow space).
2633 The aim is that the behavior of tag addition should follow modulo
2634 wrapping in both instances.
2636 The libhwasan code doesn't have any path that increments a pointer's tag,
2637 which means it has no opinion on what happens when a tag increment
2638 overflows (and hence we can choose our own behavior). */
2640 offset += ((uint64_t)tag_offset << HWASAN_SHIFT);
2641 return plus_constant (Pmode, base, offset);
2644 /* The default implementation of TARGET_MEMTAG_SET_TAG. */
2646 default_memtag_set_tag (rtx untagged, rtx tag, rtx target)
2648 gcc_assert (GET_MODE (untagged) == Pmode && GET_MODE (tag) == QImode);
2649 tag = expand_simple_binop (Pmode, ASHIFT, tag, HWASAN_SHIFT_RTX, NULL_RTX,
2650 /* unsignedp = */1, OPTAB_WIDEN);
2651 rtx ret = expand_simple_binop (Pmode, IOR, untagged, tag, target,
2652 /* unsignedp = */1, OPTAB_DIRECT);
2653 gcc_assert (ret);
2654 return ret;
2657 /* The default implementation of TARGET_MEMTAG_EXTRACT_TAG. */
2659 default_memtag_extract_tag (rtx tagged_pointer, rtx target)
2661 rtx tag = expand_simple_binop (Pmode, LSHIFTRT, tagged_pointer,
2662 HWASAN_SHIFT_RTX, target,
2663 /* unsignedp = */0,
2664 OPTAB_DIRECT);
2665 rtx ret = gen_lowpart (QImode, tag);
2666 gcc_assert (ret);
2667 return ret;
2670 /* The default implementation of TARGET_MEMTAG_UNTAGGED_POINTER. */
2672 default_memtag_untagged_pointer (rtx tagged_pointer, rtx target)
2674 rtx tag_mask = gen_int_mode ((HOST_WIDE_INT_1U << HWASAN_SHIFT) - 1, Pmode);
2675 rtx untagged_base = expand_simple_binop (Pmode, AND, tagged_pointer,
2676 tag_mask, target, true,
2677 OPTAB_DIRECT);
2678 gcc_assert (untagged_base);
2679 return untagged_base;
2682 /* The default implementation of TARGET_GCOV_TYPE_SIZE. */
2683 HOST_WIDE_INT
2684 default_gcov_type_size (void)
2686 return TYPE_PRECISION (long_long_integer_type_node) > 32 ? 64 : 32;
2689 #include "gt-targhooks.h"