1 /* Default language-specific hooks.
2 Copyright 2001, 2002, 2003, 2004 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 2, or (at your option)
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 COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
24 #include "coretypes.h"
28 #include "tree-inline.h"
29 #include "tree-gimple.h"
31 #include "insn-config.h"
32 #include "integrate.h"
34 #include "langhooks.h"
35 #include "langhooks-def.h"
37 #include "diagnostic.h"
39 /* Do nothing; in many cases the default hook. */
46 /* Do nothing (tree). */
49 lhd_do_nothing_t (tree
ARG_UNUSED (t
))
53 /* Do nothing (int). */
56 lhd_do_nothing_i (int ARG_UNUSED (i
))
60 /* Do nothing (int, int, int). Return NULL_TREE. */
63 lhd_do_nothing_iii_return_null_tree (int ARG_UNUSED (i
),
70 /* Do nothing (function). */
73 lhd_do_nothing_f (struct function
* ARG_UNUSED (f
))
77 /* Do nothing (return the tree node passed). */
80 lhd_return_tree (tree t
)
85 /* Do nothing (return NULL_TREE). */
88 lhd_return_null_tree_v (void)
93 /* Do nothing (return NULL_TREE). */
96 lhd_return_null_tree (tree
ARG_UNUSED (t
))
101 /* The default post options hook. */
104 lhd_post_options (const char ** ARG_UNUSED (pfilename
))
109 /* Called from by print-tree.c. */
112 lhd_print_tree_nothing (FILE * ARG_UNUSED (file
),
113 tree
ARG_UNUSED (node
),
114 int ARG_UNUSED (indent
))
118 /* Called from safe_from_p. */
121 lhd_safe_from_p (rtx
ARG_UNUSED (x
), tree
ARG_UNUSED (exp
))
126 /* Called from staticp. */
129 lhd_staticp (tree
ARG_UNUSED (exp
))
134 /* Called from check_global_declarations. */
137 lhd_warn_unused_global_decl (tree decl
)
139 /* This is what used to exist in check_global_declarations. Probably
140 not many of these actually apply to non-C languages. */
142 if (TREE_CODE (decl
) == FUNCTION_DECL
&& DECL_INLINE (decl
))
144 if (TREE_CODE (decl
) == VAR_DECL
&& TREE_READONLY (decl
))
146 if (DECL_IN_SYSTEM_HEADER (decl
))
152 /* Set the DECL_ASSEMBLER_NAME for DECL. */
154 lhd_set_decl_assembler_name (tree decl
)
156 /* The language-independent code should never use the
157 DECL_ASSEMBLER_NAME for lots of DECLs. Only FUNCTION_DECLs and
158 VAR_DECLs for variables with static storage duration need a real
159 DECL_ASSEMBLER_NAME. */
160 if (TREE_CODE (decl
) == FUNCTION_DECL
161 || (TREE_CODE (decl
) == VAR_DECL
162 && (TREE_STATIC (decl
)
163 || DECL_EXTERNAL (decl
)
164 || TREE_PUBLIC (decl
))))
166 /* By default, assume the name to use in assembly code is the
167 same as that used in the source language. (That's correct
168 for C, and GCC used to set DECL_ASSEMBLER_NAME to the same
169 value as DECL_NAME in build_decl, so this choice provides
170 backwards compatibility with existing front-ends.
172 Can't use just the variable's own name for a variable whose
173 scope is less than the whole compilation. Concatenate a
174 distinguishing number - we use the DECL_UID. */
175 if (TREE_PUBLIC (decl
) || DECL_CONTEXT (decl
) == NULL_TREE
)
176 SET_DECL_ASSEMBLER_NAME (decl
, DECL_NAME (decl
));
179 const char *name
= IDENTIFIER_POINTER (DECL_NAME (decl
));
182 ASM_FORMAT_PRIVATE_NAME (label
, name
, DECL_UID (decl
));
183 SET_DECL_ASSEMBLER_NAME (decl
, get_identifier (label
));
187 /* Nobody should ever be asking for the DECL_ASSEMBLER_NAME of
188 these DECLs -- unless they're in language-dependent code, in
189 which case set_decl_assembler_name hook should handle things. */
193 /* By default we always allow bit-field based optimizations. */
195 lhd_can_use_bit_fields_p (void)
200 /* Type promotion for variable arguments. */
202 lhd_type_promotes_to (tree
ARG_UNUSED (type
))
207 /* Registration of machine- or os-specific builtin types. */
209 lhd_register_builtin_type (tree
ARG_UNUSED (type
),
210 const char * ARG_UNUSED (name
))
214 /* Invalid use of an incomplete type. */
216 lhd_incomplete_type_error (tree
ARG_UNUSED (value
), tree type
)
218 if (TREE_CODE (type
) == ERROR_MARK
)
224 /* Provide a default routine for alias sets that always returns -1. This
225 is used by languages that don't need to do anything special. */
228 lhd_get_alias_set (tree
ARG_UNUSED (t
))
233 /* Provide a hook routine for alias sets that always returns 0. This is
234 used by languages that haven't deal with alias sets yet. */
237 hook_get_alias_set_0 (tree
ARG_UNUSED (t
))
242 /* This is the default expand_expr function. */
245 lhd_expand_expr (tree
ARG_UNUSED (t
), rtx
ARG_UNUSED (r
),
246 enum machine_mode
ARG_UNUSED (mm
),
248 rtx
* ARG_UNUSED (a
))
253 /* The default language-specific function for expanding a decl. After
254 the language-independent cases are handled, this function will be
255 called. If this function is not defined, it is assumed that
256 declarations other than those for variables and labels do not require
257 any RTL generation. */
260 lhd_expand_decl (tree
ARG_UNUSED (t
))
265 /* This is the default decl_printable_name function. */
268 lhd_decl_printable_name (tree decl
, int ARG_UNUSED (verbosity
))
270 gcc_assert (decl
&& DECL_NAME (decl
));
271 return IDENTIFIER_POINTER (DECL_NAME (decl
));
274 /* This compares two types for equivalence ("compatible" in C-based languages).
275 This routine should only return 1 if it is sure. It should not be used
276 in contexts where erroneously returning 0 causes problems. */
279 lhd_types_compatible_p (tree x
, tree y
)
281 return TYPE_MAIN_VARIANT (x
) == TYPE_MAIN_VARIANT (y
);
284 /* lang_hooks.tree_inlining.walk_subtrees is called by walk_tree()
285 after handling common cases, but before walking code-specific
286 sub-trees. If this hook is overridden for a language, it should
287 handle language-specific tree codes, as well as language-specific
288 information associated to common tree codes. If a tree node is
289 completely handled within this function, it should set *SUBTREES to
290 0, so that generic handling isn't attempted. For language-specific
291 tree codes, generic handling would abort(), so make sure it is set
292 properly. Both SUBTREES and *SUBTREES is guaranteed to be nonzero
293 when the function is called. */
296 lhd_tree_inlining_walk_subtrees (tree
*tp ATTRIBUTE_UNUSED
,
297 int *subtrees ATTRIBUTE_UNUSED
,
298 walk_tree_fn func ATTRIBUTE_UNUSED
,
299 void *data ATTRIBUTE_UNUSED
,
300 void *htab ATTRIBUTE_UNUSED
)
305 /* lang_hooks.tree_inlining.cannot_inline_tree_fn is called to
306 determine whether there are language-specific reasons for not
307 inlining a given function. */
310 lhd_tree_inlining_cannot_inline_tree_fn (tree
*fnp
)
312 if (flag_really_no_inline
313 && lookup_attribute ("always_inline", DECL_ATTRIBUTES (*fnp
)) == NULL
)
319 /* lang_hooks.tree_inlining.disregard_inline_limits is called to
320 determine whether a function should be considered for inlining even
321 if it would exceed inlining limits. */
324 lhd_tree_inlining_disregard_inline_limits (tree fn
)
326 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
)) != NULL
)
332 /* lang_hooks.tree_inlining.add_pending_fn_decls is called before
333 starting to inline a function, to push any language-specific
334 functions that should not be inlined into the current function,
335 into VAFNP. PFN is the top of varray, and should be returned if no
336 functions are pushed into VAFNP. The top of the varray should be
340 lhd_tree_inlining_add_pending_fn_decls (void *vafnp ATTRIBUTE_UNUSED
, tree pfn
)
345 /* lang_hooks.tree_inlining.auto_var_in_fn_p is called to determine
346 whether VT is an automatic variable defined in function FT. */
349 lhd_tree_inlining_auto_var_in_fn_p (tree var
, tree fn
)
351 return (DECL_P (var
) && DECL_CONTEXT (var
) == fn
352 && (((TREE_CODE (var
) == VAR_DECL
|| TREE_CODE (var
) == PARM_DECL
)
353 && ! TREE_STATIC (var
))
354 || TREE_CODE (var
) == LABEL_DECL
355 || TREE_CODE (var
) == RESULT_DECL
));
358 /* lang_hooks.tree_inlining.anon_aggr_type_p determines whether T is a
359 type node representing an anonymous aggregate (union, struct, etc),
360 i.e., one whose members are in the same scope as the union itself. */
363 lhd_tree_inlining_anon_aggr_type_p (tree t ATTRIBUTE_UNUSED
)
368 /* lang_hooks.tree_inlining.start_inlining and end_inlining perform any
369 language-specific bookkeeping necessary for processing
370 FN. start_inlining returns nonzero if inlining should proceed, zero if
373 For instance, the C++ version keeps track of template instantiations to
374 avoid infinite recursion. */
377 lhd_tree_inlining_start_inlining (tree fn ATTRIBUTE_UNUSED
)
383 lhd_tree_inlining_end_inlining (tree fn ATTRIBUTE_UNUSED
)
387 /* lang_hooks.tree_inlining.convert_parm_for_inlining performs any
388 language-specific conversion before assigning VALUE to PARM. */
391 lhd_tree_inlining_convert_parm_for_inlining (tree parm ATTRIBUTE_UNUSED
,
393 tree fndecl ATTRIBUTE_UNUSED
,
394 int argnum ATTRIBUTE_UNUSED
)
399 /* lang_hooks.tree_dump.dump_tree: Dump language-specific parts of tree
400 nodes. Returns nonzero if it does not want the usual dumping of the
404 lhd_tree_dump_dump_tree (void *di ATTRIBUTE_UNUSED
, tree t ATTRIBUTE_UNUSED
)
409 /* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a
410 language-specific way. */
413 lhd_tree_dump_type_quals (tree t
)
415 return TYPE_QUALS (t
);
418 /* lang_hooks.expr_size: Determine the size of the value of an expression T
419 in a language-specific way. Returns a tree for the size in bytes. */
422 lhd_expr_size (tree exp
)
424 if (TREE_CODE_CLASS (TREE_CODE (exp
)) == 'd'
425 && DECL_SIZE_UNIT (exp
) != 0)
426 return DECL_SIZE_UNIT (exp
);
428 return size_in_bytes (TREE_TYPE (exp
));
431 /* lang_hooks.gimplify_expr re-writes *EXPR_P into GIMPLE form. */
434 lhd_gimplify_expr (tree
*expr_p ATTRIBUTE_UNUSED
, tree
*pre_p ATTRIBUTE_UNUSED
,
435 tree
*post_p ATTRIBUTE_UNUSED
)
440 /* lang_hooks.tree_size: Determine the size of a tree with code C,
441 which is a language-specific tree code in category 'x'. The
442 default expects never to be called. */
444 lhd_tree_size (enum tree_code c ATTRIBUTE_UNUSED
)
450 /* Return true if decl, which is a function decl, may be called by a
454 lhd_decl_ok_for_sibcall (tree decl ATTRIBUTE_UNUSED
)
459 /* Return the COMDAT group into which DECL should be placed. */
462 lhd_comdat_group (tree decl
)
464 return IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
));
467 /* lang_hooks.decls.final_write_globals: perform final processing on
470 write_global_declarations (void)
472 /* Really define vars that have had only a tentative definition.
473 Really output inline functions that must actually be callable
474 and have not been output so far. */
476 tree globals
= lang_hooks
.decls
.getdecls ();
477 int len
= list_length (globals
);
478 tree
*vec
= xmalloc (sizeof (tree
) * len
);
482 /* Process the decls in reverse order--earliest first.
483 Put them into VEC from back to front, then take out from front. */
485 for (i
= 0, decl
= globals
; i
< len
; i
++, decl
= TREE_CHAIN (decl
))
486 vec
[len
- i
- 1] = decl
;
488 wrapup_global_declarations (vec
, len
);
490 check_global_declarations (vec
, len
);
496 /* Called to perform language-specific initialization of CTX. */
498 lhd_initialize_diagnostics (struct diagnostic_context
*ctx ATTRIBUTE_UNUSED
)
502 /* The default function to print out name of current function that caused
505 lhd_print_error_function (diagnostic_context
*context
, const char *file
)
507 if (diagnostic_last_function_changed (context
))
509 const char *old_prefix
= context
->printer
->prefix
;
510 char *new_prefix
= file
? file_name_as_prefix (file
) : NULL
;
512 pp_set_prefix (context
->printer
, new_prefix
);
514 if (current_function_decl
== NULL
)
515 pp_printf (context
->printer
, "At top level:");
518 if (TREE_CODE (TREE_TYPE (current_function_decl
)) == METHOD_TYPE
)
520 (context
->printer
, "In member function `%s':",
521 lang_hooks
.decl_printable_name (current_function_decl
, 2));
524 (context
->printer
, "In function `%s':",
525 lang_hooks
.decl_printable_name (current_function_decl
, 2));
528 diagnostic_set_last_function (context
);
529 pp_flush (context
->printer
);
530 context
->printer
->prefix
= old_prefix
;
531 free ((char*) new_prefix
);
536 lhd_callgraph_analyze_expr (tree
*tp ATTRIBUTE_UNUSED
,
537 int *walk_subtrees ATTRIBUTE_UNUSED
,
538 tree decl ATTRIBUTE_UNUSED
)
544 lhd_make_node (enum tree_code code
)
546 return make_node (code
);