* tree-ssa-loop-niter.c (tree_simplify_using_condition_1): New
commit6c48ce8446857448444d2a0060439ed8e1cae057
authoramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Sep 2015 03:08:41 +0000 (17 03:08 +0000)
committeramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Sep 2015 03:08:41 +0000 (17 03:08 +0000)
tree8ed39fce7ced601faeca17f5996649528ce2ca93
parent1f557f49fd89f05697a0af0841f68cf8f6ba9445
* tree-ssa-loop-niter.c (tree_simplify_using_condition_1): New
parameter.
(tree_simplify_using_condition): Ditto.
(simplify_using_initial_conditions): Ditto.
(loop_exits_before_overflow): Pass new argument to function
simplify_using_initial_conditions.  Remove case for type conversions
simplification.
* tree-ssa-loop-niter.h (simplify_using_initial_conditions): New
parameter.
* tree-scalar-evolution.c (simple_iv): Simplify type conversions
in iv base using loop initial conditions.

gcc/testsuite/ChangeLog
* gcc.dg/tree-ssa/loop-bound-2.c: New test.
* gcc.dg/tree-ssa/loop-bound-4.c: New test.
* gcc.dg/tree-ssa/loop-bound-6.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@227843 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-4.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-6.c [new file with mode: 0644]
gcc/tree-scalar-evolution.c
gcc/tree-ssa-loop-niter.c
gcc/tree-ssa-loop-niter.h