From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30622 invoked by alias); 20 May 2014 08:17:06 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 30600 invoked by uid 89); 20 May 2014 08:17:06 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL,BAYES_00 autolearn=ham version=3.3.2 X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 20 May 2014 08:17:00 +0000 Received: from svr-orw-fem-01.mgc.mentorg.com ([147.34.98.93]) by relay1.mentorg.com with esmtp id 1WmfEF-0002yp-IG from Tom_deVries@mentor.com ; Tue, 20 May 2014 01:16:55 -0700 Received: from SVR-IES-FEM-01.mgc.mentorg.com ([137.202.0.104]) by svr-orw-fem-01.mgc.mentorg.com over TLS secured channel with Microsoft SMTPSVC(6.0.3790.4675); Tue, 20 May 2014 01:16:55 -0700 Received: from [127.0.0.1] (137.202.0.76) by SVR-IES-FEM-01.mgc.mentorg.com (137.202.0.104) with Microsoft SMTP Server id 14.2.247.3; Tue, 20 May 2014 09:16:52 +0100 Message-ID: <537B0F6D.7060808@mentor.com> Date: Tue, 20 May 2014 08:17:00 -0000 From: Tom de Vries User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: Jan Hubicka CC: "gcc-patches@gcc.gnu.org" , Thomas Schwinge , Jakub Jelinek Subject: Don't dump low gimple functions in gimple dump Content-Type: multipart/mixed; boundary="------------080909070004070805070801" X-SW-Source: 2014-05/txt/msg01586.txt.bz2 --------------080909070004070805070801 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7bit Content-length: 1527 Honza, Consider this program: ... int main(void) { #pragma omp parallel { extern void foo(void); foo (); } return 0; } ... When compiling this program with -fopenmp, the ompexp pass splits off a new function called main._omp_fn.0 containing the call to foo. The new function is then dumped into the gimple dump by analyze_function. There are two problems with this: - the new function is in low gimple, and is dumped next to high gimple functions - since it's already low, the new function is not lowered, and 'goes missing' in the dumps following the gimple dump, until it reappears again after the last lowering dump. [ http://gcc.gnu.org/ml/gcc/2014-03/msg00312.html ] This patch fixes the problems by ensuring that analyze_function only dumps the new function to the gimple dump after gimplification (specifically, by moving the dump_function call into gimplify_function_tree. That makes the call to dump_function in finalize_size_functions superfluous). That also requires us to add a call to dump_function in finalize_task_copyfn, where we split off a new high gimple function. And in expand_omp_taskreg and expand_omp_target, where we split off a new low gimple function, we now dump the new function into the current (ompexp) dump file, which is the last lowering dump. Finally, we dump an information statement at the start of cgraph_add_new_function to give a better idea when and what kind of function is created. Bootstrapped and reg-tested on x86_64. OK for trunk ? Thanks, - Tom --------------080909070004070805070801 Content-Type: text/x-patch; name="0001-Don-t-dump-already-lowered-functions-in-gimple-dump.patch" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename*0="0001-Don-t-dump-already-lowered-functions-in-gimple-dump.pat"; filename*1="ch" Content-length: 5713 2014-05-19 Tom de Vries * cgraphunit.c (cgraph_add_new_function): Dump message on new function. (analyze_function): Don't dump function to gimple dump file. * gimplify.c: Add tree-dump.h include. (gimplify_function_tree): Dump function to gimple dump file. * omp-low.c: Add tree-dump.h include. (finalize_task_copyfn): Dump new function to gimple dump file. (expand_omp_taskreg, expand_omp_target): Dump new function to dump file. * stor-layout.c (finalize_size_functions): Don't dump function to gimple dump file. * gcc.dg/gomp/dump-task.c: New test. --- gcc/cgraphunit.c | 15 ++++++++++++++- gcc/gimplify.c | 3 +++ gcc/omp-low.c | 6 ++++++ gcc/stor-layout.c | 1 - gcc/testsuite/gcc.dg/gomp/dump-task.c | 33 +++++++++++++++++++++++++++++++++ 5 files changed, 56 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/gomp/dump-task.c diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c index 9b51135..2ff4079 100644 --- a/gcc/cgraphunit.c +++ b/gcc/cgraphunit.c @@ -491,6 +491,20 @@ cgraph_add_new_function (tree fndecl, bool lowered) { gcc::pass_manager *passes = g->get_passes (); struct cgraph_node *node; + + if (dump_file) + { + const char *function_type = ((gimple_has_body_p (fndecl)) + ? (lowered + ? "low gimple" + : "high gimple") + : "to-be-gimplified"); + fprintf (dump_file, + "Added new %s function %s to callgraph\n", + function_type, + fndecl_name (fndecl)); + } + switch (cgraph_state) { case CGRAPH_STATE_PARSING: @@ -647,7 +661,6 @@ analyze_function (struct cgraph_node *node) body. */ if (!gimple_has_body_p (decl)) gimplify_function_tree (decl); - dump_function (TDI_generic, decl); /* Lower the function. */ if (!node->lowered) diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 3241633..065bf2c 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -59,6 +59,7 @@ along with GCC; see the file COPYING3. If not see #include "omp-low.h" #include "gimple-low.h" #include "cilk.h" +#include "tree-dump.h" #include "langhooks-def.h" /* FIXME: for lhd_set_decl_assembler_name */ #include "tree-pass.h" /* FIXME: only for PROP_gimple_any */ @@ -8864,6 +8865,8 @@ gimplify_function_tree (tree fndecl) cfun->curr_properties = PROP_gimple_any; pop_cfun (); + + dump_function (TDI_generic, fndecl); } /* Return a dummy expression of type TYPE in order to keep going after an diff --git a/gcc/omp-low.c b/gcc/omp-low.c index a2a64ad..0c497e9 100644 --- a/gcc/omp-low.c +++ b/gcc/omp-low.c @@ -71,6 +71,7 @@ along with GCC; see the file COPYING3. If not see #include "ipa-prop.h" #include "tree-nested.h" #include "tree-eh.h" +#include "tree-dump.h" /* Lowering of OpenMP parallel and workshare constructs proceeds in two @@ -1396,6 +1397,7 @@ finalize_task_copyfn (gimple task_stmt) pop_cfun (); /* Inform the callgraph about the new function. */ + dump_function (TDI_generic, child_fn); cgraph_add_new_function (child_fn, false); } @@ -4843,6 +4845,8 @@ expand_omp_taskreg (struct omp_region *region) /* Inform the callgraph about the new function. */ DECL_STRUCT_FUNCTION (child_fn)->curr_properties = cfun->curr_properties; cgraph_add_new_function (child_fn, true); + if (dump_file) + dump_function_to_file (child_fn, dump_file, dump_flags); /* Fix the callgraph edges for child_cfun. Those for cfun will be fixed in a following pass. */ @@ -7963,6 +7967,8 @@ expand_omp_target (struct omp_region *region) /* Inform the callgraph about the new function. */ DECL_STRUCT_FUNCTION (child_fn)->curr_properties = cfun->curr_properties; cgraph_add_new_function (child_fn, true); + if (dump_file) + dump_function_to_file (child_fn, dump_file, dump_flags); /* Fix the callgraph edges for child_cfun. Those for cfun will be fixed in a following pass. */ diff --git a/gcc/stor-layout.c b/gcc/stor-layout.c index 8fa4dc8..368541c 100644 --- a/gcc/stor-layout.c +++ b/gcc/stor-layout.c @@ -297,7 +297,6 @@ finalize_size_functions (void) set_cfun (NULL); dump_function (TDI_original, fndecl); gimplify_function_tree (fndecl); - dump_function (TDI_generic, fndecl); cgraph_finalize_function (fndecl, false); } diff --git a/gcc/testsuite/gcc.dg/gomp/dump-task.c b/gcc/testsuite/gcc.dg/gomp/dump-task.c new file mode 100644 index 0000000..08ae5c3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/gomp/dump-task.c @@ -0,0 +1,33 @@ +/* https://gcc.gnu.org/ml/gcc/2014-03/msg00312.html + https://gcc.gnu.org/ml/gcc/2014-05/msg00117.html */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fopenmp -fdump-tree-gimple -fdump-tree-ompexp" } */ + +int +main(void) +{ +#pragma omp parallel + { + extern void foo(void); + foo (); + } + return 0; +} + + +/* Check that low gimple representation does not end up in high gimple + dump. */ +/* { dg-final { scan-tree-dump-not "main._omp_fn.0" "gimple" } } */ + +/* Check for 3 references in ompexp dump: new function notification, function + dump and reference in main. */ +/* { dg-final { scan-tree-dump-times "main._omp_fn.0" 3 "ompexp" } } */ + +/* Check for function dump of main._omp_fn.0. */ +/* { dg-final { scan-tree-dump-times "main._omp_fn.0 \\(void" 1 "ompexp" } } */ + +/* Check for presence of function body of main._omp_fn.0. */ +/* { dg-final { scan-tree-dump-times "foo \\(\\)" 1 "ompexp" } } */ + +/* { dg-final { cleanup-tree-dump "gimple" } } */ +/* { dg-final { cleanup-tree-dump "ompexp" } } */ -- 1.9.1 --------------080909070004070805070801--