* tree-ssa-loop-niter.c (implies_nonnegative_p): New function.
commitd8a99c1725ef11f24d3fdc97c4076af4d2071031
authorrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Jun 2006 09:42:03 +0000 (15 09:42 +0000)
committerrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Jun 2006 09:42:03 +0000 (15 09:42 +0000)
tree85c42d4a341bc337e0b43abae07320d96c49e60f
parentc81c13fbb2afca2bf70bae0d119449db5aa2e621
* tree-ssa-loop-niter.c (implies_nonnegative_p): New function.
(derive_constant_upper_bound): Derive more precise upper bound in
common cases.  Return type changed to double_int.
(record_estimate): Reflect the changed return type of
derive_constant_upper_bound.
* double-int.c (double_int_zext, double_int_sext): Fix.

* gcc.dg/tree-ssa/loop-18.c: New test.

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