OSDN Git Service

* tree-scalar-evolution.c (follow_ssa_edge_expr) <NOP_EXPR>: Turn
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 May 2009 19:14:42 +0000 (19:14 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 May 2009 19:14:42 +0000 (19:14 +0000)
commit191bdb6e3385cc82a291aef272197098b8cb7a3d
treea622fa5a302faf79b01e0d7a9a4b950457f506dc
parent3671660dd8977cf77f86646791614d824433f46b
* tree-scalar-evolution.c (follow_ssa_edge_expr) <NOP_EXPR>: Turn
into CASE_CONVERT.
<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.
<NOP_EXPR>: Turn into CASE_CONVERT.
<PLUS_EXPR>: Propagate the type of the first operand.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147716 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/loop_optimization6.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/loop_optimization6.ads [new file with mode: 0644]
gcc/tree-scalar-evolution.c