Daily bump.
[official-gcc.git] / gcc / langhooks.c
blob49613b42077eae4ee9b71029746651e427aeb835
1 /* Default language-specific hooks.
2 Copyright (C) 2001-2021 Free Software Foundation, Inc.
3 Contributed by Alexandre Oliva <aoliva@redhat.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "target.h"
25 #include "rtl.h"
26 #include "tree.h"
27 #include "timevar.h"
28 #include "stringpool.h"
29 #include "diagnostic.h"
30 #include "intl.h"
31 #include "toplev.h"
32 #include "attribs.h"
33 #include "gimplify.h"
34 #include "langhooks.h"
35 #include "tree-diagnostic.h"
36 #include "output.h"
37 #include "timevar.h"
38 #include "stor-layout.h"
39 #include "cgraph.h"
40 #include "debug.h"
42 /* Do nothing; in many cases the default hook. */
44 void
45 lhd_do_nothing (void)
49 /* Do nothing (tree). */
51 void
52 lhd_do_nothing_t (tree ARG_UNUSED (t))
56 /* Pass through (tree). */
57 tree
58 lhd_pass_through_t (tree t)
60 return t;
63 /* Do nothing (int, int, int). Return NULL_TREE. */
65 tree
66 lhd_do_nothing_iii_return_null_tree (int ARG_UNUSED (i),
67 int ARG_UNUSED (j),
68 int ARG_UNUSED (k))
70 return NULL_TREE;
73 /* Do nothing (function). */
75 void
76 lhd_do_nothing_f (struct function * ARG_UNUSED (f))
80 /* Do nothing (return NULL_TREE). */
82 tree
83 lhd_return_null_tree (tree ARG_UNUSED (t))
85 return NULL_TREE;
88 /* Do nothing (return NULL_TREE). */
90 tree
91 lhd_return_null_const_tree (const_tree ARG_UNUSED (t))
93 return NULL_TREE;
96 /* The default post options hook. */
98 bool
99 lhd_post_options (const char ** ARG_UNUSED (pfilename))
101 /* Excess precision other than "fast" requires front-end
102 support. */
103 flag_excess_precision = EXCESS_PRECISION_FAST;
104 return false;
107 /* Called from by print-tree.c. */
109 void
110 lhd_print_tree_nothing (FILE * ARG_UNUSED (file),
111 tree ARG_UNUSED (node),
112 int ARG_UNUSED (indent))
116 /* Called from check_global_declaration. */
118 bool
119 lhd_warn_unused_global_decl (const_tree decl)
121 /* This is what used to exist in check_global_declaration. Probably
122 not many of these actually apply to non-C languages. */
124 if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
125 return false;
126 if (VAR_P (decl) && TREE_READONLY (decl))
127 return false;
128 if (DECL_IN_SYSTEM_HEADER (decl))
129 return false;
131 return true;
134 /* Set the DECL_ASSEMBLER_NAME for DECL. */
135 void
136 lhd_set_decl_assembler_name (tree decl)
138 tree id;
140 /* set_decl_assembler_name may be called on TYPE_DECL to record ODR
141 name for C++ types. By default types have no ODR names. */
142 if (TREE_CODE (decl) == TYPE_DECL)
143 return;
145 /* The language-independent code should never use the
146 DECL_ASSEMBLER_NAME for lots of DECLs. Only FUNCTION_DECLs and
147 VAR_DECLs for variables with static storage duration need a real
148 DECL_ASSEMBLER_NAME. */
149 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL
150 || (VAR_P (decl)
151 && (TREE_STATIC (decl)
152 || DECL_EXTERNAL (decl)
153 || TREE_PUBLIC (decl))));
155 /* By default, assume the name to use in assembly code is the same
156 as that used in the source language. (That's correct for C, and
157 GCC used to set DECL_ASSEMBLER_NAME to the same value as
158 DECL_NAME in build_decl, so this choice provides backwards
159 compatibility with existing front-ends. This assumption is wrapped
160 in a target hook, to allow for target-specific modification of the
161 identifier.
163 Can't use just the variable's own name for a variable whose scope
164 is less than the whole compilation. Concatenate a distinguishing
165 number. */
167 if (TREE_PUBLIC (decl) || DECL_FILE_SCOPE_P (decl))
168 id = targetm.mangle_decl_assembler_name (decl, DECL_NAME (decl));
169 else
171 const char *name = IDENTIFIER_POINTER (DECL_NAME (decl));
172 static unsigned long num;
173 char *label;
175 ASM_FORMAT_PRIVATE_NAME (label, name, num++);
176 id = get_identifier (label);
179 SET_DECL_ASSEMBLER_NAME (decl, id);
182 /* Forcibly overwrite the DECL_ASSEMBLER_NAME for DECL to NAME. */
183 void
184 lhd_overwrite_decl_assembler_name (tree decl, tree name)
186 DECL_ASSEMBLER_NAME_RAW (decl) = name;
189 /* Type promotion for variable arguments. */
190 tree
191 lhd_type_promotes_to (tree ARG_UNUSED (type))
193 gcc_unreachable ();
196 /* Registration of machine- or os-specific builtin types. */
197 void
198 lhd_register_builtin_type (tree ARG_UNUSED (type),
199 const char * ARG_UNUSED (name))
203 /* Invalid use of an incomplete type. */
204 void
205 lhd_incomplete_type_error (location_t ARG_UNUSED (loc),
206 const_tree ARG_UNUSED (value), const_tree type)
208 gcc_assert (TREE_CODE (type) == ERROR_MARK);
209 return;
212 /* Provide a default routine for alias sets that always returns -1. This
213 is used by languages that don't need to do anything special. */
215 alias_set_type
216 lhd_get_alias_set (tree ARG_UNUSED (t))
218 return -1;
221 /* This is the default decl_printable_name function. */
223 const char *
224 lhd_decl_printable_name (tree decl, int ARG_UNUSED (verbosity))
226 gcc_assert (decl && DECL_NAME (decl));
227 return IDENTIFIER_POINTER (DECL_NAME (decl));
230 /* This is the default dwarf_name function. */
232 const char *
233 lhd_dwarf_name (tree t, int verbosity)
235 gcc_assert (DECL_P (t));
237 return lang_hooks.decl_printable_name (t, verbosity);
240 /* This compares two types for equivalence ("compatible" in C-based languages).
241 This routine should only return 1 if it is sure. It should not be used
242 in contexts where erroneously returning 0 causes problems. */
245 lhd_types_compatible_p (tree x, tree y)
247 return TYPE_MAIN_VARIANT (x) == TYPE_MAIN_VARIANT (y);
250 /* lang_hooks.tree_dump.dump_tree: Dump language-specific parts of tree
251 nodes. Returns nonzero if it does not want the usual dumping of the
252 second argument. */
254 bool
255 lhd_tree_dump_dump_tree (void *di ATTRIBUTE_UNUSED, tree t ATTRIBUTE_UNUSED)
257 return false;
260 /* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a
261 language-specific way. */
264 lhd_tree_dump_type_quals (const_tree t)
266 return TYPE_QUALS (t);
269 /* lang_hooks.gimplify_expr re-writes *EXPR_P into GIMPLE form. */
272 lhd_gimplify_expr (tree *expr_p ATTRIBUTE_UNUSED,
273 gimple_seq *pre_p ATTRIBUTE_UNUSED,
274 gimple_seq *post_p ATTRIBUTE_UNUSED)
276 return GS_UNHANDLED;
279 /* lang_hooks.tree_size: Determine the size of a tree with code C,
280 which is a language-specific tree code in category tcc_constant,
281 tcc_exceptional or tcc_type. The default expects never to be called. */
282 size_t
283 lhd_tree_size (enum tree_code c ATTRIBUTE_UNUSED)
285 gcc_unreachable ();
288 /* Return true if decl, which is a function decl, may be called by a
289 sibcall. */
291 bool
292 lhd_decl_ok_for_sibcall (const_tree decl ATTRIBUTE_UNUSED)
294 return true;
297 /* Generic global declaration processing. This is meant to be called
298 by the front-ends at the end of parsing. C/C++ do their own thing,
299 but other front-ends may call this. */
301 void
302 global_decl_processing (void)
304 tree globals, decl, *vec;
305 int len, i;
307 timevar_stop (TV_PHASE_PARSING);
308 timevar_start (TV_PHASE_DEFERRED);
309 /* Really define vars that have had only a tentative definition.
310 Really output inline functions that must actually be callable
311 and have not been output so far. */
313 globals = lang_hooks.decls.getdecls ();
314 len = list_length (globals);
315 vec = XNEWVEC (tree, len);
317 /* Process the decls in reverse order--earliest first.
318 Put them into VEC from back to front, then take out from front. */
320 for (i = 0, decl = globals; i < len; i++, decl = DECL_CHAIN (decl))
321 vec[len - i - 1] = decl;
323 wrapup_global_declarations (vec, len);
324 timevar_stop (TV_PHASE_DEFERRED);
326 timevar_start (TV_PHASE_PARSING);
327 free (vec);
330 /* Called to perform language-specific initialization of CTX. */
331 void
332 lhd_initialize_diagnostics (diagnostic_context *ctx ATTRIBUTE_UNUSED)
336 /* Called to register dumps. */
337 void
338 lhd_register_dumps (gcc::dump_manager *)
342 /* Called to perform language-specific options initialization. */
343 void
344 lhd_init_options (unsigned int decoded_options_count ATTRIBUTE_UNUSED,
345 struct cl_decoded_option *decoded_options ATTRIBUTE_UNUSED)
349 /* By default, always complain about options for the wrong language. */
350 bool
351 lhd_complain_wrong_lang_p (const struct cl_option *option ATTRIBUTE_UNUSED)
353 return true;
356 /* By default, no language-specific options are valid. */
357 bool
358 lhd_handle_option (size_t code ATTRIBUTE_UNUSED,
359 const char *arg ATTRIBUTE_UNUSED,
360 HOST_WIDE_INT value ATTRIBUTE_UNUSED,
361 int kind ATTRIBUTE_UNUSED,
362 location_t loc ATTRIBUTE_UNUSED,
363 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED)
365 return false;
368 /* The default function to print out name of current function that caused
369 an error. */
370 void
371 lhd_print_error_function (diagnostic_context *context, const char *file,
372 diagnostic_info *diagnostic)
374 if (diagnostic_last_function_changed (context, diagnostic))
376 char *old_prefix = pp_take_prefix (context->printer);
377 tree abstract_origin = diagnostic_abstract_origin (diagnostic);
378 char *new_prefix = (file && abstract_origin == NULL)
379 ? file_name_as_prefix (context, file) : NULL;
381 pp_set_prefix (context->printer, new_prefix);
383 if (current_function_decl == NULL)
384 pp_printf (context->printer, _("At top level:"));
385 else
387 tree fndecl, ao;
389 if (abstract_origin)
391 ao = BLOCK_ABSTRACT_ORIGIN (abstract_origin);
392 gcc_assert (TREE_CODE (ao) == FUNCTION_DECL);
393 fndecl = ao;
395 else
396 fndecl = current_function_decl;
398 if (TREE_CODE (TREE_TYPE (fndecl)) == METHOD_TYPE)
399 pp_printf
400 (context->printer, _("In member function %qs"),
401 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)));
402 else
403 pp_printf
404 (context->printer, _("In function %qs"),
405 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)));
407 while (abstract_origin)
409 location_t *locus;
410 tree block = abstract_origin;
412 locus = &BLOCK_SOURCE_LOCATION (block);
413 fndecl = NULL;
414 block = BLOCK_SUPERCONTEXT (block);
415 while (block && TREE_CODE (block) == BLOCK
416 && BLOCK_ABSTRACT_ORIGIN (block))
418 ao = BLOCK_ABSTRACT_ORIGIN (block);
419 if (TREE_CODE (ao) == FUNCTION_DECL)
421 fndecl = ao;
422 break;
424 else if (TREE_CODE (ao) != BLOCK)
425 break;
427 block = BLOCK_SUPERCONTEXT (block);
429 if (fndecl)
430 abstract_origin = block;
431 else
433 while (block && TREE_CODE (block) == BLOCK)
434 block = BLOCK_SUPERCONTEXT (block);
436 if (block && TREE_CODE (block) == FUNCTION_DECL)
437 fndecl = block;
438 abstract_origin = NULL;
440 if (fndecl)
442 expanded_location s = expand_location (*locus);
443 pp_comma (context->printer);
444 pp_newline (context->printer);
445 if (s.file != NULL)
447 if (context->show_column)
448 pp_printf (context->printer,
449 _(" inlined from %qs at %r%s:%d:%d%R"),
450 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)),
451 "locus", s.file, s.line, s.column);
452 else
453 pp_printf (context->printer,
454 _(" inlined from %qs at %r%s:%d%R"),
455 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)),
456 "locus", s.file, s.line);
459 else
460 pp_printf (context->printer, _(" inlined from %qs"),
461 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)));
464 pp_colon (context->printer);
467 diagnostic_set_last_function (context, diagnostic);
468 pp_newline_and_flush (context->printer);
469 context->printer->prefix = old_prefix;
470 free ((char*) new_prefix);
474 tree
475 lhd_make_node (enum tree_code code)
477 return make_node (code);
480 /* Default implementation of LANG_HOOKS_SIMULATE_ENUM_DECL. Assume a
481 simple int-based enumerator (which is all the hook can be used for
482 at present) and push each decl individually without any decoration.
484 This definition is suitable for LTO and is generic enough that it
485 might be reusable elsewhere. */
486 tree
487 lhd_simulate_enum_decl (location_t loc, const char *name,
488 vec<string_int_pair> *values_ptr)
490 tree enumtype = lang_hooks.types.make_type (ENUMERAL_TYPE);
491 tree enumdecl = build_decl (loc, TYPE_DECL, get_identifier (name), enumtype);
492 TYPE_STUB_DECL (enumtype) = enumdecl;
494 tree value_chain = NULL_TREE;
495 string_int_pair *value;
496 vec<string_int_pair> values = *values_ptr;
497 unsigned int i;
498 FOR_EACH_VEC_ELT (values, i, value)
500 tree value_decl = build_decl (loc, CONST_DECL,
501 get_identifier (value->first), enumtype);
502 DECL_INITIAL (value_decl) = build_int_cst (integer_type_node,
503 value->second);
504 lang_hooks.decls.pushdecl (value_decl);
505 value_chain = tree_cons (value_decl, DECL_INITIAL (value_decl),
506 value_chain);
509 TYPE_MIN_VALUE (enumtype) = TYPE_MIN_VALUE (integer_type_node);
510 TYPE_MAX_VALUE (enumtype) = TYPE_MAX_VALUE (integer_type_node);
511 SET_TYPE_ALIGN (enumtype, TYPE_ALIGN (integer_type_node));
512 TYPE_PRECISION (enumtype) = TYPE_PRECISION (integer_type_node);
513 layout_type (enumtype);
514 lang_hooks.decls.pushdecl (enumdecl);
516 return enumtype;
519 /* Default implementation of LANG_HOOKS_SIMULATE_RECORD_DECL.
520 Just create a normal RECORD_TYPE and a TYPE_DECL for it. */
521 tree
522 lhd_simulate_record_decl (location_t loc, const char *name,
523 array_slice<const tree> fields)
525 for (unsigned int i = 1; i < fields.size (); ++i)
526 /* Reversed by finish_builtin_struct. */
527 DECL_CHAIN (fields[i]) = fields[i - 1];
529 tree type = lang_hooks.types.make_type (RECORD_TYPE);
530 finish_builtin_struct (type, name, fields.back (), NULL_TREE);
532 tree decl = build_decl (loc, TYPE_DECL, get_identifier (name), type);
533 lang_hooks.decls.pushdecl (decl);
535 return type;
538 /* Default implementation of LANG_HOOKS_TYPE_FOR_SIZE.
539 Return an integer type with PRECISION bits of precision,
540 that is unsigned if UNSIGNEDP is nonzero, otherwise signed. */
542 tree
543 lhd_type_for_size (unsigned precision, int unsignedp)
545 int i;
547 if (precision == TYPE_PRECISION (integer_type_node))
548 return unsignedp ? unsigned_type_node : integer_type_node;
550 if (precision == TYPE_PRECISION (signed_char_type_node))
551 return unsignedp ? unsigned_char_type_node : signed_char_type_node;
553 if (precision == TYPE_PRECISION (short_integer_type_node))
554 return unsignedp ? short_unsigned_type_node : short_integer_type_node;
556 if (precision == TYPE_PRECISION (long_integer_type_node))
557 return unsignedp ? long_unsigned_type_node : long_integer_type_node;
559 if (precision == TYPE_PRECISION (long_long_integer_type_node))
560 return unsignedp
561 ? long_long_unsigned_type_node
562 : long_long_integer_type_node;
564 for (i = 0; i < NUM_INT_N_ENTS; i ++)
565 if (int_n_enabled_p[i]
566 && precision == int_n_data[i].bitsize)
567 return (unsignedp ? int_n_trees[i].unsigned_type
568 : int_n_trees[i].signed_type);
570 if (precision <= TYPE_PRECISION (intQI_type_node))
571 return unsignedp ? unsigned_intQI_type_node : intQI_type_node;
573 if (precision <= TYPE_PRECISION (intHI_type_node))
574 return unsignedp ? unsigned_intHI_type_node : intHI_type_node;
576 if (precision <= TYPE_PRECISION (intSI_type_node))
577 return unsignedp ? unsigned_intSI_type_node : intSI_type_node;
579 if (precision <= TYPE_PRECISION (intDI_type_node))
580 return unsignedp ? unsigned_intDI_type_node : intDI_type_node;
582 if (precision <= TYPE_PRECISION (intTI_type_node))
583 return unsignedp ? unsigned_intTI_type_node : intTI_type_node;
585 return NULL_TREE;
588 HOST_WIDE_INT
589 lhd_to_target_charset (HOST_WIDE_INT c)
591 return c;
594 tree
595 lhd_expr_to_decl (tree expr, bool *tc ATTRIBUTE_UNUSED, bool *se ATTRIBUTE_UNUSED)
597 return expr;
600 /* Return sharing kind if OpenMP sharing attribute of DECL is
601 predetermined, OMP_CLAUSE_DEFAULT_UNSPECIFIED otherwise. */
603 enum omp_clause_default_kind
604 lhd_omp_predetermined_sharing (tree decl)
606 if (DECL_ARTIFICIAL (decl))
607 return OMP_CLAUSE_DEFAULT_SHARED;
608 return OMP_CLAUSE_DEFAULT_UNSPECIFIED;
611 /* Return sharing kind if OpenMP mapping attribute of DECL is
612 predetermined, OMP_CLAUSE_DEFAULTMAP_CATEGORY_UNSPECIFIED otherwise. */
614 enum omp_clause_defaultmap_kind
615 lhd_omp_predetermined_mapping (tree decl)
617 if (DECL_ARTIFICIAL (decl))
618 return OMP_CLAUSE_DEFAULTMAP_TO;
619 return OMP_CLAUSE_DEFAULTMAP_CATEGORY_UNSPECIFIED;
622 /* Generate code to copy SRC to DST. */
624 tree
625 lhd_omp_assignment (tree clause ATTRIBUTE_UNUSED, tree dst, tree src)
627 return build2 (MODIFY_EXPR, TREE_TYPE (dst), dst, src);
630 /* Finalize clause C. */
632 void
633 lhd_omp_finish_clause (tree, gimple_seq *, bool)
637 /* Return true if DECL is a scalar variable (for the purpose of
638 implicit firstprivatization & mapping). Only if alloc_ptr_ok
639 are allocatables and pointers accepted. */
641 bool
642 lhd_omp_scalar_p (tree decl, bool ptr_ok)
644 tree type = TREE_TYPE (decl);
645 if (TREE_CODE (type) == REFERENCE_TYPE)
646 type = TREE_TYPE (type);
647 if (TREE_CODE (type) == COMPLEX_TYPE)
648 type = TREE_TYPE (type);
649 if (INTEGRAL_TYPE_P (type)
650 || SCALAR_FLOAT_TYPE_P (type)
651 || (ptr_ok && TREE_CODE (type) == POINTER_TYPE))
652 return true;
653 return false;
656 /* Return static initializer for DECL. */
658 tree *
659 lhd_omp_get_decl_init (tree decl)
661 return &DECL_INITIAL (decl);
664 /* Free any extra memory used to hold initializer information for
665 variable declarations. */
667 void
668 lhd_omp_finish_decl_inits (void)
672 /* Register language specific type size variables as potentially OpenMP
673 firstprivate variables. */
675 void
676 lhd_omp_firstprivatize_type_sizes (struct gimplify_omp_ctx *c ATTRIBUTE_UNUSED,
677 tree t ATTRIBUTE_UNUSED)
681 /* Return true if TYPE is an OpenMP mappable type. */
683 bool
684 lhd_omp_mappable_type (tree type)
686 /* Mappable type has to be complete. */
687 if (type == error_mark_node || !COMPLETE_TYPE_P (type))
688 return false;
689 return true;
692 /* Common function for add_builtin_function, add_builtin_function_ext_scope
693 and simulate_builtin_function_decl. */
695 static tree
696 build_builtin_function (location_t location, const char *name, tree type,
697 int function_code, enum built_in_class cl,
698 const char *library_name, tree attrs)
700 tree id = get_identifier (name);
701 tree decl = build_decl (location, FUNCTION_DECL, id, type);
703 TREE_PUBLIC (decl) = 1;
704 DECL_EXTERNAL (decl) = 1;
706 set_decl_built_in_function (decl, cl, function_code);
708 if (library_name)
710 tree libname = get_identifier (library_name);
712 libname = targetm.mangle_decl_assembler_name (decl, libname);
713 SET_DECL_ASSEMBLER_NAME (decl, libname);
716 /* Possibly apply some default attributes to this built-in function. */
717 if (attrs)
718 decl_attributes (&decl, attrs, ATTR_FLAG_BUILT_IN);
719 else
720 decl_attributes (&decl, NULL_TREE, 0);
722 return decl;
725 /* Create a builtin function. */
727 tree
728 add_builtin_function (const char *name,
729 tree type,
730 int function_code,
731 enum built_in_class cl,
732 const char *library_name,
733 tree attrs)
735 tree decl = build_builtin_function (BUILTINS_LOCATION, name, type,
736 function_code, cl, library_name, attrs);
737 return lang_hooks.builtin_function (decl);
740 /* Like add_builtin_function, but make sure the scope is the external scope.
741 This is used to delay putting in back end builtin functions until the ISA
742 that defines the builtin is declared via function specific target options,
743 which can save memory for machines like the x86_64 that have multiple ISAs.
744 If this points to the same function as builtin_function, the backend must
745 add all of the builtins at program initialization time. */
747 tree
748 add_builtin_function_ext_scope (const char *name,
749 tree type,
750 int function_code,
751 enum built_in_class cl,
752 const char *library_name,
753 tree attrs)
755 tree decl = build_builtin_function (BUILTINS_LOCATION, name, type,
756 function_code, cl, library_name, attrs);
757 return lang_hooks.builtin_function_ext_scope (decl);
760 /* Simulate a declaration of a target-specific built-in function at
761 location LOCATION, as though it had been declared directly in the
762 source language. NAME is the name of the function, TYPE is its function
763 type, FUNCTION_CODE is the target-specific function code, LIBRARY_NAME
764 is the name of the underlying library function (NULL if none) and
765 ATTRS is a list of function attributes.
767 Return the decl of the declared function. */
769 tree
770 simulate_builtin_function_decl (location_t location, const char *name,
771 tree type, int function_code,
772 const char *library_name, tree attrs)
774 tree decl = build_builtin_function (location, name, type,
775 function_code, BUILT_IN_MD,
776 library_name, attrs);
777 tree new_decl = lang_hooks.simulate_builtin_function_decl (decl);
779 /* Give the front end a chance to create a new decl if necessary,
780 but if the front end discards the decl in favour of a conflicting
781 (erroneous) previous definition, return the decl that we tried but
782 failed to add. This allows the caller to process the returned decl
783 normally, even though the source code won't be able to use it. */
784 if (TREE_CODE (new_decl) == FUNCTION_DECL
785 && fndecl_built_in_p (new_decl, function_code, BUILT_IN_MD))
786 return new_decl;
788 return decl;
791 tree
792 lhd_builtin_function (tree decl)
794 lang_hooks.decls.pushdecl (decl);
795 return decl;
798 /* Create a builtin type. */
800 tree
801 add_builtin_type (const char *name, tree type)
803 tree id = get_identifier (name);
804 tree decl = build_decl (BUILTINS_LOCATION, TYPE_DECL, id, type);
805 return lang_hooks.decls.pushdecl (decl);
808 /* LTO hooks. */
810 /* Used to save and restore any previously active section. */
811 static section *saved_section;
814 /* Begin a new LTO output section named NAME. This default implementation
815 saves the old section and emits assembly code to switch to the new
816 section. */
818 void
819 lhd_begin_section (const char *name)
821 section *section;
823 /* Save the old section so we can restore it in lto_end_asm_section. */
824 gcc_assert (!saved_section);
825 saved_section = in_section;
826 if (!saved_section)
827 saved_section = text_section;
829 /* Create a new section and switch to it. */
830 section = get_section (name, SECTION_DEBUG | SECTION_EXCLUDE, NULL, true);
831 switch_to_section (section);
835 /* Write DATA of length LEN to the current LTO output section. This default
836 implementation just calls assemble_string. */
838 void
839 lhd_append_data (const void *data, size_t len, void *)
841 if (data)
843 timevar_push (TV_IPA_LTO_OUTPUT);
844 assemble_string ((const char *)data, len);
845 timevar_pop (TV_IPA_LTO_OUTPUT);
850 /* Finish the current LTO output section. This default implementation emits
851 assembly code to switch to any section previously saved by
852 lhd_begin_section. */
854 void
855 lhd_end_section (void)
857 if (saved_section)
859 switch_to_section (saved_section);
860 saved_section = NULL;
864 /* Default implementation of enum_underlying_base_type using type_for_size. */
866 tree
867 lhd_enum_underlying_base_type (const_tree enum_type)
869 return lang_hooks.types.type_for_size (TYPE_PRECISION (enum_type),
870 TYPE_UNSIGNED (enum_type));
873 /* Default implementation of LANG_HOOKS_GET_SUBSTRING_LOCATION. */
875 const char *
876 lhd_get_substring_location (const substring_loc &, location_t *)
878 return "unimplemented";
881 /* Default implementation of LANG_HOOKS_DECL_DWARF_ATTRIBUTE. Don't add
882 any attributes. */
885 lhd_decl_dwarf_attribute (const_tree, int)
887 return -1;
890 /* Default implementation of LANG_HOOKS_TYPE_DWARF_ATTRIBUTE. Don't add
891 any attributes. */
894 lhd_type_dwarf_attribute (const_tree, int)
896 return -1;
899 /* Default implementation of LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING.
900 Just return TYPE_SIZE_UNIT unadjusted. */
902 tree
903 lhd_unit_size_without_reusable_padding (tree t)
905 return TYPE_SIZE_UNIT (t);
908 /* Default implementation for the finalize_early_debug hook. */
910 void
911 lhd_finalize_early_debug (void)
913 /* Emit early debug for reachable functions, and by consequence,
914 locally scoped symbols. */
915 struct cgraph_node *cnode;
916 FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (cnode)
917 (*debug_hooks->early_global_decl) (cnode->decl);
920 /* Returns true if the current lang_hooks represents the GNU C frontend. */
922 bool
923 lang_GNU_C (void)
925 return (startswith (lang_hooks.name, "GNU C")
926 && (lang_hooks.name[5] == '\0' || ISDIGIT (lang_hooks.name[5])));
929 /* Returns true if the current lang_hooks represents the GNU C++ frontend. */
931 bool
932 lang_GNU_CXX (void)
934 return startswith (lang_hooks.name, "GNU C++");
937 /* Returns true if the current lang_hooks represents the GNU Fortran frontend. */
939 bool
940 lang_GNU_Fortran (void)
942 return startswith (lang_hooks.name, "GNU Fortran");
945 /* Returns true if the current lang_hooks represents the GNU Objective-C
946 frontend. */
948 bool
949 lang_GNU_OBJC (void)
951 return startswith (lang_hooks.name, "GNU Objective-C");