r177393 - in /trunk/gcc: ChangeLog tree-vrp.c

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Thu Aug  4 14:14:32 2011
New Revision: 177393

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177393
Log:
2011-08-04  Richard Guenther  <rguenther@suse.de>

	* tree-vrp.c (vrp_expr_computes_nonnegative): Remove.
	(value_range_nonnegative_p): New function.
	(ssa_name_nonnegative_p): Use it.
	(value_range_constant_singleton): New function.
	(op_with_constant_singleton_value_range): Use it.
	(extract_range_from_binary_expr_1): New function, split out from ...
	(extract_range_from_binary_expr): ... this.  Remove fallback
	constant folding done here.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-vrp.c