diff options
Diffstat (limited to 'gcc/ipa.c')
| -rw-r--r-- | gcc/ipa.c | 62 |
1 files changed, 50 insertions, 12 deletions
diff --git a/gcc/ipa.c b/gcc/ipa.c index 7db27f3f859..c318b65fd92 100644 --- a/gcc/ipa.c +++ b/gcc/ipa.c @@ -57,8 +57,9 @@ cgraph_postorder (struct cgraph_node **order) for (node = cgraph_nodes; node; node = node->next) if (!node->aux && (pass - || (!cgraph_only_called_directly_p (node) - && !node->address_taken))) + || (!node->address_taken + && !node->global.inlined_to + && !cgraph_only_called_directly_p (node)))) { node2 = node; if (!node->callers) @@ -237,15 +238,22 @@ cgraph_remove_unreachable_nodes (bool before_inlining_p, FILE *file) gcc_assert (!vnode->aux); #endif varpool_reset_queue (); + /* Mark functions whose bodies are obviously needed. + This is mostly when they can be referenced externally. Inline clones + are special since their declarations are shared with master clone and thus + cgraph_can_remove_if_no_direct_calls_and_refs_p should not be called on them. */ for (node = cgraph_nodes; node; node = node->next) - if ((!cgraph_can_remove_if_no_direct_calls_and_refs_p (node) - /* Keep around virtual functions for possible devirtualization. */ - || (!before_inlining_p - && !node->global.inlined_to - && DECL_VIRTUAL_P (node->decl) - && (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl)))) - && ((!DECL_EXTERNAL (node->decl)) - || before_inlining_p)) + if (node->analyzed && !node->global.inlined_to + && (!cgraph_can_remove_if_no_direct_calls_and_refs_p (node) + /* Keep around virtual functions for possible devirtualization. */ + || (before_inlining_p + && DECL_VIRTUAL_P (node->decl) + && (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))) + /* Also external functions with address taken are better to stay + for indirect inlining. */ + || (before_inlining_p + && DECL_EXTERNAL (node->decl) + && node->address_taken))) { gcc_assert (!node->global.inlined_to); enqueue_cgraph_node (node, &first); @@ -256,6 +264,8 @@ cgraph_remove_unreachable_nodes (bool before_inlining_p, FILE *file) gcc_assert (!node->aux); node->reachable = false; } + + /* Mark variables that are obviously needed. */ for (vnode = varpool_nodes; vnode; vnode = vnode->next) { vnode->next_needed = NULL; @@ -428,10 +438,10 @@ cgraph_remove_unreachable_nodes (bool before_inlining_p, FILE *file) node->clone_of->clones = node->next_sibling_clone; if (node->next_sibling_clone) node->next_sibling_clone->prev_sibling_clone = node->prev_sibling_clone; - #ifdef ENABLE_CHECKING +#ifdef ENABLE_CHECKING if (node->clone_of) node->former_clone_of = node->clone_of->decl; - #endif +#endif node->clone_of = NULL; node->next_sibling_clone = NULL; node->prev_sibling_clone = NULL; @@ -593,6 +603,7 @@ ipa_discover_readonly_nonaddressable_vars (void) static bool cgraph_externally_visible_p (struct cgraph_node *node, bool whole_program, bool aliased) { + struct cgraph_node *alias; if (!node->local.finalized) return false; if (!DECL_COMDAT (node->decl) @@ -612,6 +623,18 @@ cgraph_externally_visible_p (struct cgraph_node *node, bool whole_program, bool if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (node->decl))) return true; + /* See if we have linker information about symbol not being used or + if we need to make guess based on the declaration. + + Even if the linker clams the symbol is unused, never bring internal + symbols that are declared by user as used or externally visible. + This is needed for i.e. references from asm statements. */ + for (alias = node->same_body; alias; alias = alias->next) + if (alias->resolution != LDPR_PREVAILING_DEF_IRONLY) + break; + if (!alias && node->resolution == LDPR_PREVAILING_DEF_IRONLY) + return false; + /* When doing link time optimizations, hidden symbols become local. */ if (in_lto_p && (DECL_VISIBILITY (node->decl) == VISIBILITY_HIDDEN @@ -655,6 +678,7 @@ cgraph_externally_visible_p (struct cgraph_node *node, bool whole_program, bool static bool varpool_externally_visible_p (struct varpool_node *vnode, bool aliased) { + struct varpool_node *alias; if (!DECL_COMDAT (vnode->decl) && !TREE_PUBLIC (vnode->decl)) return false; @@ -681,6 +705,11 @@ varpool_externally_visible_p (struct varpool_node *vnode, bool aliased) This is needed for i.e. references from asm statements. */ if (varpool_used_from_object_file_p (vnode)) return true; + for (alias = vnode->extra_name; alias; alias = alias->next) + if (alias->resolution != LDPR_PREVAILING_DEF_IRONLY) + break; + if (!alias && vnode->resolution == LDPR_PREVAILING_DEF_IRONLY) + return false; /* When doing link time optimizations, hidden symbols become local. */ if (in_lto_p @@ -771,6 +800,15 @@ function_and_variable_visibility (bool whole_program) for (node = cgraph_nodes; node; node = node->next) { + int flags = flags_from_decl_or_type (node->decl); + if (optimize + && (flags & (ECF_CONST | ECF_PURE)) + && !(flags & ECF_LOOPING_CONST_OR_PURE)) + { + DECL_STATIC_CONSTRUCTOR (node->decl) = 0; + DECL_STATIC_DESTRUCTOR (node->decl) = 0; + } + /* C++ FE on lack of COMDAT support create local COMDAT functions (that ought to be shared but can not due to object format limitations). It is neccesary to keep the flag to make rest of C++ FE |