1/* Default language-specific hooks.
2 Copyright (C) 2001-2023 Free Software Foundation, Inc.
3 Contributed by Alexandre Oliva <aoliva@redhat.com>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 3, or (at your option)
10any later version.
11
12GCC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
20
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"
41
42/* Do nothing; in many cases the default hook. */
43
44void
45lhd_do_nothing (void)
46{
47}
48
49/* Do nothing (tree). */
50
51void
52lhd_do_nothing_t (tree ARG_UNUSED (t))
53{
54}
55
56/* Pass through (tree). */
57tree
58lhd_pass_through_t (tree t)
59{
60 return t;
61}
62
63/* Do nothing (int, int, int). Return NULL_TREE. */
64
65tree
66lhd_do_nothing_iii_return_null_tree (int ARG_UNUSED (i),
67 int ARG_UNUSED (j),
68 int ARG_UNUSED (k))
69{
70 return NULL_TREE;
71}
72
73/* Do nothing (function). */
74
75void
76lhd_do_nothing_f (struct function * ARG_UNUSED (f))
77{
78}
79
80/* Do nothing (return NULL_TREE). */
81
82tree
83lhd_return_null_tree (tree ARG_UNUSED (t))
84{
85 return NULL_TREE;
86}
87
88/* Do nothing (return NULL_TREE). */
89
90tree
91lhd_return_null_const_tree (const_tree ARG_UNUSED (t))
92{
93 return NULL_TREE;
94}
95
96/* The default post options hook. */
97
98bool
99lhd_post_options (const char ** ARG_UNUSED (pfilename))
100{
101 /* Excess precision other than "fast" requires front-end
102 support. */
103 flag_excess_precision = EXCESS_PRECISION_FAST;
104 return false;
105}
106
107/* Called from by print-tree.cc. */
108
109void
110lhd_print_tree_nothing (FILE * ARG_UNUSED (file),
111 tree ARG_UNUSED (node),
112 int ARG_UNUSED (indent))
113{
114}
115
116/* Called from check_global_declaration. */
117
118bool
119lhd_warn_unused_global_decl (const_tree decl)
120{
121 /* This is what used to exist in check_global_declaration. Probably
122 not many of these actually apply to non-C languages. */
123
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;
130
131 return true;
132}
133
134/* Set the DECL_ASSEMBLER_NAME for DECL. */
135void
136lhd_set_decl_assembler_name (tree decl)
137{
138 tree id;
139
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;
144
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))));
154
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.
162
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. */
166
167 if (TREE_PUBLIC (decl) || DECL_FILE_SCOPE_P (decl))
168 id = targetm.mangle_decl_assembler_name (decl, DECL_NAME (decl));
169 else
170 {
171 const char *name = IDENTIFIER_POINTER (DECL_NAME (decl));
172 static unsigned long num;
173 char *label;
174
175 ASM_FORMAT_PRIVATE_NAME (label, name, num++);
176 id = get_identifier (label);
177 }
178
179 SET_DECL_ASSEMBLER_NAME (decl, id);
180}
181
182/* Forcibly overwrite the DECL_ASSEMBLER_NAME for DECL to NAME. */
183void
184lhd_overwrite_decl_assembler_name (tree decl, tree name)
185{
186 DECL_ASSEMBLER_NAME_RAW (decl) = name;
187}
188
189/* Type promotion for variable arguments. */
190tree
191lhd_type_promotes_to (tree ARG_UNUSED (type))
192{
193 gcc_unreachable ();
194}
195
196/* Registration of machine- or os-specific builtin types. */
197void
198lhd_register_builtin_type (tree ARG_UNUSED (type),
199 const char * ARG_UNUSED (name))
200{
201}
202
203/* Invalid use of an incomplete type. */
204void
205lhd_incomplete_type_error (location_t ARG_UNUSED (loc),
206 const_tree ARG_UNUSED (value), const_tree type)
207{
208 gcc_assert (TREE_CODE (type) == ERROR_MARK);
209 return;
210}
211
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. */
214
215alias_set_type
216lhd_get_alias_set (tree ARG_UNUSED (t))
217{
218 return -1;
219}
220
221/* This is the default decl_printable_name function. */
222
223const char *
224lhd_decl_printable_name (tree decl, int ARG_UNUSED (verbosity))
225{
226 gcc_assert (decl && DECL_NAME (decl));
227 return IDENTIFIER_POINTER (DECL_NAME (decl));
228}
229
230/* This is the default dwarf_name function. */
231
232const char *
233lhd_dwarf_name (tree t, int verbosity)
234{
235 gcc_assert (DECL_P (t));
236
237 return lang_hooks.decl_printable_name (t, verbosity);
238}
239
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. */
243
244int
245lhd_types_compatible_p (tree x, tree y)
246{
247 return TYPE_MAIN_VARIANT (x) == TYPE_MAIN_VARIANT (y);
248}
249
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. */
253
254bool
255lhd_tree_dump_dump_tree (void *di ATTRIBUTE_UNUSED, tree t ATTRIBUTE_UNUSED)
256{
257 return false;
258}
259
260/* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a
261 language-specific way. */
262
263int
264lhd_tree_dump_type_quals (const_tree t)
265{
266 return TYPE_QUALS (t);
267}
268
269/* lang_hooks.gimplify_expr re-writes *EXPR_P into GIMPLE form. */
270
271int
272lhd_gimplify_expr (tree *expr_p ATTRIBUTE_UNUSED,
273 gimple_seq *pre_p ATTRIBUTE_UNUSED,
274 gimple_seq *post_p ATTRIBUTE_UNUSED)
275{
276 return GS_UNHANDLED;
277}
278
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. */
282size_t
283lhd_tree_size (enum tree_code c ATTRIBUTE_UNUSED)
284{
285 gcc_unreachable ();
286}
287
288/* Return true if decl, which is a function decl, may be called by a
289 sibcall. */
290
291bool
292lhd_decl_ok_for_sibcall (const_tree decl ATTRIBUTE_UNUSED)
293{
294 return true;
295}
296
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. */
300
301void
302global_decl_processing (void)
303{
304 tree globals, decl, *vec;
305 int len, i;
306
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. */
312
313 globals = lang_hooks.decls.getdecls ();
314 len = list_length (globals);
315 vec = XNEWVEC (tree, len);
316
317 /* Process the decls in reverse order--earliest first.
318 Put them into VEC from back to front, then take out from front. */
319
320 for (i = 0, decl = globals; i < len; i++, decl = DECL_CHAIN (decl))
321 vec[len - i - 1] = decl;
322
323 wrapup_global_declarations (vec, len);
324 timevar_stop (TV_PHASE_DEFERRED);
325
326 timevar_start (TV_PHASE_PARSING);
327 free (ptr: vec);
328}
329
330/* Called to perform language-specific initialization of CTX. */
331void
332lhd_initialize_diagnostics (diagnostic_context *ctx ATTRIBUTE_UNUSED)
333{
334}
335
336/* Called to register dumps. */
337void
338lhd_register_dumps (gcc::dump_manager *)
339{
340}
341
342/* Called to perform language-specific options initialization. */
343void
344lhd_init_options (unsigned int decoded_options_count ATTRIBUTE_UNUSED,
345 struct cl_decoded_option *decoded_options ATTRIBUTE_UNUSED)
346{
347}
348
349/* By default, always complain about options for the wrong language. */
350bool
351lhd_complain_wrong_lang_p (const struct cl_option *option ATTRIBUTE_UNUSED)
352{
353 return true;
354}
355
356/* By default, no language-specific options are valid. */
357bool
358lhd_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)
364{
365 return false;
366}
367
368/* The default function to print out name of current function that caused
369 an error. */
370void
371lhd_print_error_function (diagnostic_context *context, const char *file,
372 diagnostic_info *diagnostic)
373{
374 if (diagnostic_last_function_changed (context, diagnostic))
375 {
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;
380
381 pp_set_prefix (context->printer, new_prefix);
382
383 if (current_function_decl == NULL)
384 pp_printf (context->printer, _("At top level:"));
385 else
386 {
387 tree fndecl, ao;
388
389 if (abstract_origin)
390 {
391 ao = BLOCK_ABSTRACT_ORIGIN (abstract_origin);
392 gcc_assert (TREE_CODE (ao) == FUNCTION_DECL);
393 fndecl = ao;
394 }
395 else
396 fndecl = current_function_decl;
397
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)));
406
407 while (abstract_origin)
408 {
409 location_t *locus;
410 tree block = abstract_origin;
411
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))
417 {
418 ao = BLOCK_ABSTRACT_ORIGIN (block);
419 if (TREE_CODE (ao) == FUNCTION_DECL)
420 {
421 fndecl = ao;
422 break;
423 }
424 else if (TREE_CODE (ao) != BLOCK)
425 break;
426
427 block = BLOCK_SUPERCONTEXT (block);
428 }
429 if (fndecl)
430 abstract_origin = block;
431 else
432 {
433 while (block && TREE_CODE (block) == BLOCK)
434 block = BLOCK_SUPERCONTEXT (block);
435
436 if (block && TREE_CODE (block) == FUNCTION_DECL)
437 fndecl = block;
438 abstract_origin = NULL;
439 }
440 if (fndecl)
441 {
442 expanded_location s = expand_location (*locus);
443 pp_comma (context->printer);
444 pp_newline (context->printer);
445 if (s.file != NULL)
446 {
447 if (context->m_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);
457
458 }
459 else
460 pp_printf (context->printer, _(" inlined from %qs"),
461 identifier_to_locale (lang_hooks.decl_printable_name (fndecl, 2)));
462 }
463 }
464 pp_colon (context->printer);
465 }
466
467 diagnostic_set_last_function (context, diagnostic);
468 pp_newline_and_flush (context->printer);
469 context->printer->prefix = old_prefix;
470 free (ptr: (char*) new_prefix);
471 }
472}
473
474tree
475lhd_make_node (enum tree_code code)
476{
477 return make_node (code);
478}
479
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.
483
484 This definition is suitable for LTO and is generic enough that it
485 might be reusable elsewhere. */
486tree
487lhd_simulate_enum_decl (location_t loc, const char *name,
488 vec<string_int_pair> *values_ptr)
489{
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;
493
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)
499 {
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);
507 }
508
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);
515
516 return enumtype;
517}
518
519/* Default implementation of LANG_HOOKS_SIMULATE_RECORD_DECL.
520 Just create a normal RECORD_TYPE and a TYPE_DECL for it. */
521tree
522lhd_simulate_record_decl (location_t loc, const char *name,
523 array_slice<const tree> fields)
524{
525 for (unsigned int i = 1; i < fields.size (); ++i)
526 /* Reversed by finish_builtin_struct. */
527 DECL_CHAIN (fields[i]) = fields[i - 1];
528
529 tree type = lang_hooks.types.make_type (RECORD_TYPE);
530 finish_builtin_struct (type, name, fields.back (), NULL_TREE);
531
532 tree decl = build_decl (loc, TYPE_DECL, get_identifier (name), type);
533 lang_hooks.decls.pushdecl (decl);
534
535 return type;
536}
537
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. */
541
542tree
543lhd_type_for_size (unsigned precision, int unsignedp)
544{
545 int i;
546
547 if (precision == TYPE_PRECISION (integer_type_node))
548 return unsignedp ? unsigned_type_node : integer_type_node;
549
550 if (precision == TYPE_PRECISION (signed_char_type_node))
551 return unsignedp ? unsigned_char_type_node : signed_char_type_node;
552
553 if (precision == TYPE_PRECISION (short_integer_type_node))
554 return unsignedp ? short_unsigned_type_node : short_integer_type_node;
555
556 if (precision == TYPE_PRECISION (long_integer_type_node))
557 return unsignedp ? long_unsigned_type_node : long_integer_type_node;
558
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;
563
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);
569
570 if (precision <= TYPE_PRECISION (intQI_type_node))
571 return unsignedp ? unsigned_intQI_type_node : intQI_type_node;
572
573 if (precision <= TYPE_PRECISION (intHI_type_node))
574 return unsignedp ? unsigned_intHI_type_node : intHI_type_node;
575
576 if (precision <= TYPE_PRECISION (intSI_type_node))
577 return unsignedp ? unsigned_intSI_type_node : intSI_type_node;
578
579 if (precision <= TYPE_PRECISION (intDI_type_node))
580 return unsignedp ? unsigned_intDI_type_node : intDI_type_node;
581
582 if (precision <= TYPE_PRECISION (intTI_type_node))
583 return unsignedp ? unsigned_intTI_type_node : intTI_type_node;
584
585 return NULL_TREE;
586}
587
588HOST_WIDE_INT
589lhd_to_target_charset (HOST_WIDE_INT c)
590{
591 return c;
592}
593
594tree
595lhd_expr_to_decl (tree expr, bool *tc ATTRIBUTE_UNUSED, bool *se ATTRIBUTE_UNUSED)
596{
597 return expr;
598}
599
600/* Return sharing kind if OpenMP sharing attribute of DECL is
601 predetermined, OMP_CLAUSE_DEFAULT_UNSPECIFIED otherwise. */
602
603enum omp_clause_default_kind
604lhd_omp_predetermined_sharing (tree decl)
605{
606 if (DECL_ARTIFICIAL (decl))
607 return OMP_CLAUSE_DEFAULT_SHARED;
608 return OMP_CLAUSE_DEFAULT_UNSPECIFIED;
609}
610
611/* Return sharing kind if OpenMP mapping attribute of DECL is
612 predetermined, OMP_CLAUSE_DEFAULTMAP_CATEGORY_UNSPECIFIED otherwise. */
613
614enum omp_clause_defaultmap_kind
615lhd_omp_predetermined_mapping (tree decl)
616{
617 if (DECL_ARTIFICIAL (decl))
618 return OMP_CLAUSE_DEFAULTMAP_TO;
619 return OMP_CLAUSE_DEFAULTMAP_CATEGORY_UNSPECIFIED;
620}
621
622/* Generate code to copy SRC to DST. */
623
624tree
625lhd_omp_assignment (tree clause ATTRIBUTE_UNUSED, tree dst, tree src)
626{
627 return build2 (MODIFY_EXPR, TREE_TYPE (dst), dst, src);
628}
629
630/* Finalize clause C. */
631
632void
633lhd_omp_finish_clause (tree, gimple_seq *, bool)
634{
635}
636
637/* Return array size; cf. omp_array_data. */
638
639tree
640lhd_omp_array_size (tree, gimple_seq *)
641{
642 return NULL_TREE;
643}
644
645/* Return true if DECL is a scalar variable (for the purpose of
646 implicit firstprivatization & mapping). Only if alloc_ptr_ok
647 are allocatables and pointers accepted. */
648
649bool
650lhd_omp_scalar_p (tree decl, bool ptr_ok)
651{
652 tree type = TREE_TYPE (decl);
653 if (TREE_CODE (type) == REFERENCE_TYPE)
654 type = TREE_TYPE (type);
655 if (TREE_CODE (type) == COMPLEX_TYPE)
656 type = TREE_TYPE (type);
657 if (INTEGRAL_TYPE_P (type)
658 || SCALAR_FLOAT_TYPE_P (type)
659 || (ptr_ok && TREE_CODE (type) == POINTER_TYPE))
660 return true;
661 return false;
662}
663
664/* Return static initializer for DECL. */
665
666tree *
667lhd_omp_get_decl_init (tree decl)
668{
669 return &DECL_INITIAL (decl);
670}
671
672/* Free any extra memory used to hold initializer information for
673 variable declarations. */
674
675void
676lhd_omp_finish_decl_inits (void)
677{
678}
679
680/* Register language specific type size variables as potentially OpenMP
681 firstprivate variables. */
682
683void
684lhd_omp_firstprivatize_type_sizes (struct gimplify_omp_ctx *c ATTRIBUTE_UNUSED,
685 tree t ATTRIBUTE_UNUSED)
686{
687}
688
689/* Common function for add_builtin_function, add_builtin_function_ext_scope
690 and simulate_builtin_function_decl. */
691
692static tree
693build_builtin_function (location_t location, const char *name, tree type,
694 int function_code, enum built_in_class cl,
695 const char *library_name, tree attrs)
696{
697 tree id = get_identifier (name);
698 tree decl = build_decl (location, FUNCTION_DECL, id, type);
699
700 TREE_PUBLIC (decl) = 1;
701 DECL_EXTERNAL (decl) = 1;
702
703 set_decl_built_in_function (decl, fclass: cl, fcode: function_code);
704
705 if (library_name)
706 {
707 tree libname = get_identifier (library_name);
708
709 libname = targetm.mangle_decl_assembler_name (decl, libname);
710 SET_DECL_ASSEMBLER_NAME (decl, libname);
711 }
712
713 /* Possibly apply some default attributes to this built-in function. */
714 if (attrs)
715 decl_attributes (&decl, attrs, ATTR_FLAG_BUILT_IN);
716 else
717 decl_attributes (&decl, NULL_TREE, 0);
718
719 return decl;
720}
721
722/* Create a builtin function. */
723
724tree
725add_builtin_function (const char *name,
726 tree type,
727 int function_code,
728 enum built_in_class cl,
729 const char *library_name,
730 tree attrs)
731{
732 tree decl = build_builtin_function (BUILTINS_LOCATION, name, type,
733 function_code, cl, library_name, attrs);
734 return lang_hooks.builtin_function (decl);
735}
736
737/* Like add_builtin_function, but make sure the scope is the external scope.
738 This is used to delay putting in back end builtin functions until the ISA
739 that defines the builtin is declared via function specific target options,
740 which can save memory for machines like the x86_64 that have multiple ISAs.
741 If this points to the same function as builtin_function, the backend must
742 add all of the builtins at program initialization time. */
743
744tree
745add_builtin_function_ext_scope (const char *name,
746 tree type,
747 int function_code,
748 enum built_in_class cl,
749 const char *library_name,
750 tree attrs)
751{
752 tree decl = build_builtin_function (BUILTINS_LOCATION, name, type,
753 function_code, cl, library_name, attrs);
754 return lang_hooks.builtin_function_ext_scope (decl);
755}
756
757/* Simulate a declaration of a target-specific built-in function at
758 location LOCATION, as though it had been declared directly in the
759 source language. NAME is the name of the function, TYPE is its function
760 type, FUNCTION_CODE is the target-specific function code, LIBRARY_NAME
761 is the name of the underlying library function (NULL if none) and
762 ATTRS is a list of function attributes.
763
764 Return the decl of the declared function. */
765
766tree
767simulate_builtin_function_decl (location_t location, const char *name,
768 tree type, int function_code,
769 const char *library_name, tree attrs)
770{
771 tree decl = build_builtin_function (location, name, type,
772 function_code, cl: BUILT_IN_MD,
773 library_name, attrs);
774 tree new_decl = lang_hooks.simulate_builtin_function_decl (decl);
775
776 /* Give the front end a chance to create a new decl if necessary,
777 but if the front end discards the decl in favour of a conflicting
778 (erroneous) previous definition, return the decl that we tried but
779 failed to add. This allows the caller to process the returned decl
780 normally, even though the source code won't be able to use it. */
781 if (TREE_CODE (new_decl) == FUNCTION_DECL
782 && fndecl_built_in_p (node: new_decl, name: function_code, klass: BUILT_IN_MD))
783 return new_decl;
784
785 return decl;
786}
787
788tree
789lhd_builtin_function (tree decl)
790{
791 lang_hooks.decls.pushdecl (decl);
792 return decl;
793}
794
795/* Create a builtin type. */
796
797tree
798add_builtin_type (const char *name, tree type)
799{
800 tree id = get_identifier (name);
801 tree decl = build_decl (BUILTINS_LOCATION, TYPE_DECL, id, type);
802 return lang_hooks.decls.pushdecl (decl);
803}
804
805/* LTO hooks. */
806
807/* Used to save and restore any previously active section. */
808static section *saved_section;
809
810
811/* Begin a new LTO output section named NAME. This default implementation
812 saves the old section and emits assembly code to switch to the new
813 section. */
814
815void
816lhd_begin_section (const char *name)
817{
818 section *section;
819
820 /* Save the old section so we can restore it in lto_end_asm_section. */
821 gcc_assert (!saved_section);
822 saved_section = in_section;
823 if (!saved_section)
824 saved_section = text_section;
825
826 /* Create a new section and switch to it. */
827 section = get_section (name, SECTION_DEBUG | SECTION_EXCLUDE, NULL, not_existing: true);
828 switch_to_section (section);
829}
830
831
832/* Write DATA of length LEN to the current LTO output section. This default
833 implementation just calls assemble_string. */
834
835void
836lhd_append_data (const void *data, size_t len, void *)
837{
838 if (data)
839 {
840 timevar_push (tv: TV_IPA_LTO_OUTPUT);
841 assemble_string ((const char *)data, len);
842 timevar_pop (tv: TV_IPA_LTO_OUTPUT);
843 }
844}
845
846
847/* Finish the current LTO output section. This default implementation emits
848 assembly code to switch to any section previously saved by
849 lhd_begin_section. */
850
851void
852lhd_end_section (void)
853{
854 if (saved_section)
855 {
856 switch_to_section (saved_section);
857 saved_section = NULL;
858 }
859}
860
861/* Default implementation of enum_underlying_base_type using type_for_size. */
862
863tree
864lhd_enum_underlying_base_type (const_tree enum_type)
865{
866 return lang_hooks.types.type_for_size (TYPE_PRECISION (enum_type),
867 TYPE_UNSIGNED (enum_type));
868}
869
870/* Default implementation of LANG_HOOKS_GET_SUBSTRING_LOCATION. */
871
872const char *
873lhd_get_substring_location (const substring_loc &, location_t *)
874{
875 return "unimplemented";
876}
877
878/* Default implementation of LANG_HOOKS_DECL_DWARF_ATTRIBUTE. Don't add
879 any attributes. */
880
881int
882lhd_decl_dwarf_attribute (const_tree, int)
883{
884 return -1;
885}
886
887/* Default implementation of LANG_HOOKS_TYPE_DWARF_ATTRIBUTE. Don't add
888 any attributes. */
889
890int
891lhd_type_dwarf_attribute (const_tree, int)
892{
893 return -1;
894}
895
896/* Default implementation of LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING.
897 Just return TYPE_SIZE_UNIT unadjusted. */
898
899tree
900lhd_unit_size_without_reusable_padding (tree t)
901{
902 return TYPE_SIZE_UNIT (t);
903}
904
905/* Default implementation for the finalize_early_debug hook. */
906
907void
908lhd_finalize_early_debug (void)
909{
910 /* Emit early debug for reachable functions, and by consequence,
911 locally scoped symbols. */
912 struct cgraph_node *cnode;
913 FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (cnode)
914 (*debug_hooks->early_global_decl) (cnode->decl);
915}
916
917/* Default implementation of LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE. */
918
919const char *
920lhd_get_sarif_source_language (const char *)
921{
922 return NULL;
923}
924
925/* Returns true if the current lang_hooks represents the GNU C frontend. */
926
927bool
928lang_GNU_C (void)
929{
930 return (startswith (str: lang_hooks.name, prefix: "GNU C")
931 && (lang_hooks.name[5] == '\0' || ISDIGIT (lang_hooks.name[5])));
932}
933
934/* Returns true if the current lang_hooks represents the GNU C++ frontend. */
935
936bool
937lang_GNU_CXX (void)
938{
939 return startswith (str: lang_hooks.name, prefix: "GNU C++");
940}
941
942/* Returns true if the current lang_hooks represents the GNU Fortran frontend. */
943
944bool
945lang_GNU_Fortran (void)
946{
947 return startswith (str: lang_hooks.name, prefix: "GNU Fortran");
948}
949
950/* Returns true if the current lang_hooks represents the GNU Objective-C
951 frontend. */
952
953bool
954lang_GNU_OBJC (void)
955{
956 return startswith (str: lang_hooks.name, prefix: "GNU Objective-C");
957}
958

source code of gcc/langhooks.cc