r262874 - in /trunk/gcc: ChangeLog gimple-fold....

[aldyh@gcc.gnu.org]

Author: aldyh
Date: Thu Jul 19 09:12:32 2018
New Revision: 262874

URL: https://gcc.gnu.org/viewcvs?rev=262874&root=gcc&view=rev
Log:
	* wide-int.h (widest2_int): New.
	* gimple-fold.c (arith_overflowed_p): Use it.
	* tree.h (widest2_int_cst): New.
	* tree-vrp.c (wide_int_binop_overflow): Rename from
	vrp_int_const_binop.
	Rewrite to work on trees.
	(extract_range_from_multiplicative_op_1): Abstract code to...
	(wide_int_range_min_max): ...here.
	(wide_int_range_cross_product): ...and here.
	(extract_range_from_binary_expr_1): Abstract overflow code to...
	(wide_int_range_cross_product_wrapping): ...here.
	* tree-vrp.h (wide_int_range_cross_product): New.
	(wide_int_range_cross_product_wrapping): New.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/tree-vrp.c
    trunk/gcc/tree-vrp.h
    trunk/gcc/tree.h
    trunk/gcc/wide-int.h