Remove unused legacy VRP code.

Removes unused legacy VRP code.  The legacy mode in value_range's is
still around, as it can't be trivially deleted.

With this patch vr-values.cc melts away to simplify_using_ranges, but
I have avoided any renaming of actual files, since we have plans for
consolidation of other folding with ranges for the next release.

gcc/ChangeLog:

	* doc/invoke.texi: Remove docs for max-vrp-switch-assertions,
	vrp1-mode, and vrp2-mode.
	* params.opt: Same.
	* range-op.cc (masked_increment): Move from tree-vrp.cc.
	* tree-vrp.cc (class live_names): Remove.
	(live_names::init_bitmap_if_needed): Remove.
	(live_names::block_has_live_names_p): Remove.
	(live_names::clear_block): Remove.
	(live_names::merge): Remove.
	(live_names::set): Remove.
	(live_names::clear): Remove.
	(live_names::live_names): Remove.
	(live_names::~live_names): Remove.
	(live_names::live_on_block_p): Remove.
	(live_names::live_on_edge_p): Remove.
	(get_single_symbol): Make static.
	(build_symbolic_expr): Remove.
	(adjust_symbolic_bound): Remove.
	(combine_bound): Remove.
	(set_value_range_with_overflow): Remove.
	(extract_range_from_pointer_plus_expr): Remove.
	(extract_range_from_plus_minus_expr): Remove.
	(drop_undefines_to_varying): Remove.
	(range_fold_binary_symbolics_p): Remove.
	(range_fold_unary_symbolics_p): Remove.
	(range_fold_binary_expr): Remove.
	(infer_value_range): Remove.
	(dump_assert_info): Remove.
	(dump_asserts_info): Remove.
	(add_assert_info): Remove.
	(extract_code_and_val_from_cond_with_ops): Remove.
	(masked_increment): Move to range-op.cc.
	(register_edge_assert_for_2): Remove.
	(find_case_label_index): Remove.
	(find_case_label_range): Remove.
	(register_edge_assert_for_1): Remove.
	(is_masked_range_test): Remove.
	(register_edge_assert_for): Remove.
	(stmt_interesting_for_vrp): Remove.
	(struct case_info): Remove.
	(struct assert_locus): Remove.
	(class vrp_asserts): Remove.
	(vrp_asserts::build_assert_expr_for): Remove.
	(vrp_asserts::dump): Remove.
	(vrp_asserts::register_new_assert_for): Remove.
	(vrp_asserts::finish_register_edge_assert_for): Remove.
	(vrp_asserts::find_conditional_asserts): Remove.
	(vrp_asserts::compare_case_labels): Remove.
	(vrp_asserts::find_switch_asserts): Remove.
	(vrp_asserts::find_assert_locations_in_bb): Remove.
	(vrp_asserts::find_assert_locations): Remove.
	(vrp_asserts::process_assert_insertions_for): Remove.
	(vrp_asserts::compare_assert_loc): Remove.
	(vrp_asserts::process_assert_insertions): Remove.
	(vrp_asserts::insert_range_assertions): Remove.
	(vrp_asserts::all_imm_uses_in_stmt_or_feed_cond): Remove.
	(vrp_asserts::remove_range_assertions): Remove.
	(class vrp_prop): Remove.
	(vrp_prop::initialize): Remove.
	(enum ssa_prop_result): Remove.
	(vrp_prop::visit_stmt): Remove.
	(vrp_prop::visit_phi): Remove.
	(vrp_prop::finalize): Remove.
	(class vrp_folder): Remove.
	(vrp_folder::fold_predicate_in): Remove.
	(vrp_folder::fold_stmt): Remove.
	(vrp_folder::simplify_casted_conds): Remove.
	(execute_vrp): Remove.
	* tree-vrp.h (struct assert_info): Remove.
	(register_edge_assert_for): Remove.
	(stmt_interesting_for_vrp): Remove.
	(infer_value_range): Remove.
	(get_single_symbol): Remove.
	(masked_increment): Remove.
	(execute_ranger_vrp): Remove.
	* vr-values.cc (set_value_range_to_nonnegative): Remove.
	(set_value_range_to_truthvalue): Remove.
	(vr_values::get_lattice_entry): Remove.
	(vr_values::get_value_range): Remove.
	(vr_values::range_of_expr): Remove.
	(vr_values::value_of_expr): Remove.
	(vr_values::value_on_edge): Remove.
	(vr_values::value_of_stmt): Remove.
	(vr_values::set_def_to_varying): Remove.
	(vr_values::set_defs_to_varying): Remove.
	(vr_values::update_value_range): Remove.
	(symbolic_range_based_on_p): Remove.
	(gimple_assign_nonzero_p): Remove.
	(gimple_stmt_nonzero_p): Remove.
	(vr_values::vrp_stmt_computes_nonzero): Remove.
	(vr_values::op_with_constant_singleton_value_range): Remove.
	(vr_values::extract_range_for_var_from_comparison_expr): Remove.
	(vr_values::extract_range_from_assert): Remove.
	(vr_values::extract_range_from_ssa_name): Remove.
	(vr_values::extract_range_from_binary_expr): Remove.
	(vr_values::extract_range_from_unary_expr): Remove.
	(vr_values::extract_range_from_cond_expr): Remove.
	(vr_values::extract_range_from_comparison): Remove.
	(vr_values::extract_range_from_ubsan_builtin): Remove.
	(vr_values::extract_range_basic): Remove.
	(vr_values::extract_range_from_assignment): Remove.
	(vr_values::adjust_range_with_scev): Remove.
	(vr_values::dump): Remove.
	(vr_values::vr_values): Remove.
	(vr_values::~vr_values): Remove.
	(vrp_valueize): Remove.
	(vrp_valueize_1): Remove.
	(get_output_for_vrp): Remove.
	(vr_values::vrp_visit_assignment_or_call): Remove.
	(simplify_using_ranges::vrp_evaluate_conditional): Remove.
	(vr_values::vrp_visit_switch_stmt): Remove.
	(vr_values::extract_range_from_stmt): Remove.
	(vr_values::extract_range_from_phi_node): Remove.
	(simplify_using_ranges::fold_cond): Add FIXME note.
	(vr_values::set_vr_value): Remove.
	(vr_values::swap_vr_value): Remove.
	* vr-values.h (class vr_values): Remove.
	(get_output_for_vrp): Remove.

