From patchwork Mon Aug 2 20:20:15 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Sebastian Pop X-Patchwork-Id: 60640 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 6EE2AB6EFE for ; Tue, 3 Aug 2010 06:27:43 +1000 (EST) Received: (qmail 32668 invoked by alias); 2 Aug 2010 20:24:04 -0000 Received: (qmail 32360 invoked by uid 22791); 2 Aug 2010 20:23:59 -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, RCVD_IN_DNSWL_NONE, TW_SV, TW_TM, T_TO_NO_BRKTS_FREEMAIL X-Spam-Check-By: sourceware.org Received: from mail-yw0-f47.google.com (HELO mail-yw0-f47.google.com) (209.85.213.47) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 02 Aug 2010 20:23:50 +0000 Received: by mail-yw0-f47.google.com with SMTP id 9so1522374ywe.20 for ; Mon, 02 Aug 2010 13:23:50 -0700 (PDT) Received: by 10.150.65.1 with SMTP id n1mr7609959yba.74.1280780630344; Mon, 02 Aug 2010 13:23:50 -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 m12sm5734491ybn.19.2010.08.02.13.23.48 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 02 Aug 2010 13:23:49 -0700 (PDT) Received: by napoca (sSMTP sendmail emulation); Mon, 02 Aug 2010 15:23:46 -0500 From: Sebastian Pop To: gcc-patches@gcc.gnu.org Cc: Tobias Grosser , gcc-graphite Subject: [PATCH 42/65] Add testcase for PR42729 and fix handling of gimple_debug info. Date: Mon, 2 Aug 2010 15:20:15 -0500 Message-Id: <1280780438-17543-43-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-07-15 Sebastian Pop * sese.c (rename_uses): Handl unconditionally gimple_debug statements. * gcc.dg/graphite/pr42729.c: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@162250 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 4 ++++ gcc/ChangeLog.graphite | 6 ++++++ gcc/sese.c | 24 +++++++++++------------- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/graphite/pr42729.c | 15 +++++++++++++++ 5 files changed, 40 insertions(+), 13 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/graphite/pr42729.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 07ee095..385cdac 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2010-08-02 Sebastian Pop + * sese.c (rename_uses): Handl unconditionally gimple_debug statements. + +2010-08-02 Sebastian Pop + * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Special case non close-phi nodes with one argument. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 965ed25..37bedfb 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2010-07-15 Sebastian Pop + * sese.c (rename_uses): Handl unconditionally gimple_debug statements. + + * gcc.dg/graphite/pr42729.c: New. + +2010-07-15 Sebastian Pop + * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Special case non close-phi nodes with one argument. diff --git a/gcc/sese.c b/gcc/sese.c index 583504d..9dbd76f 100644 --- a/gcc/sese.c +++ b/gcc/sese.c @@ -480,6 +480,16 @@ rename_uses (gimple copy, htab_t rename_map, gimple_stmt_iterator *gsi_tgt, use_operand_p use_p; ssa_op_iter op_iter; + if (is_gimple_debug (copy)) + { + if (gimple_debug_bind_p (copy)) + gimple_debug_bind_reset_value (copy); + else + gcc_unreachable (); + + return; + } + FOR_EACH_SSA_USE_OPERAND (use_p, copy, op_iter, SSA_OP_ALL_USES) { tree old_name = USE_FROM_PTR (use_p); @@ -501,19 +511,7 @@ rename_uses (gimple copy, htab_t rename_map, gimple_stmt_iterator *gsi_tgt, || (TREE_CODE (new_expr) != SSA_NAME && is_gimple_reg (old_name))) { - tree var; - - if (is_gimple_debug (copy)) - { - if (gimple_debug_bind_p (copy)) - gimple_debug_bind_reset_value (copy); - else - gcc_unreachable (); - - break; - } - - var = create_tmp_var (type_old_name, "var"); + tree var = create_tmp_var (type_old_name, "var"); if (type_old_name != type_new_expr) new_expr = fold_convert (type_old_name, new_expr); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 172aaa3..76288ae 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2010-08-02 Sebastian Pop + * gcc.dg/graphite/pr42729.c: New. + +2010-08-02 Sebastian Pop + * gfortran.dg/graphite/id-20.f: New. 2010-08-02 Sebastian Pop diff --git a/gcc/testsuite/gcc.dg/graphite/pr42729.c b/gcc/testsuite/gcc.dg/graphite/pr42729.c new file mode 100644 index 0000000..3a0e901 --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/pr42729.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fgraphite-identity -fcompare-debug" } */ + +int A[10]; +int *foo () +{ + int *p1, *p2, i; + for (i = 0; i < 10; i++) + { + p1 = &A[i]; + *p1 = 0; + } + p2 = p1; + return p2; +}