r114674 - in /trunk/gcc: ChangeLog double-int.c...

[rakdver@gcc.gnu.org]

Author: rakdver
Date: Thu Jun 15 09:42:03 2006
New Revision: 114674

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114674
Log:
	* 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.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/loop-18.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/double-int.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-niter.c