aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2024-06-04 07:35:51 +0200
committerAldy Hernandez <aldyh@redhat.com>2024-06-17 13:18:37 +0200
commit3dedfad5a1edb14169a138492e486ee691387a53 (patch)
tree8c9dc4608e406ba77e14491f65aa8ac34b2b5a52 /gcc/tree-vrp.cc
parent4fbaac1f089f2236b5b1e79e18baba05239ad3b1 (diff)
downloadgcc-3dedfad5a1edb14169a138492e486ee691387a53.zip
gcc-3dedfad5a1edb14169a138492e486ee691387a53.tar.gz
gcc-3dedfad5a1edb14169a138492e486ee691387a53.tar.bz2
Rename Value_Range to value_range.
Now that all remaining users of value_range have been renamed to int_range<>, we can reclaim value_range as a temporary, thus removing the annoying CamelCase. gcc/ChangeLog: * data-streamer-in.cc (streamer_read_value_range): Rename Value_Range to value_range. * data-streamer.h (streamer_read_value_range): Same. * gimple-pretty-print.cc (dump_ssaname_info): Same. * gimple-range-cache.cc (ssa_block_ranges::dump): Same. (ssa_lazy_cache::merge): Same. (block_range_cache::dump): Same. (ssa_cache::merge_range): Same. (ssa_cache::dump): Same. (ranger_cache::edge_range): Same. (ranger_cache::propagate_cache): Same. (ranger_cache::fill_block_cache): Same. (ranger_cache::resolve_dom): Same. (ranger_cache::range_from_dom): Same. (ranger_cache::register_inferred_value): Same. * gimple-range-fold.cc (op1_range): Same. (op2_range): Same. (fold_relations): Same. (fold_using_range::range_of_range_op): Same. (fold_using_range::range_of_phi): Same. (fold_using_range::range_of_call): Same. (fold_using_range::condexpr_adjust): Same. (fold_using_range::range_of_cond_expr): Same. (fur_source::register_outgoing_edges): Same. * gimple-range-fold.h (gimple_range_type): Same. (gimple_range_ssa_p): Same. * gimple-range-gori.cc (gori_compute::compute_operand_range): Same. (gori_compute::logical_combine): Same. (gori_compute::refine_using_relation): Same. (gori_compute::compute_operand1_range): Same. (gori_compute::compute_operand2_range): Same. (gori_compute::compute_operand1_and_operand2_range): Same. (gori_calc_operands): Same. (gori_name_helper): Same. * gimple-range-infer.cc (gimple_infer_range::check_assume_func): Same. (gimple_infer_range::gimple_infer_range): Same. (infer_range_manager::maybe_adjust_range): Same. (infer_range_manager::add_range): Same. * gimple-range-infer.h: Same. * gimple-range-op.cc (gimple_range_op_handler::gimple_range_op_handler): Same. (gimple_range_op_handler::calc_op1): Same. (gimple_range_op_handler::calc_op2): Same. (gimple_range_op_handler::maybe_builtin_call): Same. * gimple-range-path.cc (path_range_query::internal_range_of_expr): Same. (path_range_query::ssa_range_in_phi): Same. (path_range_query::compute_ranges_in_phis): Same. (path_range_query::compute_ranges_in_block): Same. (path_range_query::add_to_exit_dependencies): Same. * gimple-range-trace.cc (debug_seed_ranger): Same. * gimple-range.cc (gimple_ranger::range_of_expr): Same. (gimple_ranger::range_on_entry): Same. (gimple_ranger::range_on_edge): Same. (gimple_ranger::range_of_stmt): Same. (gimple_ranger::prefill_stmt_dependencies): Same. (gimple_ranger::register_inferred_ranges): Same. (gimple_ranger::register_transitive_inferred_ranges): Same. (gimple_ranger::export_global_ranges): Same. (gimple_ranger::dump_bb): Same. (assume_query::calculate_op): Same. (assume_query::calculate_phi): Same. (assume_query::dump): Same. (dom_ranger::range_of_stmt): Same. * ipa-cp.cc (ipcp_vr_lattice::meet_with_1): Same. (ipa_vr_operation_and_type_effects): Same. (ipa_value_range_from_jfunc): Same. (propagate_bits_across_jump_function): Same. (propagate_vr_across_jump_function): Same. (ipcp_store_vr_results): Same. * ipa-cp.h: Same. * ipa-fnsummary.cc (evaluate_conditions_for_known_args): Same. (evaluate_properties_for_edge): Same. * ipa-prop.cc (struct ipa_vr_ggc_hash_traits): Same. (ipa_vr::get_vrange): Same. (ipa_vr::streamer_read): Same. (ipa_vr::streamer_write): Same. (ipa_vr::dump): Same. (ipa_set_jfunc_vr): Same. (ipa_compute_jump_functions_for_edge): Same. (ipcp_get_parm_bits): Same. (ipcp_update_vr): Same. (ipa_record_return_value_range): Same. (ipa_return_value_range): Same. * ipa-prop.h (ipa_return_value_range): Same. (ipa_record_return_value_range): Same. * range-op.h (range_cast): Same. * tree-ssa-dom.cc (dom_opt_dom_walker::set_global_ranges_from_unreachable_edges): Same. (cprop_operand): Same. * tree-ssa-loop-ch.cc (loop_static_stmt_p): Same. * tree-ssa-loop-niter.cc (record_nonwrapping_iv): Same. * tree-ssa-loop-split.cc (split_at_bb_p): Same. * tree-ssa-phiopt.cc (value_replacement): Same. * tree-ssa-strlen.cc (get_range): Same. * tree-ssa-threadedge.cc (hybrid_jt_simplifier::simplify): Same. (hybrid_jt_simplifier::compute_exit_dependencies): Same. * tree-ssanames.cc (set_range_info): Same. (duplicate_ssa_name_range_info): Same. * tree-vrp.cc (remove_unreachable::handle_early): Same. (remove_unreachable::remove_and_update_globals): Same. (execute_ranger_vrp): Same. * value-query.cc (range_query::value_of_expr): Same. (range_query::value_on_edge): Same. (range_query::value_of_stmt): Same. (range_query::value_on_entry): Same. (range_query::value_on_exit): Same. (range_query::get_tree_range): Same. * value-range-storage.cc (vrange_storage::set_vrange): Same. * value-range.cc (Value_Range::dump): Same. (value_range::dump): Same. (debug): Same. * value-range.h (enum value_range_discriminator): Same. (class vrange): Same. (class Value_Range): Same. (class value_range): Same. (Value_Range::Value_Range): Same. (value_range::value_range): Same. (Value_Range::~Value_Range): Same. (value_range::~value_range): Same. (Value_Range::set_type): Same. (value_range::set_type): Same. (Value_Range::init): Same. (value_range::init): Same. (Value_Range::operator=): Same. (value_range::operator=): Same. (Value_Range::operator==): Same. (value_range::operator==): Same. (Value_Range::operator!=): Same. (value_range::operator!=): Same. (Value_Range::supports_type_p): Same. (value_range::supports_type_p): Same. * vr-values.cc (simplify_using_ranges::fold_cond_with_ops): Same. (simplify_using_ranges::legacy_fold_cond): Same.
Diffstat (limited to 'gcc/tree-vrp.cc')
-rw-r--r--gcc/tree-vrp.cc24
1 files changed, 12 insertions, 12 deletions
diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc
index 1f6b578..5f5eb9b 100644
--- a/gcc/tree-vrp.cc
+++ b/gcc/tree-vrp.cc
@@ -223,7 +223,7 @@ remove_unreachable::handle_early (gimple *s, edge e)
// Set the global value for each.
FOR_EACH_GORI_EXPORT_NAME (m_ranger.gori_ssa (), e->src, name)
{
- Value_Range r (TREE_TYPE (name));
+ value_range r (TREE_TYPE (name));
m_ranger.range_on_entry (r, e->dest, name);
// Nothing at this late stage we can do if the write fails.
if (!set_range_info (name, r))
@@ -333,8 +333,8 @@ remove_unreachable::remove_and_update_globals ()
FOR_EACH_GORI_EXPORT_NAME (m_ranger.gori_ssa (), e->src, name)
{
// Ensure the cache is set for NAME in the succ block.
- Value_Range r(TREE_TYPE (name));
- Value_Range ex(TREE_TYPE (name));
+ value_range r(TREE_TYPE (name));
+ value_range ex(TREE_TYPE (name));
m_ranger.range_on_entry (r, e->dest, name);
m_ranger.range_on_entry (ex, EXIT_BLOCK_PTR_FOR_FN (cfun), name);
// If the range produced by this __builtin_unreachacble expression
@@ -381,8 +381,8 @@ remove_unreachable::remove_and_update_globals ()
name = ssa_name (i);
if (!name || SSA_NAME_IN_FREE_LIST (name))
continue;
- Value_Range r (TREE_TYPE (name));
- Value_Range exp_range (TREE_TYPE (name));
+ value_range r (TREE_TYPE (name));
+ value_range exp_range (TREE_TYPE (name));
r.set_undefined ();
FOR_EACH_IMM_USE_FAST (use_p, iter, name)
{
@@ -1112,7 +1112,7 @@ execute_ranger_vrp (struct function *fun, bool final_p)
if (dump_file && (dump_flags & TDF_DETAILS))
ranger->dump (dump_file);
- if (Value_Range::supports_type_p (TREE_TYPE
+ if (value_range::supports_type_p (TREE_TYPE
(TREE_TYPE (current_function_decl)))
&& flag_ipa_vrp
&& !lookup_attribute ("noipa", DECL_ATTRIBUTES (current_function_decl)))
@@ -1120,7 +1120,7 @@ execute_ranger_vrp (struct function *fun, bool final_p)
edge e;
edge_iterator ei;
bool found = false;
- Value_Range return_range (TREE_TYPE (TREE_TYPE (current_function_decl)));
+ value_range return_range (TREE_TYPE (TREE_TYPE (current_function_decl)));
FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR_FOR_FN (cfun)->preds)
if (greturn *ret = dyn_cast <greturn *> (*gsi_last_bb (e->src)))
{
@@ -1131,7 +1131,7 @@ execute_ranger_vrp (struct function *fun, bool final_p)
found = true;
continue;
}
- Value_Range r (TREE_TYPE (retval));
+ value_range r (TREE_TYPE (retval));
if (ranger->range_of_expr (r, retval, ret)
&& !r.undefined_p ()
&& !r.varying_p ())
@@ -1208,7 +1208,7 @@ public:
tree name = gimple_range_ssa_p (PHI_RESULT (psi.phi ()));
if (name)
{
- Value_Range vr(TREE_TYPE (name));
+ value_range vr(TREE_TYPE (name));
m_dom_ranger->range_of_stmt (vr, psi.phi (), name);
}
}
@@ -1225,7 +1225,7 @@ public:
tree type = gimple_range_type (s);
if (type)
{
- Value_Range vr(type);
+ value_range vr(type);
m_dom_ranger->range_of_stmt (vr, s);
}
}
@@ -1369,9 +1369,9 @@ public:
if (!name || !gimple_range_ssa_p (name))
continue;
tree type = TREE_TYPE (name);
- if (!Value_Range::supports_type_p (type))
+ if (!value_range::supports_type_p (type))
continue;
- Value_Range assume_range (type);
+ value_range assume_range (type);
if (query.assume_range_p (assume_range, name))
{
// Set the global range of NAME to anything calculated.