2011-08-04 Richard Guenther <rguenther@suse.de>
commitc37659ceebd8293b358666a0aa948af1c7f4665e
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 14:14:32 +0000 (4 14:14 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 14:14:32 +0000 (4 14:14 +0000)
tree140b62ee3b3581ac705571f865a533574ee81b06
parentd6f3306abc5be74870452cedf124c34bf055745b
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177393 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c