* tree-ssa-loop-niter.c (refine_value_range_using_guard): New.
commit1eb4f3d294214e972cda083fafac5045228a3a29
authoramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Aug 2015 07:57:54 +0000 (18 07:57 +0000)
committeramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Aug 2015 07:57:54 +0000 (18 07:57 +0000)
treed6f1601f6704252de8f77d0872b16cbac314429c
parent15b21d23e9347af296f332787e7cf5fe96b21564
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@226966 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/loop-bound-5.c [new file with mode: 0644]
gcc/tree-ssa-loop-niter.c