From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-254823-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16872 invoked by alias); 26 Dec 2009 22:14:09 -0000
Received: (qmail 16862 invoked by uid 22791); 26 Dec 2009 22:14:08 -0000
X-SWARE-Spam-Status: No, hits=-1.5 required=5.0 	tests=AWL,BAYES_00,HK_OBFDOM,SARE_MSGID_LONG40,SPF_PASS
X-Spam-Check-By: sourceware.org
Received: from mail-ew0-f227.google.com (HELO mail-ew0-f227.google.com) (209.85.219.227)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 26 Dec 2009 22:14:03 +0000
Received: by ewy27 with SMTP id 27so11579504ewy.16         for <gcc-patches@gcc.gnu.org>; Sat, 26 Dec 2009 14:14:01 -0800 (PST)
MIME-Version: 1.0
Received: by 10.216.85.197 with SMTP id u47mr4572375wee.133.1261865641183;  	Sat, 26 Dec 2009 14:14:01 -0800 (PST)
In-Reply-To: <6dc9ffc80910111238q411a1648mbb964a3b0bee0b2a@mail.gmail.com>
References: <200905191118.37813.ebotcazou@adacore.com> 	 <200905191244.32100.ebotcazou@adacore.com> 	 <84fc9c000905190348s5e00a651gbece5a90a50a12ca@mail.gmail.com> 	 <200905191337.56443.ebotcazou@adacore.com> 	 <6dc9ffc80910111238q411a1648mbb964a3b0bee0b2a@mail.gmail.com>
Date: Sun, 27 Dec 2009 15:49:00 -0000
Message-ID: <6dc9ffc80912261414t604e3b04u3c80bbc20b824a5f@mail.gmail.com>
Subject: Re: [PATCH] Scalar evolution and hidden casts
From: "H.J. Lu" <hjl.tools@gmail.com>
To: Eric Botcazou <ebotcazou@adacore.com>
Cc: Richard Guenther <richard.guenther@gmail.com>, gcc-patches@gcc.gnu.org
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-IsSubscribed: yes
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
X-SW-Source: 2009-12/txt/msg01140.txt.bz2

On Sun, Oct 11, 2009 at 11:38 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
> On Tue, May 19, 2009 at 4:37 AM, Eric Botcazou <ebotcazou@adacore.com> wr=
ote:
>>> Yes, that would be better.
>>
>> OK, here is the (barely tested) patch. =A0OK after a full testing cycle?
>>
>>
>> 2009-05-19 =A0Eric Botcazou =A0<ebotcazou@adacore.com>
>>
>> =A0 =A0 =A0 =A0* tree-scalar-evolution.c (follow_ssa_edge_expr) <PLUS_EX=
PR>: Strip
>> =A0 =A0 =A0 =A0useless type conversions instead of type nops. =A0Propaga=
te the type
>> =A0 =A0 =A0 =A0of the first operand.
>> =A0 =A0 =A0 =A0<ASSERT_EXPR>: Simplify.
>> =A0 =A0 =A0 =A0(follow_ssa_edge_in_rhs): Use gimple_expr_type to get the=
 type.
>> =A0 =A0 =A0 =A0Rewrite using the RHS code as discriminant.
>> =A0 =A0 =A0 =A0<PLUS_EXPR>: Propagate the type of the first operand.
>>
>>
>> 2009-05-19 =A0Eric Botcazou =A0<ebotcazou@adacore.com>
>>
>> =A0 =A0 =A0 =A0* gnat.dg/loop_optimization6.ad[sb]: New test.
>>
>>
>>> I chickened out several times to reorganize the tree code binning
>>> in tcc_binary/tcc_unary vs. tcc_expression ... maybe I should
>>> come back to that.
>>
>> Certainly having COMPLEX_EXPR as tcc_binary is a little surprising.
>>
>
> This caused:
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D41497
>

This may also cause:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D42512

--=20
H.J.