* vr-values.c: New file with contents extracted from tree-vrp.c.
commit94d86adc32357dc3a46a07bcd4dc0bea40a3ed87
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Nov 2017 00:18:45 +0000 (15 00:18 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Nov 2017 00:18:45 +0000 (15 00:18 +0000)
treedec869e89716487e4c7d73f06a677ab74c3d6409
parent540b351f2875a982c8e28d901bb170f0de5a303b
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254747 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/Makefile.in
gcc/tree-vrp.c
gcc/tree-vrp.h
gcc/vr-values.c [new file with mode: 0644]