1 files changed, 0 insertions, 25 deletions

diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h
index b8644e9..07630b5 100644
--- a/gcc/tree-vrp.h
+++ b/gcc/tree-vrp.h
@@ -22,26 +22,6 @@ along with GCC; see the file COPYING3.  If not see
 
 #include "value-range.h"
 
-struct assert_info
-{
-  /* Predicate code for the ASSERT_EXPR.  Must be COMPARISON_CLASS_P.  */
-  enum tree_code comp_code;
-
-  /* Name to register the assert for.  */
-  tree name;
-
-  /* Value being compared against.  */
-  tree val;
-
-  /* Expression to compare.  */
-  tree expr;
-};
-
-extern void register_edge_assert_for (tree, edge, enum tree_code,
-				      tree, tree, vec<assert_info> &);
-extern bool stmt_interesting_for_vrp (gimple *);
-extern bool infer_value_range (gimple *, tree, tree_code *, tree *);
-
 extern bool range_int_cst_p (const value_range *);
 
 extern int compare_values (tree, tree);
@@ -60,11 +40,6 @@ extern bool find_case_label_range (gswitch *, tree, tree, size_t *, size_t *);
 extern tree find_case_label_range (gswitch *, const irange *vr);
 extern bool find_case_label_index (gswitch *, size_t, tree, size_t *);
 extern bool overflow_comparison_p (tree_code, tree, tree, bool, tree *);
-extern tree get_single_symbol (tree, bool *, tree *);
 extern void maybe_set_nonzero_bits (edge, tree);
-extern wide_int masked_increment (const wide_int &val_in, const wide_int &mask,
-				  const wide_int &sgnbit, unsigned int prec);
 
-extern unsigned int execute_ranger_vrp (struct function *fun,
-					bool warn_array_bounds_p = false);
 #endif /* GCC_TREE_VRP_H */