From patchwork Mon Oct 31 07:26:08 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: tbsaunde+gcc@tbsaunde.org X-Patchwork-Id: 689216 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 3t6m0h5xN2z9t2j for ; Mon, 31 Oct 2016 18:17:54 +1100 (AEDT) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b=wzL8SXVg; 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; q=dns; s=default; b=JYkv8nR+LlFYJhD AzVnXBXTVg6/8awu+K+KqERmg3u64ZcAHov0pU7xS8v8srfPIClCqNn1J9y/5CK5 +Jh7wEEyKa48XmjTBNjAVVtpY60znYIFTilbU2PWcCIWDGaZy/IEVC7SidemD2KN +4AFyElhlBsPobGsSkMa8p8PjDXI= 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; s=default; bh=F5yjYb1DtfdwZSEa840J8 4rIcMM=; b=wzL8SXVgZZ4YYg1xRVz5aUMwCqk6SxjN9Z7H0A1x7uyg9nt4D5DmE KDaX/xIoDYb6hy0BsmYyTXajc8TQ2VOg/vZC4Irnbfw53vaawcr5l1UJN5M97Ol4 5ck+e3M/ZsPTbL9d08YoeXbyFW4U8Uw9kAzTYO/vAr57/KtJ4DaiUw= Received: (qmail 57107 invoked by alias); 31 Oct 2016 07:17:44 -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 57073 invoked by uid 89); 31 Oct 2016 07:17:42 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-4.6 required=5.0 tests=BAYES_00, RP_MATCHES_RCVD, SPF_HELO_PASS, SPF_PASS autolearn=ham version=3.3.2 spammy=2016-10-31, __phi, __PHI, fgimple X-HELO: paperclip.tbsaunde.org Received: from tbsaunde.org (HELO paperclip.tbsaunde.org) (66.228.47.254) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 31 Oct 2016 07:17:32 +0000 Received: from keg.corp.tor1.mozilla.com (unknown [IPv6:2607:f0c8:8000:80e0:56ee:75ff:fe52:afb9]) by paperclip.tbsaunde.org (Postfix) with ESMTPSA id 36F1CC06B for ; Mon, 31 Oct 2016 07:17:29 +0000 (UTC) From: tbsaunde+gcc@tbsaunde.org To: gcc-patches@gcc.gnu.org Subject: [PATCH] add a gimple test for PR21458 Date: Mon, 31 Oct 2016 03:26:08 -0400 Message-Id: <20161031072608.32001-1-tbsaunde+gcc@tbsaunde.org> X-IsSubscribed: yes From: Trevor Saunders A demonstration we can do the same thing with a gimple test as -fno-tree-evrp but somewhat more precisely. I tested this passes on x86_64-linux-gnu, ok? Trev gcc/testsuite/ChangeLog: 2016-10-31 Trevor Saunders * gcc.dg/tree-ssa/pr21458-3.c: New test. --- gcc/testsuite/gcc.dg/tree-ssa/pr21458-3.c | 40 +++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr21458-3.c diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr21458-3.c b/gcc/testsuite/gcc.dg/tree-ssa/pr21458-3.c new file mode 100644 index 0000000..6433a7e --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr21458-3.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fgimple -fdump-tree-vrp1" } */ + +extern void g (void); +extern void bar (int); + +int __GIMPLE(startwith("vrp1")) +foo (int a) +{ + int i; + + bb_2: + i_4 = 1; + goto bb_6; + + bb_3: + if (i_1 != 0) + goto bb_4; + else + goto bb_5; + + bb_4: + g (); + + bb_5: + i_7 = i_1 + 1; + + bb_6: + i_1 = __PHI (bb_2: i_4, bb_5: i_7); + if (i_1 <= 99) + goto bb_3; + else + goto bb_7; + + bb_7: + return; + +} + +/* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" } } */