aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range-path.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2021-09-25 09:28:10 +0200
committerAldy Hernandez <aldyh@redhat.com>2021-09-27 17:39:51 +0200
commit83668368607ac70dcce466a54673bbf88d0ab2da (patch)
treec59355ccb738454003ba6293f2954d54e6e5b31d /gcc/gimple-range-path.cc
parent4ef1e524fd87a679f5da06116029c66a84daac80 (diff)
downloadgcc-83668368607ac70dcce466a54673bbf88d0ab2da.zip
gcc-83668368607ac70dcce466a54673bbf88d0ab2da.tar.gz
gcc-83668368607ac70dcce466a54673bbf88d0ab2da.tar.bz2
Minor cleanups to solver.
These are some minor cleanups and renames that surfaced after the hybrid_threader work. gcc/ChangeLog: * gimple-range-path.cc (path_range_query::precompute_ranges_in_block): Rename to... (path_range_query::compute_ranges_in_block): ...this. (path_range_query::precompute_ranges): Rename to... (path_range_query::compute_ranges): ...this. (path_range_query::precompute_relations): Rename to... (path_range_query::compute_relations): ...this. (path_range_query::precompute_phi_relations): Rename to... (path_range_query::compute_phi_relations): ...this. * gimple-range-path.h: Rename precompute* to compute*. * tree-ssa-threadbackward.c (back_threader::find_taken_edge_switch): Same. (back_threader::find_taken_edge_cond): Same. * tree-ssa-threadedge.c (hybrid_jt_simplifier::compute_ranges_from_state): Same. (hybrid_jt_state::register_equivs_stmt): Inline... * tree-ssa-threadedge.h: ...here.
Diffstat (limited to 'gcc/gimple-range-path.cc')
-rw-r--r--gcc/gimple-range-path.cc28
1 files changed, 14 insertions, 14 deletions
diff --git a/gcc/gimple-range-path.cc b/gcc/gimple-range-path.cc
index 0738a5c..71e04e4 100644
--- a/gcc/gimple-range-path.cc
+++ b/gcc/gimple-range-path.cc
@@ -293,11 +293,11 @@ path_range_query::range_defined_in_block (irange &r, tree name, basic_block bb)
return true;
}
-// Precompute ranges defined in the current block, or ranges
-// that are exported on an edge to the next block.
+// Compute ranges defined in the current block, or exported to the
+// next block.
void
-path_range_query::precompute_ranges_in_block (basic_block bb)
+path_range_query::compute_ranges_in_block (basic_block bb)
{
bitmap_iterator bi;
int_range_max r, cached_range;
@@ -452,14 +452,14 @@ path_range_query::add_copies_to_imports ()
}
}
-// Precompute the ranges for IMPORTS along PATH.
+// Compute the ranges for IMPORTS along PATH.
//
// IMPORTS are the set of SSA names, any of which could potentially
// change the value of the final conditional in PATH.
void
-path_range_query::precompute_ranges (const vec<basic_block> &path,
- const bitmap_head *imports)
+path_range_query::compute_ranges (const vec<basic_block> &path,
+ const bitmap_head *imports)
{
if (DEBUG_SOLVER)
fprintf (dump_file, "\n*********** path_range_query ******************\n");
@@ -472,12 +472,12 @@ path_range_query::precompute_ranges (const vec<basic_block> &path,
{
add_copies_to_imports ();
m_oracle->reset_path ();
- precompute_relations (path);
+ compute_relations (path);
}
if (DEBUG_SOLVER)
{
- fprintf (dump_file, "\npath_range_query: precompute_ranges for path: ");
+ fprintf (dump_file, "\npath_range_query: compute_ranges for path: ");
for (unsigned i = path.length (); i > 0; --i)
{
basic_block bb = path[i - 1];
@@ -504,7 +504,7 @@ path_range_query::precompute_ranges (const vec<basic_block> &path,
bitmap_set_bit (m_imports, SSA_NAME_VERSION (name));
}
- precompute_ranges_in_block (bb);
+ compute_ranges_in_block (bb);
adjust_for_non_null_uses (bb);
if (at_exit ())
@@ -611,12 +611,12 @@ path_range_query::range_of_stmt (irange &r, gimple *stmt, tree)
return true;
}
-// Precompute relations on a path. This involves two parts: relations
+// Compute relations on a path. This involves two parts: relations
// along the conditionals joining a path, and relations determined by
// examining PHIs.
void
-path_range_query::precompute_relations (const vec<basic_block> &path)
+path_range_query::compute_relations (const vec<basic_block> &path)
{
if (!dom_info_available_p (CDI_DOMINATORS))
return;
@@ -628,7 +628,7 @@ path_range_query::precompute_relations (const vec<basic_block> &path)
basic_block bb = path[i - 1];
gimple *stmt = last_stmt (bb);
- precompute_phi_relations (bb, prev);
+ compute_phi_relations (bb, prev);
// Compute relations in outgoing edges along the path. Skip the
// final conditional which we don't know yet.
@@ -656,14 +656,14 @@ path_range_query::precompute_relations (const vec<basic_block> &path)
}
}
-// Precompute relations for each PHI in BB. For example:
+// Compute relations for each PHI in BB. For example:
//
// x_5 = PHI<y_9(5),...>
//
// If the path flows through BB5, we can register that x_5 == y_9.
void
-path_range_query::precompute_phi_relations (basic_block bb, basic_block prev)
+path_range_query::compute_phi_relations (basic_block bb, basic_block prev)
{
if (prev == NULL)
return;