From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-391840-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 817 invoked by alias); 13 Feb 2015 10:23:14 -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 803 invoked by uid 89); 13 Feb 2015 10:23:14 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=0.4 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,KAM_FROM_URIBL_PCCC,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=no version=3.3.2
X-HELO: mail-ob0-f180.google.com
Received: from mail-ob0-f180.google.com (HELO mail-ob0-f180.google.com) (209.85.214.180) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Fri, 13 Feb 2015 10:23:12 +0000
Received: by mail-ob0-f180.google.com with SMTP id vb8so18261516obc.11        for <gcc-patches@gcc.gnu.org>; Fri, 13 Feb 2015 02:23:11 -0800 (PST)
MIME-Version: 1.0
X-Received: by 10.202.44.148 with SMTP id s142mr5533293ois.106.1423822991074; Fri, 13 Feb 2015 02:23:11 -0800 (PST)
Received: by 10.76.62.9 with HTTP; Fri, 13 Feb 2015 02:23:11 -0800 (PST)
In-Reply-To: <000b01d04771$8b8ec310$a2ac4930$@arm.com>
References: <000b01d04771$8b8ec310$a2ac4930$@arm.com>
Date: Fri, 13 Feb 2015 10:23:00 -0000
Message-ID: <CAFiYyc34x9Bke5ccRhcNxfGpOGcMniGsdHdueaRW5f0TAeqyGw@mail.gmail.com>
Subject: Re: [PATCH GCC][PR62173 partial/1]Preserve ssa name (thus vrp info) for IV structure
From: Richard Biener <richard.guenther@gmail.com>
To: Bin Cheng <bin.cheng@arm.com>
Cc: GCC Patches <gcc-patches@gcc.gnu.org>
Content-Type: text/plain; charset=UTF-8
X-IsSubscribed: yes
X-SW-Source: 2015-02/txt/msg00843.txt.bz2

On Fri, Feb 13, 2015 at 10:43 AM, Bin Cheng <bin.cheng@arm.com> wrote:
> Hi,
> When dealing with PR62173, we found places in which overflow check on SCEVs
> can be improved by range information.  This patch addresses one of them.
> Richard once suggested that we should trace range info all the way through
> SCEV thus have it on CHREC structure.  But as far as IVOPTs is concerned,
> there is already the information because for each IV, we have the
> corresponding ssa name field.  The only problem is GCC now releases this
> field to make iv dump routines easier.  This is a trivial patch fixing this.
>
>
> Bootstrap and test along with the other one.  Is it OK?

Ok.

Thanks,
Richard.

> Thanks,
> bin
>
> 2015-02-13  Bin Cheng  <bin.cheng@arm.com>
>
>         PR tree-optimization/62173
>         * tree-ssa-loop-ivopts.c (dump_iv): New parameter.
>         (dump_use, dump_cand, find_induction_variables): Pass new argument
>         to dump_iv.
>         (record_use): Preserve the ssa name information in IV.