c++: class NTTP and nested anon union [PR108566]
[official-gcc.git] / gcc / targhooks.cc
blobea1a17cb1ab4acc1a142bfc0b9b9db876e3da349
1 /* Default target hook functions.
2 Copyright (C) 2003-2023 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 void
756 default_emit_support_tinfos (emit_support_tinfos_callback)
760 bool
761 hook_bool_CUMULATIVE_ARGS_arg_info_false (cumulative_args_t,
762 const function_arg_info &)
764 return false;
767 bool
768 hook_bool_CUMULATIVE_ARGS_arg_info_true (cumulative_args_t,
769 const function_arg_info &)
771 return true;
775 hook_int_CUMULATIVE_ARGS_arg_info_0 (cumulative_args_t,
776 const function_arg_info &)
778 return 0;
781 void
782 hook_void_CUMULATIVE_ARGS_tree (cumulative_args_t ca ATTRIBUTE_UNUSED,
783 tree ATTRIBUTE_UNUSED)
787 /* Default implementation of TARGET_PUSH_ARGUMENT. */
789 bool
790 default_push_argument (unsigned int)
792 #ifdef PUSH_ROUNDING
793 return !ACCUMULATE_OUTGOING_ARGS;
794 #else
795 return false;
796 #endif
799 void
800 default_function_arg_advance (cumulative_args_t, const function_arg_info &)
802 gcc_unreachable ();
805 /* Default implementation of TARGET_FUNCTION_ARG_OFFSET. */
807 HOST_WIDE_INT
808 default_function_arg_offset (machine_mode, const_tree)
810 return 0;
813 /* Default implementation of TARGET_FUNCTION_ARG_PADDING: usually pad
814 upward, but pad short args downward on big-endian machines. */
816 pad_direction
817 default_function_arg_padding (machine_mode mode, const_tree type)
819 if (!BYTES_BIG_ENDIAN)
820 return PAD_UPWARD;
822 unsigned HOST_WIDE_INT size;
823 if (mode == BLKmode)
825 if (!type || TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
826 return PAD_UPWARD;
827 size = int_size_in_bytes (type);
829 else
830 /* Targets with variable-sized modes must override this hook
831 and handle variable-sized modes explicitly. */
832 size = GET_MODE_SIZE (mode).to_constant ();
834 if (size < (PARM_BOUNDARY / BITS_PER_UNIT))
835 return PAD_DOWNWARD;
837 return PAD_UPWARD;
841 default_function_arg (cumulative_args_t, const function_arg_info &)
843 gcc_unreachable ();
847 default_function_incoming_arg (cumulative_args_t, const function_arg_info &)
849 gcc_unreachable ();
852 unsigned int
853 default_function_arg_boundary (machine_mode mode ATTRIBUTE_UNUSED,
854 const_tree type ATTRIBUTE_UNUSED)
856 return PARM_BOUNDARY;
859 unsigned int
860 default_function_arg_round_boundary (machine_mode mode ATTRIBUTE_UNUSED,
861 const_tree type ATTRIBUTE_UNUSED)
863 return PARM_BOUNDARY;
866 void
867 hook_void_bitmap (bitmap regs ATTRIBUTE_UNUSED)
871 const char *
872 hook_invalid_arg_for_unprototyped_fn (
873 const_tree typelist ATTRIBUTE_UNUSED,
874 const_tree funcdecl ATTRIBUTE_UNUSED,
875 const_tree val ATTRIBUTE_UNUSED)
877 return NULL;
880 /* Initialize the stack protection decls. */
882 /* Stack protection related decls living in libgcc. */
883 static GTY(()) tree stack_chk_guard_decl;
885 tree
886 default_stack_protect_guard (void)
888 tree t = stack_chk_guard_decl;
890 if (t == NULL)
892 rtx x;
894 t = build_decl (UNKNOWN_LOCATION,
895 VAR_DECL, get_identifier ("__stack_chk_guard"),
896 ptr_type_node);
897 TREE_STATIC (t) = 1;
898 TREE_PUBLIC (t) = 1;
899 DECL_EXTERNAL (t) = 1;
900 TREE_USED (t) = 1;
901 TREE_THIS_VOLATILE (t) = 1;
902 DECL_ARTIFICIAL (t) = 1;
903 DECL_IGNORED_P (t) = 1;
905 /* Do not share RTL as the declaration is visible outside of
906 current function. */
907 x = DECL_RTL (t);
908 RTX_FLAG (x, used) = 1;
910 stack_chk_guard_decl = t;
913 return t;
916 static GTY(()) tree stack_chk_fail_decl;
918 tree
919 default_external_stack_protect_fail (void)
921 tree t = stack_chk_fail_decl;
923 if (t == NULL_TREE)
925 t = build_function_type_list (void_type_node, NULL_TREE);
926 t = build_decl (UNKNOWN_LOCATION,
927 FUNCTION_DECL, get_identifier ("__stack_chk_fail"), t);
928 TREE_STATIC (t) = 1;
929 TREE_PUBLIC (t) = 1;
930 DECL_EXTERNAL (t) = 1;
931 TREE_USED (t) = 1;
932 TREE_THIS_VOLATILE (t) = 1;
933 TREE_NOTHROW (t) = 1;
934 DECL_ARTIFICIAL (t) = 1;
935 DECL_IGNORED_P (t) = 1;
936 DECL_VISIBILITY (t) = VISIBILITY_DEFAULT;
937 DECL_VISIBILITY_SPECIFIED (t) = 1;
939 stack_chk_fail_decl = t;
942 return build_call_expr (t, 0);
945 tree
946 default_hidden_stack_protect_fail (void)
948 #ifndef HAVE_GAS_HIDDEN
949 return default_external_stack_protect_fail ();
950 #else
951 tree t = stack_chk_fail_decl;
953 if (!flag_pic)
954 return default_external_stack_protect_fail ();
956 if (t == NULL_TREE)
958 t = build_function_type_list (void_type_node, NULL_TREE);
959 t = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
960 get_identifier ("__stack_chk_fail_local"), t);
961 TREE_STATIC (t) = 1;
962 TREE_PUBLIC (t) = 1;
963 DECL_EXTERNAL (t) = 1;
964 TREE_USED (t) = 1;
965 TREE_THIS_VOLATILE (t) = 1;
966 TREE_NOTHROW (t) = 1;
967 DECL_ARTIFICIAL (t) = 1;
968 DECL_IGNORED_P (t) = 1;
969 DECL_VISIBILITY_SPECIFIED (t) = 1;
970 DECL_VISIBILITY (t) = VISIBILITY_HIDDEN;
972 stack_chk_fail_decl = t;
975 return build_call_expr (t, 0);
976 #endif
979 bool
980 hook_bool_const_rtx_commutative_p (const_rtx x,
981 int outer_code ATTRIBUTE_UNUSED)
983 return COMMUTATIVE_P (x);
987 default_function_value (const_tree ret_type ATTRIBUTE_UNUSED,
988 const_tree fn_decl_or_type,
989 bool outgoing ATTRIBUTE_UNUSED)
991 /* The old interface doesn't handle receiving the function type. */
992 if (fn_decl_or_type
993 && !DECL_P (fn_decl_or_type))
994 fn_decl_or_type = NULL;
996 #ifdef FUNCTION_VALUE
997 return FUNCTION_VALUE (ret_type, fn_decl_or_type);
998 #else
999 gcc_unreachable ();
1000 #endif
1004 default_libcall_value (machine_mode mode ATTRIBUTE_UNUSED,
1005 const_rtx fun ATTRIBUTE_UNUSED)
1007 #ifdef LIBCALL_VALUE
1008 return LIBCALL_VALUE (MACRO_MODE (mode));
1009 #else
1010 gcc_unreachable ();
1011 #endif
1014 /* The default hook for TARGET_FUNCTION_VALUE_REGNO_P. */
1016 bool
1017 default_function_value_regno_p (const unsigned int regno ATTRIBUTE_UNUSED)
1019 #ifdef FUNCTION_VALUE_REGNO_P
1020 return FUNCTION_VALUE_REGNO_P (regno);
1021 #else
1022 gcc_unreachable ();
1023 #endif
1026 /* Choose the mode and rtx to use to zero REGNO, storing tem in PMODE and
1027 PREGNO_RTX and returning TRUE if successful, otherwise returning FALSE. If
1028 the natural mode for REGNO doesn't work, attempt to group it with subsequent
1029 adjacent registers set in TOZERO. */
1031 static inline bool
1032 zcur_select_mode_rtx (unsigned int regno, machine_mode *pmode,
1033 rtx *pregno_rtx, HARD_REG_SET tozero)
1035 rtx regno_rtx = regno_reg_rtx[regno];
1036 machine_mode mode = GET_MODE (regno_rtx);
1038 /* If the natural mode doesn't work, try some wider mode. */
1039 if (!targetm.hard_regno_mode_ok (regno, mode))
1041 bool found = false;
1042 for (int nregs = 2;
1043 !found && nregs <= hard_regno_max_nregs
1044 && regno + nregs <= FIRST_PSEUDO_REGISTER
1045 && TEST_HARD_REG_BIT (tozero,
1046 regno + nregs - 1);
1047 nregs++)
1049 mode = choose_hard_reg_mode (regno, nregs, 0);
1050 if (mode == E_VOIDmode)
1051 continue;
1052 gcc_checking_assert (targetm.hard_regno_mode_ok (regno, mode));
1053 regno_rtx = gen_rtx_REG (mode, regno);
1054 found = true;
1056 if (!found)
1057 return false;
1060 *pmode = mode;
1061 *pregno_rtx = regno_rtx;
1062 return true;
1065 /* The default hook for TARGET_ZERO_CALL_USED_REGS. */
1067 HARD_REG_SET
1068 default_zero_call_used_regs (HARD_REG_SET need_zeroed_hardregs)
1070 gcc_assert (!hard_reg_set_empty_p (need_zeroed_hardregs));
1072 HARD_REG_SET failed;
1073 CLEAR_HARD_REG_SET (failed);
1074 bool progress = false;
1076 /* First, try to zero each register in need_zeroed_hardregs by
1077 loading a zero into it, taking note of any failures in
1078 FAILED. */
1079 for (unsigned int regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1080 if (TEST_HARD_REG_BIT (need_zeroed_hardregs, regno))
1082 rtx_insn *last_insn = get_last_insn ();
1083 rtx regno_rtx;
1084 machine_mode mode;
1086 if (!zcur_select_mode_rtx (regno, &mode, &regno_rtx,
1087 need_zeroed_hardregs))
1089 SET_HARD_REG_BIT (failed, regno);
1090 continue;
1093 rtx zero = CONST0_RTX (mode);
1094 rtx_insn *insn = emit_move_insn (regno_rtx, zero);
1095 if (!valid_insn_p (insn))
1097 SET_HARD_REG_BIT (failed, regno);
1098 delete_insns_since (last_insn);
1100 else
1102 progress = true;
1103 regno += hard_regno_nregs (regno, mode) - 1;
1107 /* Now retry with copies from zeroed registers, as long as we've
1108 made some PROGRESS, and registers remain to be zeroed in
1109 FAILED. */
1110 while (progress && !hard_reg_set_empty_p (failed))
1112 HARD_REG_SET retrying = failed;
1114 CLEAR_HARD_REG_SET (failed);
1115 progress = false;
1117 for (unsigned int regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1118 if (TEST_HARD_REG_BIT (retrying, regno))
1120 rtx regno_rtx;
1121 machine_mode mode;
1123 /* This might select registers we've already zeroed. If grouping
1124 with them is what it takes to get regno zeroed, so be it. */
1125 if (!zcur_select_mode_rtx (regno, &mode, &regno_rtx,
1126 need_zeroed_hardregs))
1128 SET_HARD_REG_BIT (failed, regno);
1129 continue;
1132 bool success = false;
1133 /* Look for a source. */
1134 for (unsigned int src = 0; src < FIRST_PSEUDO_REGISTER; src++)
1136 /* If SRC hasn't been zeroed (yet?), skip it. */
1137 if (! TEST_HARD_REG_BIT (need_zeroed_hardregs, src))
1138 continue;
1139 if (TEST_HARD_REG_BIT (retrying, src))
1140 continue;
1142 /* Check that SRC can hold MODE, and that any other
1143 registers needed to hold MODE in SRC have also been
1144 zeroed. */
1145 if (!targetm.hard_regno_mode_ok (src, mode))
1146 continue;
1147 unsigned n = targetm.hard_regno_nregs (src, mode);
1148 bool ok = true;
1149 for (unsigned i = 1; ok && i < n; i++)
1150 ok = (TEST_HARD_REG_BIT (need_zeroed_hardregs, src + i)
1151 && !TEST_HARD_REG_BIT (retrying, src + i));
1152 if (!ok)
1153 continue;
1155 /* SRC is usable, try to copy from it. */
1156 rtx_insn *last_insn = get_last_insn ();
1157 rtx src_rtx = gen_rtx_REG (mode, src);
1158 rtx_insn *insn = emit_move_insn (regno_rtx, src_rtx);
1159 if (!valid_insn_p (insn))
1160 /* It didn't work, remove any inserts. We'll look
1161 for another SRC. */
1162 delete_insns_since (last_insn);
1163 else
1165 /* We're done for REGNO. */
1166 success = true;
1167 break;
1171 /* If nothing worked for REGNO this round, mark it to be
1172 retried if we get another round. */
1173 if (!success)
1174 SET_HARD_REG_BIT (failed, regno);
1175 else
1177 /* Take note so as to enable another round if needed. */
1178 progress = true;
1179 regno += hard_regno_nregs (regno, mode) - 1;
1184 /* If any register remained, report it. */
1185 if (!progress)
1187 static bool issued_error;
1188 if (!issued_error)
1190 const char *name = NULL;
1191 for (unsigned int i = 0; zero_call_used_regs_opts[i].name != NULL;
1192 ++i)
1193 if (flag_zero_call_used_regs == zero_call_used_regs_opts[i].flag)
1195 name = zero_call_used_regs_opts[i].name;
1196 break;
1199 if (!name)
1200 name = "";
1202 issued_error = true;
1203 sorry ("argument %qs is not supported for %qs on this target",
1204 name, "-fzero-call-used-regs");
1208 return need_zeroed_hardregs;
1212 default_internal_arg_pointer (void)
1214 /* If the reg that the virtual arg pointer will be translated into is
1215 not a fixed reg or is the stack pointer, make a copy of the virtual
1216 arg pointer, and address parms via the copy. The frame pointer is
1217 considered fixed even though it is not marked as such. */
1218 if ((ARG_POINTER_REGNUM == STACK_POINTER_REGNUM
1219 || ! (fixed_regs[ARG_POINTER_REGNUM]
1220 || ARG_POINTER_REGNUM == FRAME_POINTER_REGNUM)))
1221 return copy_to_reg (virtual_incoming_args_rtx);
1222 else
1223 return virtual_incoming_args_rtx;
1227 default_static_chain (const_tree ARG_UNUSED (fndecl_or_type), bool incoming_p)
1229 if (incoming_p)
1231 #ifdef STATIC_CHAIN_INCOMING_REGNUM
1232 return gen_rtx_REG (Pmode, STATIC_CHAIN_INCOMING_REGNUM);
1233 #endif
1236 #ifdef STATIC_CHAIN_REGNUM
1237 return gen_rtx_REG (Pmode, STATIC_CHAIN_REGNUM);
1238 #endif
1241 static bool issued_error;
1242 if (!issued_error)
1244 issued_error = true;
1245 sorry ("nested functions not supported on this target");
1248 /* It really doesn't matter what we return here, so long at it
1249 doesn't cause the rest of the compiler to crash. */
1250 return gen_rtx_MEM (Pmode, stack_pointer_rtx);
1254 void
1255 default_trampoline_init (rtx ARG_UNUSED (m_tramp), tree ARG_UNUSED (t_func),
1256 rtx ARG_UNUSED (r_chain))
1258 sorry ("nested function trampolines not supported on this target");
1261 poly_int64
1262 default_return_pops_args (tree, tree, poly_int64)
1264 return 0;
1267 reg_class_t
1268 default_ira_change_pseudo_allocno_class (int regno ATTRIBUTE_UNUSED,
1269 reg_class_t cl,
1270 reg_class_t best_cl ATTRIBUTE_UNUSED)
1272 return cl;
1275 extern bool
1276 default_lra_p (void)
1278 return true;
1282 default_register_priority (int hard_regno ATTRIBUTE_UNUSED)
1284 return 0;
1287 extern bool
1288 default_register_usage_leveling_p (void)
1290 return false;
1293 extern bool
1294 default_different_addr_displacement_p (void)
1296 return false;
1299 reg_class_t
1300 default_secondary_reload (bool in_p ATTRIBUTE_UNUSED, rtx x ATTRIBUTE_UNUSED,
1301 reg_class_t reload_class_i ATTRIBUTE_UNUSED,
1302 machine_mode reload_mode ATTRIBUTE_UNUSED,
1303 secondary_reload_info *sri)
1305 enum reg_class rclass = NO_REGS;
1306 enum reg_class reload_class = (enum reg_class) reload_class_i;
1308 if (sri->prev_sri && sri->prev_sri->t_icode != CODE_FOR_nothing)
1310 sri->icode = sri->prev_sri->t_icode;
1311 return NO_REGS;
1313 #ifdef SECONDARY_INPUT_RELOAD_CLASS
1314 if (in_p)
1315 rclass = SECONDARY_INPUT_RELOAD_CLASS (reload_class,
1316 MACRO_MODE (reload_mode), x);
1317 #endif
1318 #ifdef SECONDARY_OUTPUT_RELOAD_CLASS
1319 if (! in_p)
1320 rclass = SECONDARY_OUTPUT_RELOAD_CLASS (reload_class,
1321 MACRO_MODE (reload_mode), x);
1322 #endif
1323 if (rclass != NO_REGS)
1325 enum insn_code icode
1326 = direct_optab_handler (in_p ? reload_in_optab : reload_out_optab,
1327 reload_mode);
1329 if (icode != CODE_FOR_nothing
1330 && !insn_operand_matches (icode, in_p, x))
1331 icode = CODE_FOR_nothing;
1332 else if (icode != CODE_FOR_nothing)
1334 const char *insn_constraint, *scratch_constraint;
1335 enum reg_class insn_class, scratch_class;
1337 gcc_assert (insn_data[(int) icode].n_operands == 3);
1338 insn_constraint = insn_data[(int) icode].operand[!in_p].constraint;
1339 if (!*insn_constraint)
1340 insn_class = ALL_REGS;
1341 else
1343 if (in_p)
1345 gcc_assert (*insn_constraint == '=');
1346 insn_constraint++;
1348 insn_class = (reg_class_for_constraint
1349 (lookup_constraint (insn_constraint)));
1350 gcc_assert (insn_class != NO_REGS);
1353 scratch_constraint = insn_data[(int) icode].operand[2].constraint;
1354 /* The scratch register's constraint must start with "=&",
1355 except for an input reload, where only "=" is necessary,
1356 and where it might be beneficial to re-use registers from
1357 the input. */
1358 gcc_assert (scratch_constraint[0] == '='
1359 && (in_p || scratch_constraint[1] == '&'));
1360 scratch_constraint++;
1361 if (*scratch_constraint == '&')
1362 scratch_constraint++;
1363 scratch_class = (reg_class_for_constraint
1364 (lookup_constraint (scratch_constraint)));
1366 if (reg_class_subset_p (reload_class, insn_class))
1368 gcc_assert (scratch_class == rclass);
1369 rclass = NO_REGS;
1371 else
1372 rclass = insn_class;
1375 if (rclass == NO_REGS)
1376 sri->icode = icode;
1377 else
1378 sri->t_icode = icode;
1380 return rclass;
1383 /* The default implementation of TARGET_SECONDARY_MEMORY_NEEDED_MODE. */
1385 machine_mode
1386 default_secondary_memory_needed_mode (machine_mode mode)
1388 if (!targetm.lra_p ()
1389 && known_lt (GET_MODE_BITSIZE (mode), BITS_PER_WORD)
1390 && INTEGRAL_MODE_P (mode))
1391 return mode_for_size (BITS_PER_WORD, GET_MODE_CLASS (mode), 0).require ();
1392 return mode;
1395 /* By default, if flag_pic is true, then neither local nor global relocs
1396 should be placed in readonly memory. */
1399 default_reloc_rw_mask (void)
1401 return flag_pic ? 3 : 0;
1404 /* By default, address diff vectors are generated
1405 for jump tables when flag_pic is true. */
1407 bool
1408 default_generate_pic_addr_diff_vec (void)
1410 return flag_pic;
1413 /* Record an element in the table of global constructors. SYMBOL is
1414 a SYMBOL_REF of the function to be called; PRIORITY is a number
1415 between 0 and MAX_INIT_PRIORITY. */
1417 void
1418 default_asm_out_constructor (rtx symbol ATTRIBUTE_UNUSED,
1419 int priority ATTRIBUTE_UNUSED)
1421 sorry ("global constructors not supported on this target");
1424 /* Likewise for global destructors. */
1426 void
1427 default_asm_out_destructor (rtx symbol ATTRIBUTE_UNUSED,
1428 int priority ATTRIBUTE_UNUSED)
1430 sorry ("global destructors not supported on this target");
1433 /* By default, do no modification. */
1434 tree default_mangle_decl_assembler_name (tree decl ATTRIBUTE_UNUSED,
1435 tree id)
1437 return id;
1440 /* The default implementation of TARGET_STATIC_RTX_ALIGNMENT. */
1442 HOST_WIDE_INT
1443 default_static_rtx_alignment (machine_mode mode)
1445 return GET_MODE_ALIGNMENT (mode);
1448 /* The default implementation of TARGET_CONSTANT_ALIGNMENT. */
1450 HOST_WIDE_INT
1451 default_constant_alignment (const_tree, HOST_WIDE_INT align)
1453 return align;
1456 /* An implementation of TARGET_CONSTANT_ALIGNMENT that aligns strings
1457 to at least BITS_PER_WORD but otherwise makes no changes. */
1459 HOST_WIDE_INT
1460 constant_alignment_word_strings (const_tree exp, HOST_WIDE_INT align)
1462 if (TREE_CODE (exp) == STRING_CST)
1463 return MAX (align, BITS_PER_WORD);
1464 return align;
1467 /* Default to natural alignment for vector types, bounded by
1468 MAX_OFILE_ALIGNMENT. */
1470 HOST_WIDE_INT
1471 default_vector_alignment (const_tree type)
1473 unsigned HOST_WIDE_INT align = MAX_OFILE_ALIGNMENT;
1474 tree size = TYPE_SIZE (type);
1475 if (tree_fits_uhwi_p (size))
1476 align = tree_to_uhwi (size);
1477 if (align >= MAX_OFILE_ALIGNMENT)
1478 return MAX_OFILE_ALIGNMENT;
1479 return MAX (align, GET_MODE_ALIGNMENT (TYPE_MODE (type)));
1482 /* The default implementation of
1483 TARGET_VECTORIZE_PREFERRED_VECTOR_ALIGNMENT. */
1485 poly_uint64
1486 default_preferred_vector_alignment (const_tree type)
1488 return TYPE_ALIGN (type);
1491 /* By default assume vectors of element TYPE require a multiple of the natural
1492 alignment of TYPE. TYPE is naturally aligned if IS_PACKED is false. */
1493 bool
1494 default_builtin_vector_alignment_reachable (const_tree /*type*/, bool is_packed)
1496 return ! is_packed;
1499 /* By default, assume that a target supports any factor of misalignment
1500 memory access if it supports movmisalign patten.
1501 is_packed is true if the memory access is defined in a packed struct. */
1502 bool
1503 default_builtin_support_vector_misalignment (machine_mode mode,
1504 const_tree type
1505 ATTRIBUTE_UNUSED,
1506 int misalignment
1507 ATTRIBUTE_UNUSED,
1508 bool is_packed
1509 ATTRIBUTE_UNUSED)
1511 if (optab_handler (movmisalign_optab, mode) != CODE_FOR_nothing)
1512 return true;
1513 return false;
1516 /* By default, only attempt to parallelize bitwise operations, and
1517 possibly adds/subtracts using bit-twiddling. */
1519 machine_mode
1520 default_preferred_simd_mode (scalar_mode)
1522 return word_mode;
1525 /* By default do not split reductions further. */
1527 machine_mode
1528 default_split_reduction (machine_mode mode)
1530 return mode;
1533 /* By default only the preferred vector mode is tried. */
1535 unsigned int
1536 default_autovectorize_vector_modes (vector_modes *, bool)
1538 return 0;
1541 /* The default implementation of TARGET_VECTORIZE_RELATED_MODE. */
1543 opt_machine_mode
1544 default_vectorize_related_mode (machine_mode vector_mode,
1545 scalar_mode element_mode,
1546 poly_uint64 nunits)
1548 machine_mode result_mode;
1549 if ((maybe_ne (nunits, 0U)
1550 || multiple_p (GET_MODE_SIZE (vector_mode),
1551 GET_MODE_SIZE (element_mode), &nunits))
1552 && mode_for_vector (element_mode, nunits).exists (&result_mode)
1553 && VECTOR_MODE_P (result_mode)
1554 && targetm.vector_mode_supported_p (result_mode))
1555 return result_mode;
1557 return opt_machine_mode ();
1560 /* By default a vector of integers is used as a mask. */
1562 opt_machine_mode
1563 default_get_mask_mode (machine_mode mode)
1565 return related_int_vector_mode (mode);
1568 /* By default consider masked stores to be expensive. */
1570 bool
1571 default_empty_mask_is_expensive (unsigned ifn)
1573 return ifn == IFN_MASK_STORE;
1576 /* By default, the cost model accumulates three separate costs (prologue,
1577 loop body, and epilogue) for a vectorized loop or block. So allocate an
1578 array of three unsigned ints, set it to zero, and return its address. */
1580 vector_costs *
1581 default_vectorize_create_costs (vec_info *vinfo, bool costing_for_scalar)
1583 return new vector_costs (vinfo, costing_for_scalar);
1586 /* Determine whether or not a pointer mode is valid. Assume defaults
1587 of ptr_mode or Pmode - can be overridden. */
1588 bool
1589 default_valid_pointer_mode (scalar_int_mode mode)
1591 return (mode == ptr_mode || mode == Pmode);
1594 /* Determine whether the memory reference specified by REF may alias
1595 the C libraries errno location. */
1596 bool
1597 default_ref_may_alias_errno (ao_ref *ref)
1599 tree base = ao_ref_base (ref);
1600 /* The default implementation assumes the errno location is
1601 a declaration of type int or is always accessed via a
1602 pointer to int. We assume that accesses to errno are
1603 not deliberately obfuscated (even in conforming ways). */
1604 if (TYPE_UNSIGNED (TREE_TYPE (base))
1605 || TYPE_MODE (TREE_TYPE (base)) != TYPE_MODE (integer_type_node))
1606 return false;
1607 /* The default implementation assumes an errno location declaration
1608 is never defined in the current compilation unit and may not be
1609 aliased by a local variable. */
1610 if (DECL_P (base)
1611 && DECL_EXTERNAL (base)
1612 && !TREE_STATIC (base))
1613 return true;
1614 else if (TREE_CODE (base) == MEM_REF
1615 && TREE_CODE (TREE_OPERAND (base, 0)) == SSA_NAME)
1617 struct ptr_info_def *pi = SSA_NAME_PTR_INFO (TREE_OPERAND (base, 0));
1618 return !pi || pi->pt.anything || pi->pt.nonlocal;
1620 return false;
1623 /* Return the mode for a pointer to a given ADDRSPACE,
1624 defaulting to ptr_mode for all address spaces. */
1626 scalar_int_mode
1627 default_addr_space_pointer_mode (addr_space_t addrspace ATTRIBUTE_UNUSED)
1629 return ptr_mode;
1632 /* Return the mode for an address in a given ADDRSPACE,
1633 defaulting to Pmode for all address spaces. */
1635 scalar_int_mode
1636 default_addr_space_address_mode (addr_space_t addrspace ATTRIBUTE_UNUSED)
1638 return Pmode;
1641 /* Named address space version of valid_pointer_mode.
1642 To match the above, the same modes apply to all address spaces. */
1644 bool
1645 default_addr_space_valid_pointer_mode (scalar_int_mode mode,
1646 addr_space_t as ATTRIBUTE_UNUSED)
1648 return targetm.valid_pointer_mode (mode);
1651 /* Some places still assume that all pointer or address modes are the
1652 standard Pmode and ptr_mode. These optimizations become invalid if
1653 the target actually supports multiple different modes. For now,
1654 we disable such optimizations on such targets, using this function. */
1656 bool
1657 target_default_pointer_address_modes_p (void)
1659 if (targetm.addr_space.address_mode != default_addr_space_address_mode)
1660 return false;
1661 if (targetm.addr_space.pointer_mode != default_addr_space_pointer_mode)
1662 return false;
1664 return true;
1667 /* Named address space version of legitimate_address_p.
1668 By default, all address spaces have the same form. */
1670 bool
1671 default_addr_space_legitimate_address_p (machine_mode mode, rtx mem,
1672 bool strict,
1673 addr_space_t as ATTRIBUTE_UNUSED)
1675 return targetm.legitimate_address_p (mode, mem, strict);
1678 /* Named address space version of LEGITIMIZE_ADDRESS.
1679 By default, all address spaces have the same form. */
1682 default_addr_space_legitimize_address (rtx x, rtx oldx, machine_mode mode,
1683 addr_space_t as ATTRIBUTE_UNUSED)
1685 return targetm.legitimize_address (x, oldx, mode);
1688 /* The default hook for determining if one named address space is a subset of
1689 another and to return which address space to use as the common address
1690 space. */
1692 bool
1693 default_addr_space_subset_p (addr_space_t subset, addr_space_t superset)
1695 return (subset == superset);
1698 /* The default hook for determining if 0 within a named address
1699 space is a valid address. */
1701 bool
1702 default_addr_space_zero_address_valid (addr_space_t as ATTRIBUTE_UNUSED)
1704 return false;
1707 /* The default hook for debugging the address space is to return the
1708 address space number to indicate DW_AT_address_class. */
1710 default_addr_space_debug (addr_space_t as)
1712 return as;
1715 /* The default hook implementation for TARGET_ADDR_SPACE_DIAGNOSE_USAGE.
1716 Don't complain about any address space. */
1718 void
1719 default_addr_space_diagnose_usage (addr_space_t, location_t)
1724 /* The default hook for TARGET_ADDR_SPACE_CONVERT. This hook should never be
1725 called for targets with only a generic address space. */
1728 default_addr_space_convert (rtx op ATTRIBUTE_UNUSED,
1729 tree from_type ATTRIBUTE_UNUSED,
1730 tree to_type ATTRIBUTE_UNUSED)
1732 gcc_unreachable ();
1735 /* The defualt implementation of TARGET_HARD_REGNO_NREGS. */
1737 unsigned int
1738 default_hard_regno_nregs (unsigned int, machine_mode mode)
1740 /* Targets with variable-sized modes must provide their own definition
1741 of this hook. */
1742 return CEIL (GET_MODE_SIZE (mode).to_constant (), UNITS_PER_WORD);
1745 bool
1746 default_hard_regno_scratch_ok (unsigned int regno ATTRIBUTE_UNUSED)
1748 return true;
1751 /* The default implementation of TARGET_MODE_DEPENDENT_ADDRESS_P. */
1753 bool
1754 default_mode_dependent_address_p (const_rtx addr ATTRIBUTE_UNUSED,
1755 addr_space_t addrspace ATTRIBUTE_UNUSED)
1757 return false;
1760 extern bool default_new_address_profitable_p (rtx, rtx);
1763 /* The default implementation of TARGET_NEW_ADDRESS_PROFITABLE_P. */
1765 bool
1766 default_new_address_profitable_p (rtx memref ATTRIBUTE_UNUSED,
1767 rtx_insn *insn ATTRIBUTE_UNUSED,
1768 rtx new_addr ATTRIBUTE_UNUSED)
1770 return true;
1773 bool
1774 default_target_option_valid_attribute_p (tree ARG_UNUSED (fndecl),
1775 tree ARG_UNUSED (name),
1776 tree ARG_UNUSED (args),
1777 int ARG_UNUSED (flags))
1779 warning (OPT_Wattributes,
1780 "target attribute is not supported on this machine");
1782 return false;
1785 bool
1786 default_target_option_pragma_parse (tree ARG_UNUSED (args),
1787 tree ARG_UNUSED (pop_target))
1789 /* If args is NULL the caller is handle_pragma_pop_options (). In that case,
1790 emit no warning because "#pragma GCC pop_target" is valid on targets that
1791 do not have the "target" pragma. */
1792 if (args)
1793 warning (OPT_Wpragmas,
1794 "%<#pragma GCC target%> is not supported for this machine");
1796 return false;
1799 bool
1800 default_target_can_inline_p (tree caller, tree callee)
1802 tree callee_opts = DECL_FUNCTION_SPECIFIC_TARGET (callee);
1803 tree caller_opts = DECL_FUNCTION_SPECIFIC_TARGET (caller);
1804 if (! callee_opts)
1805 callee_opts = target_option_default_node;
1806 if (! caller_opts)
1807 caller_opts = target_option_default_node;
1809 /* If both caller and callee have attributes, assume that if the
1810 pointer is different, the two functions have different target
1811 options since build_target_option_node uses a hash table for the
1812 options. */
1813 return callee_opts == caller_opts;
1816 /* By default, return false to not need to collect any target information
1817 for inlining. Target maintainer should re-define the hook if the
1818 target want to take advantage of it. */
1820 bool
1821 default_need_ipa_fn_target_info (const_tree, unsigned int &)
1823 return false;
1826 bool
1827 default_update_ipa_fn_target_info (unsigned int &, const gimple *)
1829 return false;
1832 /* If the machine does not have a case insn that compares the bounds,
1833 this means extra overhead for dispatch tables, which raises the
1834 threshold for using them. */
1836 unsigned int
1837 default_case_values_threshold (void)
1839 return (targetm.have_casesi () ? 4 : 5);
1842 bool
1843 default_have_conditional_execution (void)
1845 return HAVE_conditional_execution;
1848 /* Default that no division by constant operations are special. */
1849 bool
1850 default_can_special_div_by_const (enum tree_code, tree, wide_int, rtx *, rtx,
1851 rtx)
1853 return false;
1856 /* By default we assume that c99 functions are present at the runtime,
1857 but sincos is not. */
1858 bool
1859 default_libc_has_function (enum function_class fn_class,
1860 tree type ATTRIBUTE_UNUSED)
1862 if (fn_class == function_c94
1863 || fn_class == function_c99_misc
1864 || fn_class == function_c99_math_complex)
1865 return true;
1867 return false;
1870 /* By default assume that libc has not a fast implementation. */
1872 bool
1873 default_libc_has_fast_function (int fcode ATTRIBUTE_UNUSED)
1875 return false;
1878 bool
1879 gnu_libc_has_function (enum function_class fn_class ATTRIBUTE_UNUSED,
1880 tree type ATTRIBUTE_UNUSED)
1882 return true;
1885 bool
1886 no_c99_libc_has_function (enum function_class fn_class ATTRIBUTE_UNUSED,
1887 tree type ATTRIBUTE_UNUSED)
1889 return false;
1892 /* Assume some c99 functions are present at the runtime including sincos. */
1893 bool
1894 bsd_libc_has_function (enum function_class fn_class,
1895 tree type ATTRIBUTE_UNUSED)
1897 if (fn_class == function_c94
1898 || fn_class == function_c99_misc
1899 || fn_class == function_sincos)
1900 return true;
1902 return false;
1906 tree
1907 default_builtin_tm_load_store (tree ARG_UNUSED (type))
1909 return NULL_TREE;
1912 /* Compute cost of moving registers to/from memory. */
1915 default_memory_move_cost (machine_mode mode ATTRIBUTE_UNUSED,
1916 reg_class_t rclass ATTRIBUTE_UNUSED,
1917 bool in ATTRIBUTE_UNUSED)
1919 #ifndef MEMORY_MOVE_COST
1920 return (4 + memory_move_secondary_cost (mode, (enum reg_class) rclass, in));
1921 #else
1922 return MEMORY_MOVE_COST (MACRO_MODE (mode), (enum reg_class) rclass, in);
1923 #endif
1926 /* Compute cost of moving data from a register of class FROM to one of
1927 TO, using MODE. */
1930 default_register_move_cost (machine_mode mode ATTRIBUTE_UNUSED,
1931 reg_class_t from ATTRIBUTE_UNUSED,
1932 reg_class_t to ATTRIBUTE_UNUSED)
1934 #ifndef REGISTER_MOVE_COST
1935 return 2;
1936 #else
1937 return REGISTER_MOVE_COST (MACRO_MODE (mode),
1938 (enum reg_class) from, (enum reg_class) to);
1939 #endif
1942 /* The default implementation of TARGET_SLOW_UNALIGNED_ACCESS. */
1944 bool
1945 default_slow_unaligned_access (machine_mode, unsigned int)
1947 return STRICT_ALIGNMENT;
1950 /* The default implementation of TARGET_ESTIMATED_POLY_VALUE. */
1952 HOST_WIDE_INT
1953 default_estimated_poly_value (poly_int64 x, poly_value_estimate_kind)
1955 return x.coeffs[0];
1958 /* For hooks which use the MOVE_RATIO macro, this gives the legacy default
1959 behavior. SPEED_P is true if we are compiling for speed. */
1961 unsigned int
1962 get_move_ratio (bool speed_p ATTRIBUTE_UNUSED)
1964 unsigned int move_ratio;
1965 #ifdef MOVE_RATIO
1966 move_ratio = (unsigned int) MOVE_RATIO (speed_p);
1967 #else
1968 #if defined (HAVE_cpymemqi) || defined (HAVE_cpymemhi) || defined (HAVE_cpymemsi) || defined (HAVE_cpymemdi) || defined (HAVE_cpymemti)
1969 move_ratio = 2;
1970 #else /* No cpymem patterns, pick a default. */
1971 move_ratio = ((speed_p) ? 15 : 3);
1972 #endif
1973 #endif
1974 return move_ratio;
1977 /* Return TRUE if the move_by_pieces/set_by_pieces infrastructure should be
1978 used; return FALSE if the cpymem/setmem optab should be expanded, or
1979 a call to memcpy emitted. */
1981 bool
1982 default_use_by_pieces_infrastructure_p (unsigned HOST_WIDE_INT size,
1983 unsigned int alignment,
1984 enum by_pieces_operation op,
1985 bool speed_p)
1987 unsigned int max_size = 0;
1988 unsigned int ratio = 0;
1990 switch (op)
1992 case CLEAR_BY_PIECES:
1993 max_size = STORE_MAX_PIECES;
1994 ratio = CLEAR_RATIO (speed_p);
1995 break;
1996 case MOVE_BY_PIECES:
1997 max_size = MOVE_MAX_PIECES;
1998 ratio = get_move_ratio (speed_p);
1999 break;
2000 case SET_BY_PIECES:
2001 max_size = STORE_MAX_PIECES;
2002 ratio = SET_RATIO (speed_p);
2003 break;
2004 case STORE_BY_PIECES:
2005 max_size = STORE_MAX_PIECES;
2006 ratio = get_move_ratio (speed_p);
2007 break;
2008 case COMPARE_BY_PIECES:
2009 max_size = COMPARE_MAX_PIECES;
2010 /* Pick a likely default, just as in get_move_ratio. */
2011 ratio = speed_p ? 15 : 3;
2012 break;
2015 return by_pieces_ninsns (size, alignment, max_size + 1, op) < ratio;
2018 /* This hook controls code generation for expanding a memcmp operation by
2019 pieces. Return 1 for the normal pattern of compare/jump after each pair
2020 of loads, or a higher number to reduce the number of branches. */
2023 default_compare_by_pieces_branch_ratio (machine_mode)
2025 return 1;
2028 /* Write PATCH_AREA_SIZE NOPs into the asm outfile FILE around a function
2029 entry. If RECORD_P is true and the target supports named sections,
2030 the location of the NOPs will be recorded in a special object section
2031 called "__patchable_function_entries". This routine may be called
2032 twice per function to put NOPs before and after the function
2033 entry. */
2035 void
2036 default_print_patchable_function_entry (FILE *file,
2037 unsigned HOST_WIDE_INT patch_area_size,
2038 bool record_p)
2040 const char *nop_templ = 0;
2041 int code_num;
2042 rtx_insn *my_nop = make_insn_raw (gen_nop ());
2044 /* We use the template alone, relying on the (currently sane) assumption
2045 that the NOP template does not have variable operands. */
2046 code_num = recog_memoized (my_nop);
2047 nop_templ = get_insn_template (code_num, my_nop);
2049 if (record_p && targetm_common.have_named_sections)
2051 char buf[256];
2052 section *previous_section = in_section;
2053 const char *asm_op = integer_asm_op (POINTER_SIZE_UNITS, false);
2055 gcc_assert (asm_op != NULL);
2056 /* If SECTION_LINK_ORDER is supported, this internal label will
2057 be filled as the symbol for linked_to section. */
2058 ASM_GENERATE_INTERNAL_LABEL (buf, "LPFE", current_function_funcdef_no);
2060 unsigned int flags = SECTION_WRITE | SECTION_RELRO;
2061 if (HAVE_GAS_SECTION_LINK_ORDER)
2062 flags |= SECTION_LINK_ORDER;
2064 section *sect = get_section ("__patchable_function_entries",
2065 flags, current_function_decl);
2066 if (HAVE_COMDAT_GROUP && DECL_COMDAT_GROUP (current_function_decl))
2067 switch_to_comdat_section (sect, current_function_decl);
2068 else
2069 switch_to_section (sect);
2070 assemble_align (POINTER_SIZE);
2071 fputs (asm_op, file);
2072 assemble_name_raw (file, buf);
2073 fputc ('\n', file);
2075 switch_to_section (previous_section);
2076 ASM_OUTPUT_LABEL (file, buf);
2079 unsigned i;
2080 for (i = 0; i < patch_area_size; ++i)
2081 output_asm_insn (nop_templ, NULL);
2084 bool
2085 default_profile_before_prologue (void)
2087 #ifdef PROFILE_BEFORE_PROLOGUE
2088 return true;
2089 #else
2090 return false;
2091 #endif
2094 /* The default implementation of TARGET_PREFERRED_RELOAD_CLASS. */
2096 reg_class_t
2097 default_preferred_reload_class (rtx x ATTRIBUTE_UNUSED,
2098 reg_class_t rclass)
2100 #ifdef PREFERRED_RELOAD_CLASS
2101 return (reg_class_t) PREFERRED_RELOAD_CLASS (x, (enum reg_class) rclass);
2102 #else
2103 return rclass;
2104 #endif
2107 /* The default implementation of TARGET_OUTPUT_PREFERRED_RELOAD_CLASS. */
2109 reg_class_t
2110 default_preferred_output_reload_class (rtx x ATTRIBUTE_UNUSED,
2111 reg_class_t rclass)
2113 return rclass;
2116 /* The default implementation of TARGET_PREFERRED_RENAME_CLASS. */
2117 reg_class_t
2118 default_preferred_rename_class (reg_class_t rclass ATTRIBUTE_UNUSED)
2120 return NO_REGS;
2123 /* The default implementation of TARGET_CLASS_LIKELY_SPILLED_P. */
2125 bool
2126 default_class_likely_spilled_p (reg_class_t rclass)
2128 return (reg_class_size[(int) rclass] == 1);
2131 /* The default implementation of TARGET_CLASS_MAX_NREGS. */
2133 unsigned char
2134 default_class_max_nregs (reg_class_t rclass ATTRIBUTE_UNUSED,
2135 machine_mode mode ATTRIBUTE_UNUSED)
2137 #ifdef CLASS_MAX_NREGS
2138 return (unsigned char) CLASS_MAX_NREGS ((enum reg_class) rclass,
2139 MACRO_MODE (mode));
2140 #else
2141 /* Targets with variable-sized modes must provide their own definition
2142 of this hook. */
2143 unsigned int size = GET_MODE_SIZE (mode).to_constant ();
2144 return (size + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
2145 #endif
2148 /* Determine the debugging unwind mechanism for the target. */
2150 enum unwind_info_type
2151 default_debug_unwind_info (void)
2153 /* If the target wants to force the use of dwarf2 unwind info, let it. */
2154 /* ??? Change all users to the hook, then poison this. */
2155 #ifdef DWARF2_FRAME_INFO
2156 if (DWARF2_FRAME_INFO)
2157 return UI_DWARF2;
2158 #endif
2160 /* Otherwise, only turn it on if dwarf2 debugging is enabled. */
2161 #ifdef DWARF2_DEBUGGING_INFO
2162 if (dwarf_debuginfo_p ())
2163 return UI_DWARF2;
2164 #endif
2166 return UI_NONE;
2169 /* Targets that set NUM_POLY_INT_COEFFS to something greater than 1
2170 must define this hook. */
2172 unsigned int
2173 default_dwarf_poly_indeterminate_value (unsigned int, unsigned int *, int *)
2175 gcc_unreachable ();
2178 /* Determine the correct mode for a Dwarf frame register that represents
2179 register REGNO. */
2181 machine_mode
2182 default_dwarf_frame_reg_mode (int regno)
2184 machine_mode save_mode = reg_raw_mode[regno];
2186 if (targetm.hard_regno_call_part_clobbered (eh_edge_abi.id (),
2187 regno, save_mode))
2188 save_mode = choose_hard_reg_mode (regno, 1, &eh_edge_abi);
2189 return save_mode;
2192 /* To be used by targets where reg_raw_mode doesn't return the right
2193 mode for registers used in apply_builtin_return and apply_builtin_arg. */
2195 fixed_size_mode
2196 default_get_reg_raw_mode (int regno)
2198 /* Targets must override this hook if the underlying register is
2199 variable-sized. */
2200 return as_a <fixed_size_mode> (reg_raw_mode[regno]);
2203 /* Return true if a leaf function should stay leaf even with profiling
2204 enabled. */
2206 bool
2207 default_keep_leaf_when_profiled ()
2209 return false;
2212 /* Return true if the state of option OPTION should be stored in PCH files
2213 and checked by default_pch_valid_p. Store the option's current state
2214 in STATE if so. */
2216 static inline bool
2217 option_affects_pch_p (int option, struct cl_option_state *state)
2219 if ((cl_options[option].flags & CL_TARGET) == 0)
2220 return false;
2221 if ((cl_options[option].flags & CL_PCH_IGNORE) != 0)
2222 return false;
2223 if (option_flag_var (option, &global_options) == &target_flags)
2224 if (targetm.check_pch_target_flags)
2225 return false;
2226 return get_option_state (&global_options, option, state);
2229 /* Default version of get_pch_validity.
2230 By default, every flag difference is fatal; that will be mostly right for
2231 most targets, but completely right for very few. */
2233 void *
2234 default_get_pch_validity (size_t *sz)
2236 struct cl_option_state state;
2237 size_t i;
2238 char *result, *r;
2240 *sz = 2;
2241 if (targetm.check_pch_target_flags)
2242 *sz += sizeof (target_flags);
2243 for (i = 0; i < cl_options_count; i++)
2244 if (option_affects_pch_p (i, &state))
2245 *sz += state.size;
2247 result = r = XNEWVEC (char, *sz);
2248 r[0] = flag_pic;
2249 r[1] = flag_pie;
2250 r += 2;
2251 if (targetm.check_pch_target_flags)
2253 memcpy (r, &target_flags, sizeof (target_flags));
2254 r += sizeof (target_flags);
2257 for (i = 0; i < cl_options_count; i++)
2258 if (option_affects_pch_p (i, &state))
2260 memcpy (r, state.data, state.size);
2261 r += state.size;
2264 return result;
2267 /* Return a message which says that a PCH file was created with a different
2268 setting of OPTION. */
2270 static const char *
2271 pch_option_mismatch (const char *option)
2273 return xasprintf (_("created and used with differing settings of '%s'"),
2274 option);
2277 /* Default version of pch_valid_p. */
2279 const char *
2280 default_pch_valid_p (const void *data_p, size_t len ATTRIBUTE_UNUSED)
2282 struct cl_option_state state;
2283 const char *data = (const char *)data_p;
2284 size_t i;
2286 /* -fpic and -fpie also usually make a PCH invalid. */
2287 if (data[0] != flag_pic)
2288 return _("created and used with different settings of %<-fpic%>");
2289 if (data[1] != flag_pie)
2290 return _("created and used with different settings of %<-fpie%>");
2291 data += 2;
2293 /* Check target_flags. */
2294 if (targetm.check_pch_target_flags)
2296 int tf;
2297 const char *r;
2299 memcpy (&tf, data, sizeof (target_flags));
2300 data += sizeof (target_flags);
2301 r = targetm.check_pch_target_flags (tf);
2302 if (r != NULL)
2303 return r;
2306 for (i = 0; i < cl_options_count; i++)
2307 if (option_affects_pch_p (i, &state))
2309 if (memcmp (data, state.data, state.size) != 0)
2310 return pch_option_mismatch (cl_options[i].opt_text);
2311 data += state.size;
2314 return NULL;
2317 /* Default version of cstore_mode. */
2319 scalar_int_mode
2320 default_cstore_mode (enum insn_code icode)
2322 return as_a <scalar_int_mode> (insn_data[(int) icode].operand[0].mode);
2325 /* Default version of member_type_forces_blk. */
2327 bool
2328 default_member_type_forces_blk (const_tree, machine_mode)
2330 return false;
2333 /* Default version of canonicalize_comparison. */
2335 void
2336 default_canonicalize_comparison (int *, rtx *, rtx *, bool)
2340 /* Default implementation of TARGET_ATOMIC_ASSIGN_EXPAND_FENV. */
2342 void
2343 default_atomic_assign_expand_fenv (tree *, tree *, tree *)
2347 #ifndef PAD_VARARGS_DOWN
2348 #define PAD_VARARGS_DOWN BYTES_BIG_ENDIAN
2349 #endif
2351 /* Build an indirect-ref expression over the given TREE, which represents a
2352 piece of a va_arg() expansion. */
2353 tree
2354 build_va_arg_indirect_ref (tree addr)
2356 addr = build_simple_mem_ref_loc (EXPR_LOCATION (addr), addr);
2357 return addr;
2360 /* The "standard" implementation of va_arg: read the value from the
2361 current (padded) address and increment by the (padded) size. */
2363 tree
2364 std_gimplify_va_arg_expr (tree valist, tree type, gimple_seq *pre_p,
2365 gimple_seq *post_p)
2367 tree addr, t, type_size, rounded_size, valist_tmp;
2368 unsigned HOST_WIDE_INT align, boundary;
2369 bool indirect;
2371 /* All of the alignment and movement below is for args-grow-up machines.
2372 As of 2004, there are only 3 ARGS_GROW_DOWNWARD targets, and they all
2373 implement their own specialized gimplify_va_arg_expr routines. */
2374 if (ARGS_GROW_DOWNWARD)
2375 gcc_unreachable ();
2377 indirect = pass_va_arg_by_reference (type);
2378 if (indirect)
2379 type = build_pointer_type (type);
2381 if (targetm.calls.split_complex_arg
2382 && TREE_CODE (type) == COMPLEX_TYPE
2383 && targetm.calls.split_complex_arg (type))
2385 tree real_part, imag_part;
2387 real_part = std_gimplify_va_arg_expr (valist,
2388 TREE_TYPE (type), pre_p, NULL);
2389 real_part = get_initialized_tmp_var (real_part, pre_p);
2391 imag_part = std_gimplify_va_arg_expr (unshare_expr (valist),
2392 TREE_TYPE (type), pre_p, NULL);
2393 imag_part = get_initialized_tmp_var (imag_part, pre_p);
2395 return build2 (COMPLEX_EXPR, type, real_part, imag_part);
2398 align = PARM_BOUNDARY / BITS_PER_UNIT;
2399 boundary = targetm.calls.function_arg_boundary (TYPE_MODE (type), type);
2401 /* When we align parameter on stack for caller, if the parameter
2402 alignment is beyond MAX_SUPPORTED_STACK_ALIGNMENT, it will be
2403 aligned at MAX_SUPPORTED_STACK_ALIGNMENT. We will match callee
2404 here with caller. */
2405 if (boundary > MAX_SUPPORTED_STACK_ALIGNMENT)
2406 boundary = MAX_SUPPORTED_STACK_ALIGNMENT;
2408 boundary /= BITS_PER_UNIT;
2410 /* Hoist the valist value into a temporary for the moment. */
2411 valist_tmp = get_initialized_tmp_var (valist, pre_p);
2413 /* va_list pointer is aligned to PARM_BOUNDARY. If argument actually
2414 requires greater alignment, we must perform dynamic alignment. */
2415 if (boundary > align
2416 && !TYPE_EMPTY_P (type)
2417 && !integer_zerop (TYPE_SIZE (type)))
2419 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist_tmp,
2420 fold_build_pointer_plus_hwi (valist_tmp, boundary - 1));
2421 gimplify_and_add (t, pre_p);
2423 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist_tmp,
2424 fold_build2 (BIT_AND_EXPR, TREE_TYPE (valist),
2425 valist_tmp,
2426 build_int_cst (TREE_TYPE (valist), -boundary)));
2427 gimplify_and_add (t, pre_p);
2429 else
2430 boundary = align;
2432 /* If the actual alignment is less than the alignment of the type,
2433 adjust the type accordingly so that we don't assume strict alignment
2434 when dereferencing the pointer. */
2435 boundary *= BITS_PER_UNIT;
2436 if (boundary < TYPE_ALIGN (type))
2438 type = build_variant_type_copy (type);
2439 SET_TYPE_ALIGN (type, boundary);
2442 /* Compute the rounded size of the type. */
2443 type_size = arg_size_in_bytes (type);
2444 rounded_size = round_up (type_size, align);
2446 /* Reduce rounded_size so it's sharable with the postqueue. */
2447 gimplify_expr (&rounded_size, pre_p, post_p, is_gimple_val, fb_rvalue);
2449 /* Get AP. */
2450 addr = valist_tmp;
2451 if (PAD_VARARGS_DOWN && !integer_zerop (rounded_size))
2453 /* Small args are padded downward. */
2454 t = fold_build2_loc (input_location, GT_EXPR, sizetype,
2455 rounded_size, size_int (align));
2456 t = fold_build3 (COND_EXPR, sizetype, t, size_zero_node,
2457 size_binop (MINUS_EXPR, rounded_size, type_size));
2458 addr = fold_build_pointer_plus (addr, t);
2461 /* Compute new value for AP. */
2462 t = fold_build_pointer_plus (valist_tmp, rounded_size);
2463 t = build2 (MODIFY_EXPR, TREE_TYPE (valist), valist, t);
2464 gimplify_and_add (t, pre_p);
2466 addr = fold_convert (build_pointer_type (type), addr);
2468 if (indirect)
2469 addr = build_va_arg_indirect_ref (addr);
2471 return build_va_arg_indirect_ref (addr);
2474 /* An implementation of TARGET_CAN_USE_DOLOOP_P for targets that do
2475 not support nested low-overhead loops. */
2477 bool
2478 can_use_doloop_if_innermost (const widest_int &, const widest_int &,
2479 unsigned int loop_depth, bool)
2481 return loop_depth == 1;
2484 /* Default implementation of TARGET_OPTAB_SUPPORTED_P. */
2486 bool
2487 default_optab_supported_p (int, machine_mode, machine_mode, optimization_type)
2489 return true;
2492 /* Default implementation of TARGET_MAX_NOCE_IFCVT_SEQ_COST. */
2494 unsigned int
2495 default_max_noce_ifcvt_seq_cost (edge e)
2497 bool predictable_p = predictable_edge_p (e);
2499 if (predictable_p)
2501 if (OPTION_SET_P (param_max_rtl_if_conversion_predictable_cost))
2502 return param_max_rtl_if_conversion_predictable_cost;
2504 else
2506 if (OPTION_SET_P (param_max_rtl_if_conversion_unpredictable_cost))
2507 return param_max_rtl_if_conversion_unpredictable_cost;
2510 return BRANCH_COST (true, predictable_p) * COSTS_N_INSNS (3);
2513 /* Default implementation of TARGET_MIN_ARITHMETIC_PRECISION. */
2515 unsigned int
2516 default_min_arithmetic_precision (void)
2518 return WORD_REGISTER_OPERATIONS ? BITS_PER_WORD : BITS_PER_UNIT;
2521 /* Default implementation of TARGET_C_EXCESS_PRECISION. */
2523 enum flt_eval_method
2524 default_excess_precision (enum excess_precision_type ATTRIBUTE_UNUSED)
2526 return FLT_EVAL_METHOD_PROMOTE_TO_FLOAT;
2529 /* Default implementation for
2530 TARGET_STACK_CLASH_PROTECTION_ALLOCA_PROBE_RANGE. */
2531 HOST_WIDE_INT
2532 default_stack_clash_protection_alloca_probe_range (void)
2534 return 0;
2537 /* The default implementation of TARGET_EARLY_REMAT_MODES. */
2539 void
2540 default_select_early_remat_modes (sbitmap)
2544 /* The default implementation of TARGET_PREFERRED_ELSE_VALUE. */
2546 tree
2547 default_preferred_else_value (unsigned, tree type, unsigned, tree *)
2549 return build_zero_cst (type);
2552 /* Default implementation of TARGET_HAVE_SPECULATION_SAFE_VALUE. */
2553 bool
2554 default_have_speculation_safe_value (bool active ATTRIBUTE_UNUSED)
2556 #ifdef HAVE_speculation_barrier
2557 return active ? HAVE_speculation_barrier : true;
2558 #else
2559 return false;
2560 #endif
2562 /* Alternative implementation of TARGET_HAVE_SPECULATION_SAFE_VALUE
2563 that can be used on targets that never have speculative execution. */
2564 bool
2565 speculation_safe_value_not_needed (bool active)
2567 return !active;
2570 /* Default implementation of the speculation-safe-load builtin. This
2571 implementation simply copies val to result and generates a
2572 speculation_barrier insn, if such a pattern is defined. */
2574 default_speculation_safe_value (machine_mode mode ATTRIBUTE_UNUSED,
2575 rtx result, rtx val,
2576 rtx failval ATTRIBUTE_UNUSED)
2578 emit_move_insn (result, val);
2580 #ifdef HAVE_speculation_barrier
2581 /* Assume the target knows what it is doing: if it defines a
2582 speculation barrier, but it is not enabled, then assume that one
2583 isn't needed. */
2584 if (HAVE_speculation_barrier)
2585 emit_insn (gen_speculation_barrier ());
2586 #endif
2588 return result;
2591 /* How many bits to shift in order to access the tag bits.
2592 The default is to store the tag in the top 8 bits of a 64 bit pointer, hence
2593 shifting 56 bits will leave just the tag. */
2594 #define HWASAN_SHIFT (GET_MODE_PRECISION (Pmode) - 8)
2595 #define HWASAN_SHIFT_RTX GEN_INT (HWASAN_SHIFT)
2597 bool
2598 default_memtag_can_tag_addresses ()
2600 return false;
2603 uint8_t
2604 default_memtag_tag_size ()
2606 return 8;
2609 uint8_t
2610 default_memtag_granule_size ()
2612 return 16;
2615 /* The default implementation of TARGET_MEMTAG_INSERT_RANDOM_TAG. */
2617 default_memtag_insert_random_tag (rtx untagged, rtx target)
2619 gcc_assert (param_hwasan_instrument_stack);
2620 if (param_hwasan_random_frame_tag)
2622 rtx fn = init_one_libfunc ("__hwasan_generate_tag");
2623 rtx new_tag = emit_library_call_value (fn, NULL_RTX, LCT_NORMAL, QImode);
2624 return targetm.memtag.set_tag (untagged, new_tag, target);
2626 else
2628 /* NOTE: The kernel API does not have __hwasan_generate_tag exposed.
2629 In the future we may add the option emit random tags with inline
2630 instrumentation instead of function calls. This would be the same
2631 between the kernel and userland. */
2632 return untagged;
2636 /* The default implementation of TARGET_MEMTAG_ADD_TAG. */
2638 default_memtag_add_tag (rtx base, poly_int64 offset, uint8_t tag_offset)
2640 /* Need to look into what the most efficient code sequence is.
2641 This is a code sequence that would be emitted *many* times, so we
2642 want it as small as possible.
2644 There are two places where tag overflow is a question:
2645 - Tagging the shadow stack.
2646 (both tagging and untagging).
2647 - Tagging addressable pointers.
2649 We need to ensure both behaviors are the same (i.e. that the tag that
2650 ends up in a pointer after "overflowing" the tag bits with a tag addition
2651 is the same that ends up in the shadow space).
2653 The aim is that the behavior of tag addition should follow modulo
2654 wrapping in both instances.
2656 The libhwasan code doesn't have any path that increments a pointer's tag,
2657 which means it has no opinion on what happens when a tag increment
2658 overflows (and hence we can choose our own behavior). */
2660 offset += ((uint64_t)tag_offset << HWASAN_SHIFT);
2661 return plus_constant (Pmode, base, offset);
2664 /* The default implementation of TARGET_MEMTAG_SET_TAG. */
2666 default_memtag_set_tag (rtx untagged, rtx tag, rtx target)
2668 gcc_assert (GET_MODE (untagged) == Pmode && GET_MODE (tag) == QImode);
2669 tag = expand_simple_binop (Pmode, ASHIFT, tag, HWASAN_SHIFT_RTX, NULL_RTX,
2670 /* unsignedp = */1, OPTAB_WIDEN);
2671 rtx ret = expand_simple_binop (Pmode, IOR, untagged, tag, target,
2672 /* unsignedp = */1, OPTAB_DIRECT);
2673 gcc_assert (ret);
2674 return ret;
2677 /* The default implementation of TARGET_MEMTAG_EXTRACT_TAG. */
2679 default_memtag_extract_tag (rtx tagged_pointer, rtx target)
2681 rtx tag = expand_simple_binop (Pmode, LSHIFTRT, tagged_pointer,
2682 HWASAN_SHIFT_RTX, target,
2683 /* unsignedp = */0,
2684 OPTAB_DIRECT);
2685 rtx ret = gen_lowpart (QImode, tag);
2686 gcc_assert (ret);
2687 return ret;
2690 /* The default implementation of TARGET_MEMTAG_UNTAGGED_POINTER. */
2692 default_memtag_untagged_pointer (rtx tagged_pointer, rtx target)
2694 rtx tag_mask = gen_int_mode ((HOST_WIDE_INT_1U << HWASAN_SHIFT) - 1, Pmode);
2695 rtx untagged_base = expand_simple_binop (Pmode, AND, tagged_pointer,
2696 tag_mask, target, true,
2697 OPTAB_DIRECT);
2698 gcc_assert (untagged_base);
2699 return untagged_base;
2702 /* The default implementation of TARGET_GCOV_TYPE_SIZE. */
2703 HOST_WIDE_INT
2704 default_gcov_type_size (void)
2706 return TYPE_PRECISION (long_long_integer_type_node) > 32 ? 64 : 32;
2709 #include "gt-targhooks.h"