aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-relation.cc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2023-03-23 15:25:50 +0100
committerJakub Jelinek <jakub@redhat.com>2023-03-23 15:25:50 +0100
commitc46b5b0a2c10139379a25b0071aa8997af41220d (patch)
tree1f5bb7b6d823d1517c258b3e217efba6779d32fa /gcc/value-relation.cc
parent097e2afdde06eff42d158ace7165b4cb4dfab07c (diff)
downloadgcc-c46b5b0a2c10139379a25b0071aa8997af41220d.zip
gcc-c46b5b0a2c10139379a25b0071aa8997af41220d.tar.gz
gcc-c46b5b0a2c10139379a25b0071aa8997af41220d.tar.bz2
ranger: Ranger meets aspell
I've noticed a comment typo in tree-vrp.cc and decided to quickly skim aspell -c on the ranger sources (with quick I on everything that looked ok or roughly ok). But not being a native English speaker, I could get stuff wrong. 2023-03-23 Jakub Jelinek <jakub@redhat.com> * value-range.cc (irange::irange_union, irange::intersect): Fix comment spelling bugs. * gimple-range-trace.cc (range_tracer::do_header): Likewise. * gimple-range-trace.h: Likewise. * gimple-range-edge.cc: Likewise. (gimple_outgoing_range_stmt_p, gimple_outgoing_range::switch_edge_range, gimple_outgoing_range::edge_range_p): Likewise. * gimple-range.cc (gimple_ranger::prefill_stmt_dependencies, gimple_ranger::fold_stmt, gimple_ranger::register_transitive_infer, assume_query::assume_query, assume_query::calculate_phi): Likewise. * gimple-range-edge.h: Likewise. * value-range.h (Value_Range::set, Value_Range::lower_bound, Value_Range::upper_bound, frange::set_undefined): Likewise. * gimple-range-gori.h (range_def_chain::depend, gori_map::m_outgoing, gori_compute): Likewise. * gimple-range-fold.h (fold_using_range): Likewise. * gimple-range-path.cc (path_range_query::compute_ranges_in_phis): Likewise. * gimple-range-gori.cc (range_def_chain::in_chain_p, range_def_chain::dump, gori_map::calculate_gori, gori_compute::compute_operand_range_switch, gori_compute::logical_combine, gori_compute::refine_using_relation, gori_compute::compute_operand1_range, gori_compute::may_recompute_p): Likewise. * gimple-range.h: Likewise. (enable_ranger): Likewise. * range-op.h (empty_range_varying): Likewise. * value-query.h (value_query): Likewise. * gimple-range-cache.cc (block_range_cache::set_bb_range, block_range_cache::dump, ssa_global_cache::clear_global_range, temporal_cache::temporal_value, temporal_cache::current_p, ranger_cache::range_of_def, ranger_cache::propagate_updated_value, ranger_cache::range_from_dom, ranger_cache::register_inferred_value): Likewise. * gimple-range-fold.cc (fur_edge::get_phi_operand, fur_stmt::get_operand, gimple_range_adjustment, fold_using_range::range_of_phi, fold_using_range::relation_fold_and_or): Likewise. * value-range-storage.h (irange_storage_slot::MAX_INTS): Likewise. * value-query.cc (range_query::value_of_expr, range_query::value_on_edge, range_query::query_relation): Likewise. * tree-vrp.cc (remove_unreachable::remove_and_update_globals, intersect_range_with_nonzero_bits): Likewise. * gimple-range-infer.cc (gimple_infer_range::check_assume_func, exit_range): Likewise. * value-relation.h: Likewise. (equiv_oracle, relation_trio::relation_trio, value_relation, value_relation::value_relation, pe_min): Likewise. * range-op-float.cc (range_operator_float::rv_fold, frange_arithmetic, foperator_unordered_equal::op1_range, foperator_div::rv_fold): Likewise. * gimple-range-op.cc (cfn_clz::fold_range): Likewise. * value-relation.cc (equiv_oracle::query_relation, equiv_oracle::register_equiv, equiv_oracle::add_equiv_to_block, value_relation::apply_transitive, relation_chain_head::find_relation, dom_oracle::query_relation, dom_oracle::find_relation_block, dom_oracle::find_relation_dom, path_oracle::register_equiv): Likewise. * range-op.cc (range_operator::wi_fold_in_parts_equiv, create_possibly_reversed_range, adjust_op1_for_overflow, operator_mult::wi_fold, operator_exact_divide::op1_range, operator_cast::lhs_op1_relation, operator_cast::fold_pair, operator_cast::fold_range, operator_abs::wi_fold, range_op_cast_tests, range_op_lshift_tests): Likewise.
Diffstat (limited to 'gcc/value-relation.cc')
-rw-r--r--gcc/value-relation.cc22
1 files changed, 11 insertions, 11 deletions
diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc
index f5b1e67..30a02d3 100644
--- a/gcc/value-relation.cc
+++ b/gcc/value-relation.cc
@@ -484,7 +484,7 @@ equiv_oracle::query_relation (basic_block bb, tree ssa1, tree ssa2)
return partial_equiv (ssa1, ssa2);
}
-// Query if thre is a relation (equivalence) between 2 SSA_NAMEs.
+// Query if there is a relation (equivalence) between 2 SSA_NAMEs.
relation_kind
equiv_oracle::query_relation (basic_block bb ATTRIBUTE_UNUSED, const_bitmap e1,
@@ -531,7 +531,7 @@ equiv_oracle::find_equiv_dom (tree name, basic_block bb) const
return NULL;
}
-// Register equivalance between ssa_name V and set EQUIV in block BB,
+// Register equivalence between ssa_name V and set EQUIV in block BB,
bitmap
equiv_oracle::register_equiv (basic_block bb, unsigned v, equiv_chain *equiv)
@@ -614,7 +614,7 @@ equiv_oracle::register_initial_def (tree ssa)
// Register an equivalence between SSA1 and SSA2 in block BB.
// The equivalence oracle maintains a vector of equivalencies indexed by basic
-// block. When an equivalence bteween SSA1 and SSA2 is registered in block BB,
+// block. When an equivalence between SSA1 and SSA2 is registered in block BB,
// a query is made as to what equivalences both names have already, and
// any preexisting equivalences are merged to create a single equivalence
// containing all the ssa_names in this basic block.
@@ -678,7 +678,7 @@ equiv_oracle::register_relation (basic_block bb, relation_kind k, tree ssa1,
}
// Add an equivalency record in block BB containing bitmap EQUIV_SET.
-// Note the internal caller is responible for allocating EQUIV_SET properly.
+// Note the internal caller is responsible for allocating EQUIV_SET properly.
void
equiv_oracle::add_equiv_to_block (basic_block bb, bitmap equiv_set)
@@ -823,7 +823,7 @@ value_relation::apply_transitive (const value_relation &rel)
{
relation_kind k = VREL_VARYING;
- // Idenity any common operand, and notrmalize the relations to
+ // Identify any common operand, and normalize the relations to
// the form : A < B B < C produces A < C
if (rel.op1 () == name2)
{
@@ -953,11 +953,11 @@ relation_chain_head::find_relation (const_bitmap b1, const_bitmap b2) const
if (!m_names)
return VREL_VARYING;
- // If both b1 and b2 aren't referenced in thie block, cant be a relation
+ // If both b1 and b2 aren't referenced in this block, cant be a relation
if (!bitmap_intersect_p (m_names, b1) || !bitmap_intersect_p (m_names, b2))
return VREL_VARYING;
- // Search for the fiorst relation that contains BOTH an element from B1
+ // Search for the first relation that contains BOTH an element from B1
// and B2, and return that relation.
for (relation_chain *ptr = m_head; ptr ; ptr = ptr->m_next)
{
@@ -1285,7 +1285,7 @@ dom_oracle::query_relation (basic_block bb, const_bitmap b1,
if (bitmap_equal_p (b1, b2))
return VREL_EQ;
- // If either name does not occur in a relation anywhere, there isnt one.
+ // If either name does not occur in a relation anywhere, there isn't one.
if (!bitmap_intersect_p (m_relation_set, b1)
|| !bitmap_intersect_p (m_relation_set, b2))
return VREL_VARYING;
@@ -1315,7 +1315,7 @@ dom_oracle::find_relation_block (int bb, unsigned v1, unsigned v2,
if (!bm)
return VREL_VARYING;
- // If both b1 and b2 aren't referenced in thie block, cant be a relation
+ // If both b1 and b2 aren't referenced in this block, cant be a relation
if (!bitmap_bit_p (bm, v1) || !bitmap_bit_p (bm, v2))
return VREL_VARYING;
@@ -1348,7 +1348,7 @@ relation_kind
dom_oracle::find_relation_dom (basic_block bb, unsigned v1, unsigned v2) const
{
relation_kind r;
- // IF either name does not occur in a relation anywhere, there isnt one.
+ // IF either name does not occur in a relation anywhere, there isn't one.
if (!bitmap_bit_p (m_relation_set, v1) || !bitmap_bit_p (m_relation_set, v2))
return VREL_VARYING;
@@ -1477,7 +1477,7 @@ path_oracle::equiv_set (tree ssa, basic_block bb)
return tmp;
}
-// Register an equivalence between SSA1 and SSA2 resolving unkowns from
+// Register an equivalence between SSA1 and SSA2 resolving unknowns from
// block BB.
void