diff options
| author | Jan Hubicka <jh@suse.cz> | 2010-09-24 21:14:51 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2010-09-24 19:14:51 +0000 |
| commit | 46a4da10f5b00da1091d9641836f0550ce9a5120 (patch) | |
| tree | 3586ff30f00807c4e59b1bf02ac5e21a1cdad147 /gcc/c-family/c-common.c | |
| parent | e1b793e7c10393b112937ce3e7de4db903052618 (diff) | |
| download | gcc-46a4da10f5b00da1091d9641836f0550ce9a5120.zip gcc-46a4da10f5b00da1091d9641836f0550ce9a5120.tar.gz gcc-46a4da10f5b00da1091d9641836f0550ce9a5120.tar.bz2 | |
extend.texi: (attribute leaf): Document.
* doc/extend.texi: (attribute leaf): Document.
* tree.c (local_define_builtin): Handle ECF_LEAF.
(build_common_builtin_nodes): Set ECF_LEAF where needed.
* tree.h (ECF_LEAF): New.
* ipa-reference.c (propagate_bits): For leaf calls propagate ever overwrittable
and unavailable functions.
(ipa_init): Put all_module_statics into optimization_summary_obstack.
(copy_global_bitmap): Do not copy all_module_statics.
(read_write_all_from_decl): Use cgraph_node argument; handle ECF_LEAF.
(propagate): Handle overwritable and unavailable leaf functions;
initialize global info for overwritable and unavailable leaf functions;
do not free all module statics.
(ipa_reference_get_not_read_global, ipa_reference_get_not_written_global):
leaf calls don't clobber local statics.
* calls.c (flags_from_decl_or_type): Handle leaf.
* tree-cfg.c (stmt_can_make_abnormal_goto): Leaf functions can't do
abnormal gotos.
* c-common.c (handle_leaf_attribute): New function.
(struct attribute_spec c_common_att): Add leaf.
* gcc.dg/tree-ssa/leaf.c: New testcase.
From-SVN: r164606
Diffstat (limited to 'gcc/c-family/c-common.c')
| -rw-r--r-- | gcc/c-family/c-common.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c index cf2fe17..6ef3bf9 100644 --- a/gcc/c-family/c-common.c +++ b/gcc/c-family/c-common.c @@ -308,6 +308,7 @@ static tree handle_hot_attribute (tree *, tree, tree, int, bool *); static tree handle_cold_attribute (tree *, tree, tree, int, bool *); static tree handle_noinline_attribute (tree *, tree, tree, int, bool *); static tree handle_noclone_attribute (tree *, tree, tree, int, bool *); +static tree handle_leaf_attribute (tree *, tree, tree, int, bool *); static tree handle_always_inline_attribute (tree *, tree, tree, int, bool *); static tree handle_gnu_inline_attribute (tree *, tree, tree, int, bool *); @@ -570,6 +571,8 @@ const struct attribute_spec c_common_attribute_table[] = handle_noinline_attribute }, { "noclone", 0, 0, true, false, false, handle_noclone_attribute }, + { "leaf", 0, 0, true, false, false, + handle_leaf_attribute }, { "always_inline", 0, 0, true, false, false, handle_always_inline_attribute }, { "gnu_inline", 0, 0, true, false, false, @@ -5873,6 +5876,28 @@ handle_gnu_inline_attribute (tree *node, tree name, return NULL_TREE; } +/* Handle a "leaf" attribute; arguments as in + struct attribute_spec.handler. */ + +static tree +handle_leaf_attribute (tree *node, tree name, + tree ARG_UNUSED (args), + int ARG_UNUSED (flags), bool *no_add_attrs) +{ + if (TREE_CODE (*node) != FUNCTION_DECL) + { + warning (OPT_Wattributes, "%qE attribute ignored", name); + *no_add_attrs = true; + } + if (!TREE_PUBLIC (*node)) + { + warning (OPT_Wattributes, "%qE attribute has no effect on unit local functions", name); + *no_add_attrs = true; + } + + return NULL_TREE; +} + /* Handle an "artificial" attribute; arguments as in struct attribute_spec.handler. */ |