diff options
Diffstat (limited to 'contrib/gcc/langhooks.c')
| -rw-r--r-- | contrib/gcc/langhooks.c | 189 |
1 files changed, 177 insertions, 12 deletions
diff --git a/contrib/gcc/langhooks.c b/contrib/gcc/langhooks.c index e50ebc9812b5..87211216e30d 100644 --- a/contrib/gcc/langhooks.c +++ b/contrib/gcc/langhooks.c @@ -1,5 +1,5 @@ /* Default language-specific hooks. - Copyright 2001 Free Software Foundation, Inc. + Copyright 2001, 2002 Free Software Foundation, Inc. Contributed by Alexandre Oliva <aoliva@redhat.com> This file is part of GNU CC. @@ -39,6 +39,30 @@ lhd_do_nothing () { } +/* Do nothing (tree). */ + +void +lhd_do_nothing_t (t) + tree t ATTRIBUTE_UNUSED; +{ +} + +/* Do nothing (int). */ + +void +lhd_do_nothing_i (i) + int i ATTRIBUTE_UNUSED; +{ +} + +/* Do nothing (function). */ + +void +lhd_do_nothing_f (f) + struct function *f ATTRIBUTE_UNUSED; +{ +} + /* Do nothing (return the tree node passed). */ tree @@ -48,6 +72,15 @@ lhd_return_tree (t) return t; } +/* Do nothing (return NULL_TREE). */ + +tree +lhd_return_null_tree (t) + tree t ATTRIBUTE_UNUSED; +{ + return NULL_TREE; +} + /* Do nothing; the default hook to decode an option. */ int @@ -78,6 +111,15 @@ lhd_safe_from_p (x, exp) return 1; } +/* Called from unsafe_for_reeval. */ + +int +lhd_unsafe_for_reeval (t) + tree t ATTRIBUTE_UNUSED; +{ + return -1; +} + /* Called from staticp. */ int @@ -87,14 +129,57 @@ lhd_staticp (exp) return 0; } -/* Called when -dy is given on the command line. */ +/* Called from check_global_declarations. */ + +bool +lhd_warn_unused_global_decl (decl) + tree decl; +{ + /* This is what used to exist in check_global_declarations. Probably + not many of these actually apply to non-C languages. */ + if (TREE_CODE (decl) == FUNCTION_DECL && DECL_INLINE (decl)) + return false; + if (TREE_CODE (decl) == VAR_DECL && TREE_READONLY (decl)) + return false; + if (DECL_IN_SYSTEM_HEADER (decl)) + return false; + + return true; +} + +/* Set the DECL_ASSEMBLER_NAME for DECL. */ void -lhd_set_yydebug (value) - int value; +lhd_set_decl_assembler_name (decl) + tree decl; { - if (value) - fprintf (stderr, "warning: no yacc/bison-generated output to debug!\n"); + /* The language-independent code should never use the + DECL_ASSEMBLER_NAME for lots of DECLs. Only FUNCTION_DECLs and + VAR_DECLs for variables with static storage duration need a real + DECL_ASSEMBLER_NAME. */ + if (TREE_CODE (decl) == FUNCTION_DECL + || (TREE_CODE (decl) == VAR_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)); + else + /* Nobody should ever be asking for the DECL_ASSEMBLER_NAME of + these DECLs -- unless they're in language-dependent code, in + which case set_decl_assembler_name hook should handle things. */ + abort (); +} + +/* By default we always allow bit-field based optimizations. */ +bool +lhd_can_use_bit_fields_p () +{ + return true; } /* Provide a default routine to clear the binding stack. This is used @@ -102,10 +187,29 @@ lhd_set_yydebug (value) void lhd_clear_binding_stack () { - while (! global_bindings_p ()) + while (! (*lang_hooks.decls.global_bindings_p) ()) poplevel (0, 0, 0); } +/* Type promotion for variable arguments. */ +tree +lhd_type_promotes_to (type) + tree type ATTRIBUTE_UNUSED; +{ + abort (); +} + +/* Invalid use of an incomplete type. */ +void +lhd_incomplete_type_error (value, type) + tree value ATTRIBUTE_UNUSED, type; +{ + if (TREE_CODE (type) == ERROR_MARK) + return; + + abort (); +} + /* Provide a default routine for alias sets that always returns -1. This is used by languages that don't need to do anything special. */ @@ -126,6 +230,28 @@ hook_get_alias_set_0 (t) return 0; } +/* 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; +{ + abort (); +} + +/* This is the default decl_printable_name function. */ + +const char * +lhd_decl_printable_name (decl, verbosity) + tree decl; + int verbosity ATTRIBUTE_UNUSED; +{ + return IDENTIFIER_POINTER (DECL_NAME (decl)); +} + /* lang_hooks.tree_inlining.walk_subtrees is called by walk_tree() after handling common cases, but before walking code-specific sub-trees. If this hook is overridden for a language, it should @@ -134,7 +260,7 @@ hook_get_alias_set_0 (t) completely handled within this function, it should set *SUBTREES to 0, so that generic handling isn't attempted. For language-specific tree codes, generic handling would abort(), so make sure it is set - properly. Both SUBTREES and *SUBTREES is guaranteed to be non-zero + properly. Both SUBTREES and *SUBTREES is guaranteed to be nonzero when the function is called. */ tree @@ -250,7 +376,7 @@ lhd_tree_inlining_anon_aggr_type_p (t) /* lang_hooks.tree_inlining.start_inlining and end_inlining perform any language-specific bookkeeping necessary for processing - FN. start_inlining returns non-zero if inlining should proceed, zero if + FN. start_inlining returns nonzero if inlining should proceed, zero if not. For instance, the C++ version keeps track of template instantiations to @@ -281,8 +407,8 @@ lhd_tree_inlining_convert_parm_for_inlining (parm, value, fndecl) return value; } -/* lang_hooks.tree_dump.dump_tree: Dump language-specific parts of tree - nodes. Returns non-zero if it does not want the usual dumping of the +/* lang_hooks.tree_dump.dump_tree: Dump language-specific parts of tree + nodes. Returns nonzero if it does not want the usual dumping of the second argument. */ int @@ -293,7 +419,7 @@ lhd_tree_dump_dump_tree (di, t) return 0; } -/* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a +/* lang_hooks.tree_dump.type_qual: Determine type qualifiers in a language-specific way. */ int @@ -316,3 +442,42 @@ lhd_expr_size (exp) else return size_in_bytes (TREE_TYPE (exp)); } + +/* 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; +{ + return true; +} + +/* lang_hooks.decls.final_write_globals: perform final processing on + global variables. */ +void +write_global_declarations () +{ + /* Really define vars that have had only a tentative definition. + Really output inline functions that must actually be callable + and have not been output so far. */ + + tree globals = (*lang_hooks.decls.getdecls) (); + int len = list_length (globals); + tree *vec = (tree *) 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. */ + + for (i = 0, decl = globals; i < len; i++, decl = TREE_CHAIN (decl)) + vec[len - i - 1] = decl; + + wrapup_global_declarations (vec, len); + + check_global_declarations (vec, len); + + /* Clean up. */ + free (vec); +} |