projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 991995c) | patch
tree-ssa-loop-niter.c (refine_value_range_using_guard): New.
authorBin Cheng <bin.cheng@arm.com>
Tue, 18 Aug 2015 07:57:54 +0000 (07:57 +0000)
committerBin Cheng <amker@gcc.gnu.org>
Tue, 18 Aug 2015 07:57:54 +0000 (07:57 +0000)
commit7b008bbc0c4050da71786bb51de743964807aa44
treed6f1601f6704252de8f77d0872b16cbac314429ctree
parent991995c4e7ac772b3983a36134b613c23b482275commit | diff
tree-ssa-loop-niter.c (refine_value_range_using_guard): New.

* tree-ssa-loop-niter.c (refine_value_range_using_guard): New.
(determine_value_range): Call refine_value_range_using_guard for
each loop initial condition to improve value range.

gcc/testsuite/ChangeLog
* gcc.dg/tree-ssa/loop-bound-1.c: New test.
* gcc.dg/tree-ssa/loop-bound-3.c: New test.
* gcc.dg/tree-ssa/loop-bound-5.c: New test.

From-SVN: r226966
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-3.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-5.c [new file with mode: 0644] blob
gcc/tree-ssa-loop-niter.c diff | blob | history