From patchwork Mon Aug 2 20:19:49 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 60614 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id 41BB8B6EFE for ; Tue, 3 Aug 2010 06:24:21 +1000 (EST) Received: (qmail 25677 invoked by alias); 2 Aug 2010 20:22:29 -0000 Received: (qmail 25430 invoked by uid 22791); 2 Aug 2010 20:22:23 -0000 X-SWARE-Spam-Status: No, hits=-1.8 required=5.0 tests=AWL, BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM, TW_CF, TW_SV, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-gy0-f175.google.com (HELO mail-gy0-f175.google.com) (209.85.160.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 02 Aug 2010 20:22:17 +0000 Received: by gyd8 with SMTP id 8so1550485gyd.20 for ; Mon, 02 Aug 2010 13:22:15 -0700 (PDT) Received: by 10.151.132.16 with SMTP id j16mr7321822ybn.21.1280780534997; Mon, 02 Aug 2010 13:22:14 -0700 (PDT) Received: from napoca (cpe-70-120-196-107.austin.res.rr.com [70.120.196.107]) by mx.google.com with ESMTPS id p8sm5732057ybk.3.2010.08.02.13.22.12 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 02 Aug 2010 13:22:14 -0700 (PDT) Received: by napoca (sSMTP sendmail emulation); Mon, 02 Aug 2010 15:22:11 -0500 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: Tobias Grosser , gcc-graphite Subject: [PATCH 16/65] Schedule a copy_prop pass before graphite. Date: Mon, 2 Aug 2010 15:19:49 -0500 Message-Id: <1280780438-17543-17-git-send-email-sebpop@gmail.com> In-Reply-To: <1280780438-17543-1-git-send-email-sebpop@gmail.com> References: <1280780438-17543-1-git-send-email-sebpop@gmail.com> X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org From: spop 2010-06-15 Sebastian Pop * passes.c (init_optimization_passes): Add pass_graphite. Schedule a pass_copy_prop before pass_graphite_transforms. * timevar.def (TV_GRAPHITE): Declared. * tree-pass.h (pass_graphite): Declared. * tree-ssa-loop.c (pass_graphite): New. * gcc.dg/graphite/id-20.c: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@160791 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 8 ++++++++ gcc/ChangeLog.graphite | 10 ++++++++++ gcc/passes.c | 7 +++++-- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/graphite/id-20.c | 26 ++++++++++++++++++++++++++ gcc/timevar.def | 1 + gcc/tree-pass.h | 1 + gcc/tree-ssa-loop.c | 19 +++++++++++++++++++ 8 files changed, 74 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/graphite/id-20.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d05f124..f08de60 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 2010-08-02 Sebastian Pop + * passes.c (init_optimization_passes): Add pass_graphite. + Schedule a pass_copy_prop before pass_graphite_transforms. + * timevar.def (TV_GRAPHITE): Declared. + * tree-pass.h (pass_graphite): Declared. + * tree-ssa-loop.c (pass_graphite): New. + +2010-08-02 Sebastian Pop + * graphite-clast-to-gimple.c (gloog): Do not pass scops in parameter. Remove calls to rename_nb_iterations and rename_sese_parameters. * graphite-clast-to-gimple.h (gloog): Update declaration. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index aac1c96..8b72f3e 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,13 @@ +2010-06-15 Sebastian Pop + + * passes.c (init_optimization_passes): Add pass_graphite. + Schedule a pass_copy_prop before pass_graphite_transforms. + * timevar.def (TV_GRAPHITE): Declared. + * tree-pass.h (pass_graphite): Declared. + * tree-ssa-loop.c (pass_graphite): New. + + * gcc.dg/graphite/id-20.c: New. + 2010-06-12 Sebastian Pop * graphite-clast-to-gimple.c (gloog): Do not pass scops in parameter. diff --git a/gcc/passes.c b/gcc/passes.c index 5a4cdc8..e2b9369 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -900,9 +900,12 @@ init_optimization_passes (void) NEXT_PASS (pass_check_data_deps); NEXT_PASS (pass_loop_distribution); NEXT_PASS (pass_linear_transform); - NEXT_PASS (pass_graphite_transforms); + NEXT_PASS (pass_copy_prop); + NEXT_PASS (pass_graphite); { - struct opt_pass **p = &pass_graphite_transforms.pass.sub; + struct opt_pass **p = &pass_graphite.pass.sub; + NEXT_PASS (pass_copy_prop); + NEXT_PASS (pass_graphite_transforms); NEXT_PASS (pass_copy_prop); NEXT_PASS (pass_dce_loop); NEXT_PASS (pass_lim); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 136a739..d4d8d90 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-08-02 Sebastian Pop + + * gcc.dg/graphite/id-20.c: New. + 2010-08-02 Bernd Schmidt PR target/40457 diff --git a/gcc/testsuite/gcc.dg/graphite/id-20.c b/gcc/testsuite/gcc.dg/graphite/id-20.c new file mode 100644 index 0000000..7e0cf6d --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/id-20.c @@ -0,0 +1,26 @@ +/* { dg-options "-O3 -fgraphite-identity -ffast-math" } */ + +typedef enum +{ + I_SLICE, +} SliceType; +typedef struct +{ + int type; +} ImageParameters; +extern ImageParameters *img; +int A[64], B[64], C[13][8][8], D[13][8][8]; + +void +foo (int q, int temp) +{ + int i, j, k; + for(k=0; k<13; k++) + for(j=0; j<8; j++) + for(i=0; i<8; i++) + { + if (img->type == I_SLICE) + C[k][j][i] = A[temp] << q; + D[k][j][i] = B[temp] << q; + } +} diff --git a/gcc/timevar.def b/gcc/timevar.def index a28d6ba..86e2999 100644 --- a/gcc/timevar.def +++ b/gcc/timevar.def @@ -146,6 +146,7 @@ DEFTIMEVAR (TV_COMPLETE_UNROLL , "complete unrolling") DEFTIMEVAR (TV_TREE_PARALLELIZE_LOOPS, "tree parallelize loops") DEFTIMEVAR (TV_TREE_VECTORIZATION , "tree vectorization") DEFTIMEVAR (TV_TREE_SLP_VECTORIZATION, "tree slp vectorization") +DEFTIMEVAR (TV_GRAPHITE , "Graphite") DEFTIMEVAR (TV_GRAPHITE_TRANSFORMS , "Graphite loop transforms") DEFTIMEVAR (TV_GRAPHITE_DATA_DEPS , "Graphite data dep analysis") DEFTIMEVAR (TV_GRAPHITE_CODE_GEN , "Graphite code generation") diff --git a/gcc/tree-pass.h b/gcc/tree-pass.h index 33c898e..84d4a88 100644 --- a/gcc/tree-pass.h +++ b/gcc/tree-pass.h @@ -373,6 +373,7 @@ extern struct gimple_opt_pass pass_iv_canon; extern struct gimple_opt_pass pass_scev_cprop; extern struct gimple_opt_pass pass_empty_loop; extern struct gimple_opt_pass pass_record_bounds; +extern struct gimple_opt_pass pass_graphite; extern struct gimple_opt_pass pass_graphite_transforms; extern struct gimple_opt_pass pass_if_conversion; extern struct gimple_opt_pass pass_loop_distribution; diff --git a/gcc/tree-ssa-loop.c b/gcc/tree-ssa-loop.c index 7a60144..9523dab 100644 --- a/gcc/tree-ssa-loop.c +++ b/gcc/tree-ssa-loop.c @@ -310,6 +310,25 @@ gate_graphite_transforms (void) return flag_graphite != 0; } +struct gimple_opt_pass pass_graphite = +{ + { + GIMPLE_PASS, + "graphite0", /* name */ + gate_graphite_transforms, /* gate */ + NULL, /* execute */ + NULL, /* sub */ + NULL, /* next */ + 0, /* static_pass_number */ + TV_GRAPHITE, /* tv_id */ + PROP_cfg | PROP_ssa, /* properties_required */ + 0, /* properties_provided */ + 0, /* properties_destroyed */ + 0, /* todo_flags_start */ + 0 /* todo_flags_finish */ + } +}; + struct gimple_opt_pass pass_graphite_transforms = { {