From patchwork Wed Oct 26 21:15:55 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Subject: [trans-mem] fix problems with same body aliases Date: Wed, 26 Oct 2011 11:15:55 -0000 From: Aldy Hernandez X-Patchwork-Id: 122010 Message-Id: <4EA8788B.8030807@redhat.com> To: Richard Henderson , gcc-patches , Jakub Jelinek The merge broke base/complete dtor transactional clones that we originally implemented here: http://gcc.gnu.org/ml/gcc-patches/2010-06/msg00590.html First, ipa_tm_execute() was putting __comp_dtor's into tm_callees, which wasn't happening pre-merge. Handling this __comp_dtor caused an ICE tree_function_versioning() because ENTRY_BLOCK_PTR_FOR_FUNCTION is invalid, since the CFG field for the original decl's cfun has not been set. The patch below excludes such aliases from tm_callees since we can't handle them in ipa_tm_create_version. Second, ipa_tm_create_version() marks aliases of the original decl as needed in callback_mark_needed(). Unfortunately, this "needed" bit does not persist until the end of compilation because whole program IPA will remove the bit here: /* Frontends and alias code marks nodes as needed before parsing is finished. We may end up marking as node external nodes where this flag is meaningless strip it. */ if (node->needed && (DECL_EXTERNAL (node->decl) || !node->analyzed)) node->needed = 0; Consequently, the alias will not show up in the .tm_clone_table. The patch below sets the "analyzed" bit to keep this from happening. With it, g++.dg/tm/alias.C works again. No regressions elsewhere. OK? * trans-mem.c (ipa_tm_execute): Do not include aliases in tm_callees. (callback_mark_needed): Set analyzed bit. Index: trans-mem.c =================================================================== --- trans-mem.c (revision 180439) +++ trans-mem.c (working copy) @@ -4137,7 +4137,13 @@ callback_mark_needed (struct cgraph_node record_tm_clone_pair (node->decl, tm_alias); if (info->old_node->needed) - cgraph_mark_needed_node (cgraph_get_node (tm_alias)); + { + struct cgraph_node *alias = cgraph_get_node (tm_alias); + cgraph_mark_needed_node (alias); + /* Needed so function_and_variable_visibility() won't reset + the needed bit. */ + alias->analyzed = 1; + } } return false; } @@ -4592,6 +4598,7 @@ ipa_tm_execute (void) /* For all local functions marked tm_callable, queue them. */ for (node = cgraph_nodes; node; node = node->next) if (is_tm_callable (node->decl) + && !node->alias && cgraph_function_body_availability (node) >= AVAIL_OVERWRITABLE) { d = get_cg_data (node);