From patchwork Wed Sep 21 06:10:24 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Senthil Kumar Selvaraj X-Patchwork-Id: 672593 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.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3sf8Qs0sgSz9s3s for ; Wed, 21 Sep 2016 16:11:46 +1000 (AEST) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b=AYWBFp4a; dkim-atps=neutral DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:subject:date:message-id:mime-version:content-type; q=dns; s= default; b=BniwqkUdW/hnz9y094iaUt6Rry10N68nMxfDVrkfaA3kPAo8LeHXw +GwGFMtH4r/YPD/TPaYmN8vdqOhY1ex6HKnbVwh0dAssJlhdK3cKJVPcP0SI5Tyc RDf44/n2T+pP/JBaFATm+UrcsyZBLDlAKzqFuEYP5k0x6v8s0nGB4A= 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:from :to:subject:date:message-id:mime-version:content-type; s= default; bh=j+7W1ZcZgBclSt8Gm05dFnOOXW0=; b=AYWBFp4afBGoXWWcmbiR 4om+Fl9/TZcthte65ILxO306V0Ehbc7nbI6Dgbx8YDMeArHpgI24uXhW/EcWOppZ VXa5jkXovf5NM9jrS2JZQ2AjL+eK4YNAgOkyGZTVHDp5S1VOOH/3fsJ8z5TAZXbn UpNxCTQbYzhXIt2QvOZGUY4= Received: (qmail 14930 invoked by alias); 21 Sep 2016 06:11:38 -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 14910 invoked by uid 89); 21 Sep 2016 06:11:36 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.6 required=5.0 tests=BAYES_05, RP_MATCHES_RCVD, SPF_PASS autolearn=ham version=3.3.2 spammy=H*F:D*atmel.com, H*r:14.3.235, H*M:atmel, H*RU:14.3.235.1 X-HELO: eusmtp01.atmel.com Received: from eusmtp01.atmel.com (HELO eusmtp01.atmel.com) (212.144.249.242) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 21 Sep 2016 06:11:26 +0000 Received: from HNOCHT02.corp.atmel.com (10.145.133.41) by eusmtp01.atmel.com (10.145.145.30) with Microsoft SMTP Server (TLS) id 14.3.235.1; Wed, 21 Sep 2016 08:11:20 +0200 Received: from jaguar.atmel.com (10.145.133.18) by HNOCHT02.corp.atmel.com (10.145.133.41) with Microsoft SMTP Server (TLS) id 14.3.235.1; Wed, 21 Sep 2016 08:11:22 +0200 User-agent: mu4e 0.9.17; emacs 24.5.1 From: Senthil Kumar Selvaraj To: "gcc-patches@gcc.gnu.org" Subject: [Patch, testsuite] Make pr64130.c pass for avr Date: Wed, 21 Sep 2016 11:40:24 +0530 Message-ID: <87k2e5iy0f.fsf@atmel.com> MIME-Version: 1.0 X-IsSubscribed: yes Hi, For the lower vrp bound to be 2/-2, unsigned ints must be 4 bytes wide. This isn't true for targets like avr. Explicitly using __UINT32_TYPE__ behind a typedef makes the testcase pass for all targets. Committed to trunk. Regards Senthil gcc/testsuite/ChangeLog: 2016-09-21 Senthil Kumar Selvaraj * gcc.dg/tree-ssa/pr64130.c: Use __UINT32_TYPE__ instead of int. Index: gcc.dg/tree-ssa/pr64130.c =================================================================== --- gcc.dg/tree-ssa/pr64130.c (revision 240299) +++ gcc.dg/tree-ssa/pr64130.c (revision 240300) @@ -2,12 +2,14 @@ /* { dg-do compile } */ /* { dg-options "-O2 -fdump-tree-evrp" } */ -int funsigned (unsigned a) +__extension__ typedef __UINT32_TYPE__ uint32_t; + +int funsigned (uint32_t a) { return 0x1ffffffffL / a == 0; } -int funsigned2 (unsigned a) +int funsigned2 (uint32_t a) { if (a < 1) return 1; return (-1 * 0x1ffffffffL) / a == 0;