From patchwork Thu May 2 06:01:58 2013 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jakub Jelinek X-Patchwork-Id: 240898 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]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "localhost", Issuer "www.qmailtoaster.com" (not verified)) by ozlabs.org (Postfix) with ESMTPS id 399272C00D0 for ; Thu, 2 May 2013 16:02:13 +1000 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:reply-to:mime-version:content-type; q=dns; s=default; b=Wa4Y8Qb20gyNrJFoCWrEKG65xze37vJH0L9rGumVHFB XDl4RObFUgYsA3UdFlemzY1IvEeCsPyNfUq/CA2wSGBUxkq7b0im4PsGN/b2puGr 6ZD6JUb+aSyuI7+/S+5IV4fD90nONq1c8WBvdcNiP5jdYS1zfHg52adcxIyMgk74 = DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:reply-to:mime-version:content-type; s=default; bh=daaUzoMUITdah7SNmdl4xlK+XGc=; b=rAmY1H94+yk0Hqb0J eB3w3SidbEga+9yesqKer42UqcGJy7AK40DY1boSbOhrvZkblqcuBOwCf9u923Pi DI50t9r6K4SJFGguJtF7OwMoUWXT5Ra4oEUUZRXN2GVx6K1EgCLAI5Osj8LijL9t 0lVf+ewR8Sn/iWKgtjbV461E/c= Received: (qmail 30101 invoked by alias); 2 May 2013 06:02:06 -0000 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 Received: (qmail 30091 invoked by uid 89); 2 May 2013 06:02:05 -0000 X-Spam-SWARE-Status: No, score=-5.5 required=5.0 tests=AWL, BAYES_00, RP_MATCHES_RCVD, SPF_HELO_PASS, SPF_PASS autolearn=ham version=3.3.1 Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Thu, 02 May 2013 06:02:05 +0000 Received: from int-mx10.intmail.prod.int.phx2.redhat.com (int-mx10.intmail.prod.int.phx2.redhat.com [10.5.11.23]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id r42623O1001068 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Thu, 2 May 2013 02:02:03 -0400 Received: from zalov.cz (vpn-60-223.rdu2.redhat.com [10.10.60.223]) by int-mx10.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id r426210X022011 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 2 May 2013 02:02:03 -0400 Received: from zalov.cz (localhost [127.0.0.1]) by zalov.cz (8.14.5/8.14.5) with ESMTP id r42620YP032581 for ; Thu, 2 May 2013 08:02:00 +0200 Received: (from jakub@localhost) by zalov.cz (8.14.5/8.14.5/Submit) id r4261xBR032580 for gcc-patches@gcc.gnu.org; Thu, 2 May 2013 08:01:59 +0200 Date: Thu, 2 May 2013 08:01:58 +0200 From: Jakub Jelinek To: gcc-patches@gcc.gnu.org Subject: [committed] Add testcase from PR57131 Message-ID: <20130502060158.GU28963@tucnak.redhat.com> Reply-To: Jakub Jelinek MIME-Version: 1.0 Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Hi! This got fixed by Vlad in PR57097, I've committed the testcase as obvious (so far to trunk, because the fix hasn't been backported to 4.8 branch yet, will commit there too afterwards). 2013-05-02 Jakub Jelinek PR rtl-optimization/57131 * gcc.c-torture/execute/pr57131.c: New test. Jakub --- gcc/testsuite/gcc.c-torture/execute/pr57131.c.jj 2013-05-02 07:58:05.557803157 +0200 +++ gcc/testsuite/gcc.c-torture/execute/pr57131.c 2013-05-02 07:54:14.000000000 +0200 @@ -0,0 +1,19 @@ +/* PR rtl-optimization/57131 */ + +extern void abort (void); + +int +main () +{ + volatile int x1 = 0; + volatile long long x2 = 0; + volatile int x3 = 0; + volatile int x4 = 1; + volatile int x5 = 1; + volatile long long x6 = 1; + long long t = ((x1 * (x2 << x3)) / (x4 * x5)) + x6; + + if (t != 1) + abort (); + return 0; +}