diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2024-06-04 07:35:51 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2024-06-17 13:18:37 +0200 |
commit | 3dedfad5a1edb14169a138492e486ee691387a53 (patch) | |
tree | 8c9dc4608e406ba77e14491f65aa8ac34b2b5a52 /gcc/value-query.cc | |
parent | 4fbaac1f089f2236b5b1e79e18baba05239ad3b1 (diff) | |
download | gcc-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/value-query.cc')
-rw-r--r-- | gcc/value-query.cc | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 556a0f3..0a280be 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -74,10 +74,10 @@ range_query::value_of_expr (tree expr, gimple *stmt) { tree t; - if (!Value_Range::supports_type_p (TREE_TYPE (expr))) + if (!value_range::supports_type_p (TREE_TYPE (expr))) return NULL_TREE; - Value_Range r (TREE_TYPE (expr)); + value_range r (TREE_TYPE (expr)); if (range_of_expr (r, expr, stmt)) { @@ -99,9 +99,9 @@ range_query::value_on_edge (edge e, tree expr) { tree t; - if (!Value_Range::supports_type_p (TREE_TYPE (expr))) + if (!value_range::supports_type_p (TREE_TYPE (expr))) return NULL_TREE; - Value_Range r (TREE_TYPE (expr)); + value_range r (TREE_TYPE (expr)); if (range_on_edge (r, e, expr)) { // A constant used in an unreachable block often returns as UNDEFINED. @@ -127,9 +127,9 @@ range_query::value_of_stmt (gimple *stmt, tree name) gcc_checking_assert (!name || name == gimple_get_lhs (stmt)); - if (!name || !Value_Range::supports_type_p (TREE_TYPE (name))) + if (!name || !value_range::supports_type_p (TREE_TYPE (name))) return NULL_TREE; - Value_Range r (TREE_TYPE (name)); + value_range r (TREE_TYPE (name)); if (range_of_stmt (r, stmt, name) && r.singleton_p (&t)) return t; return NULL_TREE; @@ -144,10 +144,10 @@ range_query::value_on_entry (basic_block bb, tree expr) tree t; gcc_checking_assert (bb); - if (!Value_Range::supports_type_p (TREE_TYPE (expr))) + if (!value_range::supports_type_p (TREE_TYPE (expr))) return NULL_TREE; - Value_Range r (TREE_TYPE (expr)); + value_range r (TREE_TYPE (expr)); if (range_on_entry (r, bb, expr) && r.singleton_p (&t)) return t; @@ -163,10 +163,10 @@ range_query::value_on_exit (basic_block bb, tree expr) tree t; gcc_checking_assert (bb); - if (!Value_Range::supports_type_p (TREE_TYPE (expr))) + if (!value_range::supports_type_p (TREE_TYPE (expr))) return NULL_TREE; - Value_Range r (TREE_TYPE (expr)); + value_range r (TREE_TYPE (expr)); if (range_on_exit (r, bb, expr) && r.singleton_p (&t)) return t; @@ -317,7 +317,7 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt, else type = TREE_TYPE (expr); - if (!Value_Range::supports_type_p (type)) + if (!value_range::supports_type_p (type)) { r.set_undefined (); return false; @@ -381,13 +381,13 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt, tree op0 = TREE_OPERAND (expr, 0); tree op1 = TREE_OPERAND (expr, 1); if (COMPARISON_CLASS_P (expr) - && !Value_Range::supports_type_p (TREE_TYPE (op0))) + && !value_range::supports_type_p (TREE_TYPE (op0))) return false; range_op_handler op (TREE_CODE (expr)); if (op) { - Value_Range r0 (TREE_TYPE (op0)); - Value_Range r1 (TREE_TYPE (op1)); + value_range r0 (TREE_TYPE (op0)); + value_range r1 (TREE_TYPE (op1)); invoke_range_of_expr (r0, op0, stmt, bbentry, bbexit); invoke_range_of_expr (r1, op1, stmt, bbentry, bbexit); if (!op.fold_range (r, type, r0, r1)) @@ -401,10 +401,10 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt, { range_op_handler op (TREE_CODE (expr)); tree op0_type = TREE_TYPE (TREE_OPERAND (expr, 0)); - if (op && Value_Range::supports_type_p (op0_type)) + if (op && value_range::supports_type_p (op0_type)) { - Value_Range r0 (TREE_TYPE (TREE_OPERAND (expr, 0))); - Value_Range r1 (type); + value_range r0 (TREE_TYPE (TREE_OPERAND (expr, 0))); + value_range r1 (type); r1.set_varying (type); invoke_range_of_expr (r0, TREE_OPERAND (expr, 0), stmt, bbentry, bbexit); |