diff options
Diffstat (limited to 'contrib/gcc/langhooks.c')
-rw-r--r-- | contrib/gcc/langhooks.c | 308 |
1 files changed, 195 insertions, 113 deletions
diff --git a/contrib/gcc/langhooks.c b/contrib/gcc/langhooks.c index 8721121..a965193 100644 --- a/contrib/gcc/langhooks.c +++ b/contrib/gcc/langhooks.c @@ -1,29 +1,30 @@ /* Default language-specific hooks. - Copyright 2001, 2002 Free Software Foundation, Inc. + Copyright 2001, 2002, 2003, 2004 Free Software Foundation, Inc. Contributed by Alexandre Oliva <aoliva@redhat.com> -This file is part of GNU CC. +This file is part of GCC. -GNU CC is free software; you can redistribute it and/or modify +GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. -GNU CC is distributed in the hope that it will be useful, +GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with GNU CC; see the file COPYING. If not, write to +along with GCC; see the file COPYING. If not, write to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #include "config.h" #include "system.h" +#include "coretypes.h" +#include "tm.h" #include "toplev.h" #include "tree.h" -#include "c-tree.h" #include "tree-inline.h" #include "rtl.h" #include "insn-config.h" @@ -31,43 +32,51 @@ Boston, MA 02111-1307, USA. */ #include "flags.h" #include "langhooks.h" #include "langhooks-def.h" +#include "ggc.h" +#include "diagnostic.h" /* Do nothing; in many cases the default hook. */ void -lhd_do_nothing () +lhd_do_nothing (void) { } /* Do nothing (tree). */ void -lhd_do_nothing_t (t) - tree t ATTRIBUTE_UNUSED; +lhd_do_nothing_t (tree t ATTRIBUTE_UNUSED) { } /* Do nothing (int). */ void -lhd_do_nothing_i (i) - int i ATTRIBUTE_UNUSED; +lhd_do_nothing_i (int i ATTRIBUTE_UNUSED) { } +/* Do nothing (int, int, int). Return NULL_TREE. */ + +tree +lhd_do_nothing_iii_return_null_tree (int i ATTRIBUTE_UNUSED, + int j ATTRIBUTE_UNUSED, + int k ATTRIBUTE_UNUSED) +{ + return NULL_TREE; +} + /* Do nothing (function). */ void -lhd_do_nothing_f (f) - struct function *f ATTRIBUTE_UNUSED; +lhd_do_nothing_f (struct function *f ATTRIBUTE_UNUSED) { } /* Do nothing (return the tree node passed). */ tree -lhd_return_tree (t) - tree t; +lhd_return_tree (tree t) { return t; } @@ -75,38 +84,40 @@ lhd_return_tree (t) /* Do nothing (return NULL_TREE). */ tree -lhd_return_null_tree (t) - tree t ATTRIBUTE_UNUSED; +lhd_return_null_tree_v (void) { return NULL_TREE; } -/* Do nothing; the default hook to decode an option. */ +/* Do nothing (return NULL_TREE). */ -int -lhd_decode_option (argc, argv) - int argc ATTRIBUTE_UNUSED; - char **argv ATTRIBUTE_UNUSED; +tree +lhd_return_null_tree (tree t ATTRIBUTE_UNUSED) { - return 0; + return NULL_TREE; +} + +/* The default post options hook. */ + +bool +lhd_post_options (const char **pfilename ATTRIBUTE_UNUSED) +{ + return false; } /* Called from by print-tree.c. */ void -lhd_print_tree_nothing (file, node, indent) - FILE *file ATTRIBUTE_UNUSED; - tree node ATTRIBUTE_UNUSED; - int indent ATTRIBUTE_UNUSED; +lhd_print_tree_nothing (FILE *file ATTRIBUTE_UNUSED, + tree node ATTRIBUTE_UNUSED, + int indent ATTRIBUTE_UNUSED) { } /* Called from safe_from_p. */ int -lhd_safe_from_p (x, exp) - rtx x ATTRIBUTE_UNUSED; - tree exp ATTRIBUTE_UNUSED; +lhd_safe_from_p (rtx x ATTRIBUTE_UNUSED, tree exp ATTRIBUTE_UNUSED) { return 1; } @@ -114,8 +125,7 @@ lhd_safe_from_p (x, exp) /* Called from unsafe_for_reeval. */ int -lhd_unsafe_for_reeval (t) - tree t ATTRIBUTE_UNUSED; +lhd_unsafe_for_reeval (tree t ATTRIBUTE_UNUSED) { return -1; } @@ -123,8 +133,7 @@ lhd_unsafe_for_reeval (t) /* Called from staticp. */ int -lhd_staticp (exp) - tree exp ATTRIBUTE_UNUSED; +lhd_staticp (tree exp ATTRIBUTE_UNUSED) { return 0; } @@ -132,8 +141,7 @@ lhd_staticp (exp) /* Called from check_global_declarations. */ bool -lhd_warn_unused_global_decl (decl) - tree decl; +lhd_warn_unused_global_decl (tree decl) { /* This is what used to exist in check_global_declarations. Probably not many of these actually apply to non-C languages. */ @@ -148,10 +156,14 @@ lhd_warn_unused_global_decl (decl) return true; } +/* Number for making the label on the next + static variable internal to a function. */ + +static GTY(()) int var_labelno; + /* Set the DECL_ASSEMBLER_NAME for DECL. */ void -lhd_set_decl_assembler_name (decl) - tree decl; +lhd_set_decl_assembler_name (tree decl) { /* The language-independent code should never use the DECL_ASSEMBLER_NAME for lots of DECLs. Only FUNCTION_DECLs and @@ -162,12 +174,28 @@ lhd_set_decl_assembler_name (decl) && (TREE_STATIC (decl) || DECL_EXTERNAL (decl) || TREE_PUBLIC (decl)))) - /* By default, assume the name to use in assembly code is the - same as that used in the source language. (That's correct - for C, and GCC used to set DECL_ASSEMBLER_NAME to the same - value as DECL_NAME in build_decl, so this choice provides - backwards compatibility with existing front-ends. */ - SET_DECL_ASSEMBLER_NAME (decl, DECL_NAME (decl)); + { + /* By default, assume the name to use in assembly code is the + same as that used in the source language. (That's correct + for C, and GCC used to set DECL_ASSEMBLER_NAME to the same + value as DECL_NAME in build_decl, so this choice provides + backwards compatibility with existing front-ends. + + Can't use just the variable's own name for a variable whose + scope is less than the whole compilation. Concatenate a + distinguishing number. */ + if (!TREE_PUBLIC (decl) && DECL_CONTEXT (decl)) + { + const char *name = IDENTIFIER_POINTER (DECL_NAME (decl)); + char *label; + + ASM_FORMAT_PRIVATE_NAME (label, name, var_labelno); + var_labelno++; + SET_DECL_ASSEMBLER_NAME (decl, get_identifier (label)); + } + else + SET_DECL_ASSEMBLER_NAME (decl, DECL_NAME (decl)); + } else /* Nobody should ever be asking for the DECL_ASSEMBLER_NAME of these DECLs -- unless they're in language-dependent code, in @@ -177,7 +205,7 @@ lhd_set_decl_assembler_name (decl) /* By default we always allow bit-field based optimizations. */ bool -lhd_can_use_bit_fields_p () +lhd_can_use_bit_fields_p (void) { return true; } @@ -185,7 +213,7 @@ lhd_can_use_bit_fields_p () /* Provide a default routine to clear the binding stack. This is used by languages that don't need to do anything special. */ void -lhd_clear_binding_stack () +lhd_clear_binding_stack (void) { while (! (*lang_hooks.decls.global_bindings_p) ()) poplevel (0, 0, 0); @@ -193,16 +221,21 @@ lhd_clear_binding_stack () /* Type promotion for variable arguments. */ tree -lhd_type_promotes_to (type) - tree type ATTRIBUTE_UNUSED; +lhd_type_promotes_to (tree type ATTRIBUTE_UNUSED) { abort (); } +/* Registration of machine- or os-specific builtin types. */ +void +lhd_register_builtin_type (tree type ATTRIBUTE_UNUSED, + const char* name ATTRIBUTE_UNUSED) +{ +} + /* Invalid use of an incomplete type. */ void -lhd_incomplete_type_error (value, type) - tree value ATTRIBUTE_UNUSED, type; +lhd_incomplete_type_error (tree value ATTRIBUTE_UNUSED, tree type) { if (TREE_CODE (type) == ERROR_MARK) return; @@ -214,8 +247,7 @@ lhd_incomplete_type_error (value, type) is used by languages that don't need to do anything special. */ HOST_WIDE_INT -lhd_get_alias_set (t) - tree t ATTRIBUTE_UNUSED; +lhd_get_alias_set (tree t ATTRIBUTE_UNUSED) { return -1; } @@ -224,8 +256,7 @@ lhd_get_alias_set (t) used by languages that haven't deal with alias sets yet. */ HOST_WIDE_INT -hook_get_alias_set_0 (t) - tree t ATTRIBUTE_UNUSED; +hook_get_alias_set_0 (tree t ATTRIBUTE_UNUSED) { return 0; } @@ -233,11 +264,10 @@ hook_get_alias_set_0 (t) /* This is the default expand_expr function. */ rtx -lhd_expand_expr (t, r, mm, em) - tree t ATTRIBUTE_UNUSED; - rtx r ATTRIBUTE_UNUSED; - enum machine_mode mm ATTRIBUTE_UNUSED; - int em ATTRIBUTE_UNUSED; +lhd_expand_expr (tree t ATTRIBUTE_UNUSED, rtx r ATTRIBUTE_UNUSED, + enum machine_mode mm ATTRIBUTE_UNUSED, + int em ATTRIBUTE_UNUSED, + rtx *a ATTRIBUTE_UNUSED) { abort (); } @@ -245,9 +275,7 @@ lhd_expand_expr (t, r, mm, em) /* This is the default decl_printable_name function. */ const char * -lhd_decl_printable_name (decl, verbosity) - tree decl; - int verbosity ATTRIBUTE_UNUSED; +lhd_decl_printable_name (tree decl, int verbosity ATTRIBUTE_UNUSED) { return IDENTIFIER_POINTER (DECL_NAME (decl)); } @@ -264,12 +292,11 @@ lhd_decl_printable_name (decl, verbosity) when the function is called. */ tree -lhd_tree_inlining_walk_subtrees (tp,subtrees,func,data,htab) - tree *tp ATTRIBUTE_UNUSED; - int *subtrees ATTRIBUTE_UNUSED; - walk_tree_fn func ATTRIBUTE_UNUSED; - void *data ATTRIBUTE_UNUSED; - void *htab ATTRIBUTE_UNUSED; +lhd_tree_inlining_walk_subtrees (tree *tp ATTRIBUTE_UNUSED, + int *subtrees ATTRIBUTE_UNUSED, + walk_tree_fn func ATTRIBUTE_UNUSED, + void *data ATTRIBUTE_UNUSED, + void *htab ATTRIBUTE_UNUSED) { return NULL_TREE; } @@ -279,8 +306,7 @@ lhd_tree_inlining_walk_subtrees (tp,subtrees,func,data,htab) inlining a given function. */ int -lhd_tree_inlining_cannot_inline_tree_fn (fnp) - tree *fnp; +lhd_tree_inlining_cannot_inline_tree_fn (tree *fnp) { if (flag_really_no_inline && lookup_attribute ("always_inline", DECL_ATTRIBUTES (*fnp)) == NULL) @@ -294,8 +320,7 @@ lhd_tree_inlining_cannot_inline_tree_fn (fnp) if it would exceed inlining limits. */ int -lhd_tree_inlining_disregard_inline_limits (fn) - tree fn; +lhd_tree_inlining_disregard_inline_limits (tree fn) { if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)) != NULL) return 1; @@ -311,9 +336,7 @@ lhd_tree_inlining_disregard_inline_limits (fn) returned. */ tree -lhd_tree_inlining_add_pending_fn_decls (vafnp, pfn) - void *vafnp ATTRIBUTE_UNUSED; - tree pfn; +lhd_tree_inlining_add_pending_fn_decls (void *vafnp ATTRIBUTE_UNUSED, tree pfn) { return pfn; } @@ -323,8 +346,7 @@ lhd_tree_inlining_add_pending_fn_decls (vafnp, pfn) whether it should be walked, copied and preserved across copies. */ int -lhd_tree_inlining_tree_chain_matters_p (t) - tree t ATTRIBUTE_UNUSED; +lhd_tree_inlining_tree_chain_matters_p (tree t ATTRIBUTE_UNUSED) { return 0; } @@ -333,8 +355,7 @@ lhd_tree_inlining_tree_chain_matters_p (t) whether VT is an automatic variable defined in function FT. */ int -lhd_tree_inlining_auto_var_in_fn_p (var, fn) - tree var, fn; +lhd_tree_inlining_auto_var_in_fn_p (tree var, tree fn) { return (DECL_P (var) && DECL_CONTEXT (var) == fn && (((TREE_CODE (var) == VAR_DECL || TREE_CODE (var) == PARM_DECL) @@ -353,14 +374,16 @@ lhd_tree_inlining_auto_var_in_fn_p (var, fn) match RES. */ tree -lhd_tree_inlining_copy_res_decl_for_inlining (res, fn, caller, - dm, ndp, texps) - tree res, fn, caller; - void *dm ATTRIBUTE_UNUSED; - int *ndp ATTRIBUTE_UNUSED; - void *texps ATTRIBUTE_UNUSED; -{ - return copy_decl_for_inlining (res, fn, caller); +lhd_tree_inlining_copy_res_decl_for_inlining (tree res, tree fn, tree caller, + void *dm ATTRIBUTE_UNUSED, + int *ndp ATTRIBUTE_UNUSED, + tree return_slot_addr ATTRIBUTE_UNUSED) +{ + if (return_slot_addr) + return build1 (INDIRECT_REF, TREE_TYPE (TREE_TYPE (return_slot_addr)), + return_slot_addr); + else + return copy_decl_for_inlining (res, fn, caller); } /* lang_hooks.tree_inlining.anon_aggr_type_p determines whether T is a @@ -368,8 +391,7 @@ lhd_tree_inlining_copy_res_decl_for_inlining (res, fn, caller, i.e., one whose members are in the same scope as the union itself. */ int -lhd_tree_inlining_anon_aggr_type_p (t) - tree t ATTRIBUTE_UNUSED; +lhd_tree_inlining_anon_aggr_type_p (tree t ATTRIBUTE_UNUSED) { return 0; } @@ -383,15 +405,13 @@ lhd_tree_inlining_anon_aggr_type_p (t) avoid infinite recursion. */ int -lhd_tree_inlining_start_inlining (fn) - tree fn ATTRIBUTE_UNUSED; +lhd_tree_inlining_start_inlining (tree fn ATTRIBUTE_UNUSED) { return 1; } void -lhd_tree_inlining_end_inlining (fn) - tree fn ATTRIBUTE_UNUSED; +lhd_tree_inlining_end_inlining (tree fn ATTRIBUTE_UNUSED) { } @@ -399,10 +419,10 @@ lhd_tree_inlining_end_inlining (fn) language-specific conversion before assigning VALUE to PARM. */ tree -lhd_tree_inlining_convert_parm_for_inlining (parm, value, fndecl) - tree parm ATTRIBUTE_UNUSED; - tree value; - tree fndecl ATTRIBUTE_UNUSED; +lhd_tree_inlining_convert_parm_for_inlining (tree parm ATTRIBUTE_UNUSED, + tree value, + tree fndecl ATTRIBUTE_UNUSED, + int argnum ATTRIBUTE_UNUSED) { return value; } @@ -411,20 +431,17 @@ lhd_tree_inlining_convert_parm_for_inlining (parm, value, fndecl) nodes. Returns nonzero if it does not want the usual dumping of the second argument. */ -int -lhd_tree_dump_dump_tree (di, t) - void *di ATTRIBUTE_UNUSED; - tree t ATTRIBUTE_UNUSED; +bool +lhd_tree_dump_dump_tree (void *di ATTRIBUTE_UNUSED, tree t ATTRIBUTE_UNUSED) { - return 0; + return false; } /* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a language-specific way. */ int -lhd_tree_dump_type_quals (t) - tree t; +lhd_tree_dump_type_quals (tree t) { return TYPE_QUALS (t); } @@ -433,8 +450,7 @@ lhd_tree_dump_type_quals (t) in a language-specific way. Returns a tree for the size in bytes. */ tree -lhd_expr_size (exp) - tree exp; +lhd_expr_size (tree exp) { if (TREE_CODE_CLASS (TREE_CODE (exp)) == 'd' && DECL_SIZE_UNIT (exp) != 0) @@ -442,21 +458,38 @@ lhd_expr_size (exp) else return size_in_bytes (TREE_TYPE (exp)); } +/* lang_hooks.decl_uninit: Find out if a variable is uninitialized based + on DECL_INITIAL. */ + +bool +lhd_decl_uninit (tree t ATTRIBUTE_UNUSED) +{ + return false; +} + +/* lang_hooks.tree_size: Determine the size of a tree with code C, + which is a language-specific tree code in category 'x'. The + default expects never to be called. */ +size_t +lhd_tree_size (enum tree_code c ATTRIBUTE_UNUSED) +{ + abort (); + return 0; +} /* Return true if decl, which is a function decl, may be called by a sibcall. */ bool -lhd_decl_ok_for_sibcall (decl) - tree decl ATTRIBUTE_UNUSED; +lhd_decl_ok_for_sibcall (tree decl ATTRIBUTE_UNUSED) { return true; } /* lang_hooks.decls.final_write_globals: perform final processing on - global variables. */ + global variables. */ void -write_global_declarations () +write_global_declarations (void) { /* Really define vars that have had only a tentative definition. Really output inline functions that must actually be callable @@ -464,12 +497,12 @@ write_global_declarations () tree globals = (*lang_hooks.decls.getdecls) (); int len = list_length (globals); - tree *vec = (tree *) xmalloc (sizeof (tree) * len); + tree *vec = xmalloc (sizeof (tree) * len); int i; tree decl; - /* Process the decls in reverse order--earliest first. - Put them into VEC from back to front, then take out from front. */ + /* Process the decls in reverse order--earliest first. + Put them into VEC from back to front, then take out from front. */ for (i = 0, decl = globals; i < len; i++, decl = TREE_CHAIN (decl)) vec[len - i - 1] = decl; @@ -481,3 +514,52 @@ write_global_declarations () /* Clean up. */ free (vec); } + +/* Called to perform language-specific initialization of CTX. */ +void +lhd_initialize_diagnostics (struct diagnostic_context *ctx ATTRIBUTE_UNUSED) +{ +} + +/* The default function to print out name of current function that caused + an error. */ +void +lhd_print_error_function (diagnostic_context *context, const char *file) +{ + if (diagnostic_last_function_changed (context)) + { + const char *old_prefix = context->printer->prefix; + char *new_prefix = file ? file_name_as_prefix (file) : NULL; + + pp_set_prefix (context->printer, new_prefix); + + if (current_function_decl == NULL) + pp_printf (context->printer, "At top level:"); + else + { + if (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE) + pp_printf + (context->printer, "In member function `%s':", + (*lang_hooks.decl_printable_name) (current_function_decl, 2)); + else + pp_printf + (context->printer, "In function `%s':", + (*lang_hooks.decl_printable_name) (current_function_decl, 2)); + } + + diagnostic_set_last_function (context); + pp_flush (context->printer); + context->printer->prefix = old_prefix; + free ((char*) new_prefix); + } +} + +tree +lhd_callgraph_analyze_expr (tree *tp ATTRIBUTE_UNUSED, + int *walk_subtrees ATTRIBUTE_UNUSED, + tree decl ATTRIBUTE_UNUSED) +{ + return NULL; +} + +#include "gt-langhooks.h" |