From patchwork Tue Dec 18 13:25:17 2012 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Biener X-Patchwork-Id: 207108 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 79CA22C0087 for ; Wed, 19 Dec 2012 00:27:07 +1100 (EST) Comment: DKIM? See http://www.dkim.org DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=gcc.gnu.org; s=default; x=1356442028; h=Comment: DomainKey-Signature:Received:Received:Received:Received:Date: From:To:Subject:Message-ID:User-Agent:MIME-Version:Content-Type: Mailing-List:Precedence:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:Sender:Delivered-To; bh=KtdaBxVj41ipOoveM8gA kN/bfDo=; b=mmBtPnjADqogORhJRLsg7c1tiv4/O1Ta98WpRNcM7PsBwTRUrnB6 85O/SuAxVznq14SqFJLvNdHT3VMRlUlLskBQTJB6g1p10Ag1EYTX2yTemn+Sygnw Xh0ByV65w9VrzACVaBsJXpFo/hrLFv4tu4/CUeRrRBhHWOmu7tcVkPE= Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=gcc.gnu.org; h=Received:Received:X-SWARE-Spam-Status:X-Spam-Check-By:Received:Received:Date:From:To:Subject:Message-ID:User-Agent:MIME-Version:Content-Type:Mailing-List:Precedence:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:Sender:Delivered-To; b=eOFOnS3SiiQppDJh4fKiASZCBrg/zM5xCnTCvDiWi4ITEo+skexbazEDX4WN6E iRrCnJErTIUvYLIVUPu3W7NNY5TIO+4YELRrJApIYM/okVjW+xS2cX9Qmwq2WeQj M0Dc7eBvpwZaAG5JgFbJAXPu/McvLgH/dvm4afGWtK0So=; Received: (qmail 32389 invoked by alias); 18 Dec 2012 13:26:59 -0000 Received: (qmail 32376 invoked by uid 22791); 18 Dec 2012 13:26:58 -0000 X-SWARE-Spam-Status: No, hits=-5.4 required=5.0 tests=AWL, BAYES_00, KHOP_RCVD_UNTRUST, RCVD_IN_DNSWL_HI, T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from cantor2.suse.de (HELO mx2.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 18 Dec 2012 13:26:26 +0000 Received: from relay1.suse.de (unknown [195.135.220.254]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx2.suse.de (Postfix) with ESMTP id 6915FA4F01 for ; Tue, 18 Dec 2012 14:26:25 +0100 (CET) Date: Tue, 18 Dec 2012 14:25:17 +0100 (CET) From: Richard Biener To: gcc-patches@gcc.gnu.org Subject: [PATCH] Fix gcc.dg/tree-ssa/reassoc-19.c testcase Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 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 Revisiting PR40815, in particular the attached supposedly bad dump shows: D.2021_14 = (unsigned int) rite_2; D.2022_9 = (unsigned int) element_5(D); D.2023_15 = -D.2022_9; D.2024_16 = D.2021_14 + D.2023_15; rite_17 = (char *) D.2024_16; while now we have _7 = (sizetype) element_6(D); _8 = -_7; rite_9 = rite_1 + _8; which TER will happily forward into the POINTER_PLUS_EXPR. Thus the following adjusts the dump-scanning to expect exactly that simplified form. Tested on x86_64-unknown-linux-gnu, applied. Richard. 2012-12-18 Richard Biener * gcc.dg/tree-ssa/reassoc-19.c: Adjust. Index: gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c =================================================================== --- gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c (revision 194578) +++ gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c (working copy) @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-Os -fdump-tree-reassoc2" } */ +/* { dg-options "-Os -fdump-tree-optimized" } */ /* Slightly changed testcase from PR middle-end/40815. */ void bar(char*, char*, int); @@ -8,14 +8,15 @@ void foo(char* left, char* rite, int ele while (left <= rite) { /* This should expand into - D.zzzz = D.zzzz - D.xxxx; - and NOT to - D.D.yyyy = -D.xxxx; D.zzzz = D.zzzz + D.yyyy; */ + _7 = (sizetype) element_6(D); + _8 = -_7; + rite_9 = rite_1 + _8; */ rite -= element; bar(left, rite, element); } } -/* There should be no " + " in the dump. */ -/* { dg-final { scan-tree-dump-times " \\\+ " 0 "reassoc2" } } */ -/* { dg-final { cleanup-tree-dump "reassoc2" } } */ +/* { dg-final { scan-tree-dump-times "= \\\(sizetype\\\) element" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "= -" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times " \\\+ " 1 "optimized" } } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */