From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-375337-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5060 invoked by alias); 15 Aug 2014 06:15:11 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 5050 invoked by uid 89); 15 Aug 2014 06:15:10 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-2.2 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2
X-HELO: mail-qg0-f52.google.com
Received: from mail-qg0-f52.google.com (HELO mail-qg0-f52.google.com) (209.85.192.52) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-SHA encrypted) ESMTPS; Fri, 15 Aug 2014 06:15:09 +0000
Received: by mail-qg0-f52.google.com with SMTP id f51so1866149qge.25        for <gcc-patches@gcc.gnu.org>; Thu, 14 Aug 2014 23:15:07 -0700 (PDT)
MIME-Version: 1.0
X-Received: by 10.224.130.7 with SMTP id q7mr25101869qas.42.1408083307457; Thu, 14 Aug 2014 23:15:07 -0700 (PDT)
Received: by 10.140.18.173 with HTTP; Thu, 14 Aug 2014 23:15:07 -0700 (PDT)
In-Reply-To: <20140814152924.GA24451@instance-1.c.bardezibar.internal>
References: <002e01cfa19e$ac13fed0$043bfc70$@arm.com>	<CAFiYyc1asoW_ZjA0DXJP_SfM7OC=c9W0dpj+V1zQ=TxfZseqqQ@mail.gmail.com>	<CAHFci2-23+TWwadGERLuW3FP7ox8OTYXis9dxsLcUWZpRFGWJA@mail.gmail.com>	<20140814152924.GA24451@instance-1.c.bardezibar.internal>
Date: Fri, 15 Aug 2014 06:15:00 -0000
Message-ID: <CAHFci29VT3rAD7SBsFcGPCm7YcRk5SmyrmC+BtxCMECTdM2eqg@mail.gmail.com>
Subject: Re: [PATCH 2/3]Improve induction variable elimination
From: "Bin.Cheng" <amker.cheng@gmail.com>
To: Sebastian Pop <sebpop@gmail.com>
Cc: Richard Biener <richard.guenther@gmail.com>, Bin Cheng <bin.cheng@arm.com>, 	GCC Patches <gcc-patches@gcc.gnu.org>
Content-Type: text/plain; charset=ISO-8859-1
X-IsSubscribed: yes
X-SW-Source: 2014-08/txt/msg01546.txt.bz2

On Thu, Aug 14, 2014 at 11:29 PM, Sebastian Pop <sebpop@gmail.com> wrote:
> Bin.Cheng wrote:
>> >> The overflow check can be improved by using deeper inspection to prove the
>> >> equality.  This patch deals with that by making below two improvements:
>> >>   a) Handles constant cases.
>> >>   b) Uses affine expansion as deeper inspection to check the equality.
>
> Looks good to me.

Thanks for reviewing.  Committed as r213997.

Thanks,
bin