From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3560 invoked by alias); 29 Sep 2011 16:06:05 -0000 Received: (qmail 3545 invoked by uid 22791); 29 Sep 2011 16:06:02 -0000 X-SWARE-Spam-Status: No, hits=-7.1 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_HI,RP_MATCHES_RCVD,SPF_HELO_PASS X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 29 Sep 2011 16:05:46 +0000 Received: from int-mx01.intmail.prod.int.phx2.redhat.com (int-mx01.intmail.prod.int.phx2.redhat.com [10.5.11.11]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id p8TG5h0J031667 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 29 Sep 2011 12:05:43 -0400 Received: from ns3.rdu.redhat.com (ns3.rdu.redhat.com [10.11.255.199]) by int-mx01.intmail.prod.int.phx2.redhat.com (8.13.8/8.13.8) with ESMTP id p8TG5gLr024087; Thu, 29 Sep 2011 12:05:42 -0400 Received: from [10.3.113.146] (ovpn-113-146.phx2.redhat.com [10.3.113.146]) by ns3.rdu.redhat.com (8.13.8/8.13.8) with ESMTP id p8TG5dCI032245; Thu, 29 Sep 2011 12:05:40 -0400 Message-ID: <4E849753.4090303@redhat.com> Date: Fri, 30 Sep 2011 01:51:00 -0000 From: Jeff Law User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:6.0.2) Gecko/20110906 Thunderbird/6.0.2 MIME-Version: 1.0 To: Rahul Kharche CC: Bernd Schmidt , "Amker.Cheng" , "Paulo J. Matos" , "gcc@gcc.gnu.org" Subject: Re: missing conditional propagation in cprop.c pass References: <86wrcra1p9.fsf@pm18pc01.europe.root.pri> <58146932D5B9E442A708ADF29DDB910A38D08ED2BF@DEMAIL01.nvidia.com> <4E848E17.50508@codesourcery.com> <4E84909B.6020803@redhat.com> <4E849128.3080701@codesourcery.com> <58146932D5B9E442A708ADF29DDB910A38D08ED33F@DEMAIL01.nvidia.com> In-Reply-To: <58146932D5B9E442A708ADF29DDB910A38D08ED33F@DEMAIL01.nvidia.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2011-09/txt/msg00376.txt.bz2 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 09/29/11 09:48, Rahul Kharche wrote: >> On 09/29/11 17:36, Jeff Law wrote: >>> On 09/29/11 09:26, Bernd Schmidt wrote: >>>> ISTR cse.c has some support for this. >>> cprop.c -- see references to implicit_sets. >> >> cse too: record_jump_equiv. > > Interesting. Are the two approaches subtly different or do they > apply precisely the same predication? gcse works globally. cse works on extended basic blocks. jeff -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJOhJdTAAoJEBRtltQi2kC7B4MIAKUIBpwl7WtYez16YGBlcHPK Lav2e4hLmv2lTUloYACIXD172Z4LvrpPZeN++rOt3LIs4q1KRiItF3qnb0Y6Sv+L FXDHkk8RgMX7lQ2K2X9v3pUNWyxBNk+RAH/6LWvT9MNoCQFkcQNdb0hJoZcTvyww QILvDXMf5LwypEAWINFjEBIR3UwZfsA1XaOmZ7kvCwudhKSrCZU9Jbud5IBc+Znp jtxh2rKFyWegejfaS3nXPZF30yLNavKANxtr1DLdLkYt6TotlTexqXgTNXjRyqC5 um4uSMRMPjqyQRhuaCCUfNCMrRwpTld5RbeHHw2y6YH1yma4MzirVmgiu/ITmLQ= =xvOq -----END PGP SIGNATURE-----