This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Scalar evolution and hidden casts
On Tue, May 19, 2009 at 1:37 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
>> Yes, that would be better.
>
> OK, here is the (barely tested) patch. ?OK after a full testing cycle?
Ok with (sorry for not noticing earlier)
case NOP_EXPR:
replaced with CASE_CONVERT: in both places.
Thanks,
Richard.
>
> 2009-05-19 ?Eric Botcazou ?<ebotcazou@adacore.com>
>
> ? ? ? ?* tree-scalar-evolution.c (follow_ssa_edge_expr) <PLUS_EXPR>: Strip
> ? ? ? ?useless type conversions instead of type nops. ?Propagate the type
> ? ? ? ?of the first operand.
> ? ? ? ?<ASSERT_EXPR>: Simplify.
> ? ? ? ?(follow_ssa_edge_in_rhs): Use gimple_expr_type to get the type.
> ? ? ? ?Rewrite using the RHS code as discriminant.
> ? ? ? ?<PLUS_EXPR>: Propagate the type of the first operand.
>
>
> 2009-05-19 ?Eric Botcazou ?<ebotcazou@adacore.com>
>
> ? ? ? ?* 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.
>
> --
> Eric Botcazou
>