tree-ssa-loop-niter.c (tree_simplify_using_condition_1): New parameter.
authorBin Cheng <bin.cheng@arm.com>
Thu, 17 Sep 2015 03:08:41 +0000 (03:08 +0000)
committerBin Cheng <amker@gcc.gnu.org>
Thu, 17 Sep 2015 03:08:41 +0000 (03:08 +0000)
commitf3c5f3a3254ba37d6342ae981fa44aaeebb2382a
tree8ed39fce7ced601faeca17f5996649528ce2ca93
parente8ae63bb6ccbb7ec3dc5fbfbaf8236b71c59650e
tree-ssa-loop-niter.c (tree_simplify_using_condition_1): New parameter.

* 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.

From-SVN: r227843
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