r254747 - in /trunk/gcc: ChangeLog Makefile.in ...

[law@gcc.gnu.org]

Author: law
Date: Wed Nov 15 00:18:45 2017
New Revision: 254747

URL: https://gcc.gnu.org/viewcvs?rev=254747&root=gcc&view=rev
Log:
	* vr-values.c: New file with contents extracted from tree-vrp.c.
	* Makefile.in (OBJS): Add vr-values.o
	* tree-vrp.h (set_value_range_to_nonnull): Prototype.
	(set_value_range, set_and_canonicalize_value_range): Likewise.
	(vrp_bitmap_equal_p, range_is_nonnull): Likewise.
	(value_range_constant_singleton, symbolic_range_p): Likewise.
	(compare_values, compare_values_warnv, vrp_val_is_min): Likewise.
	(vrp_val_is_max, copy_value_range, set_value_range_to_value): Likewise.
	(extract_range_from_binary_expr_1, vrp_val_min, vrp_val_max): Likewise.
	(set_value_range_to_null, range_int_cst_p, opreand_less_p): Likewise.
	(find_case_label_range, find_case_label_index): Likewise.
	(zero_nonzero_bits_from_vr, overflow_comparison_p): Likewise.
	(range_int_cst_singleton_p, value_inside_range): Likewise.
	(get_single_symbol): Likewise.
	(switch_update): Move structure definition here.
	(to_remove_edges, to_update_switch_stmts): Provide externs.
	* tree-vrp.c: Move all methods for vr-values class to vr-values.c
	(vrp_val_max, vrp_val_min, vrp_val_is_max): Make externally visible.
	(vrp_val_is_min, set_value_range): Likewise.
	(set_and_canonicalize_value_range, copy_value_range): Likewise.
	(set_value_range_to_value, set_value_range_to_nonnull): Likewise.
	(set_value_range_to_null, vrp_bitmap_equal_p): Likewise.
	(range_is_nonnull, range_int_cst_p): Likewwise.
	(range_int_cst_singleton_p, symbolic_range_p): Likewise.
	(get_single_symbol, operand_less_p): Likewise
	(compare_values_warnv, compare_values): Likewise.
	(value_inside_range, value_range_constant_singleton): Likewise.
	(zero_nonzero_bitgs_from_vr): Likewise.
	(extract_range_from_binary_expr_1): Likewise.
	(overflow_comparison_p): Likewise.
	(to_remove_edges, to_update_switch_stmts): Likewise.
	(find_case_label-index, find_case_label_range): Likewise.
	(switch_update, set_value_range_to_nonnegative): Remove.
	(set_value_range_to_truthvalue): Likewise.
	(symbolic_range_based_on_p, gimple_assign_nonzero_p): Likewise.
	(gimple_stmt_nonzero_p, compare_ranges): Likewise.
	(compare_range_with_value, vrp_valueize, vrp_valueize_1): Likewise.
	(find_case_label_ranges, test_for_singularity): Likewise.
	(range_fits_type_p, simplify_conversion_using_ranges): LIkewise.
	(x_vr_values): Move to its remaining use site.

Added:
    trunk/gcc/vr-values.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/tree-vrp.c
    trunk/gcc/tree-vrp.h