diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2021-09-25 09:28:10 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2021-09-27 17:39:51 +0200 |
commit | 83668368607ac70dcce466a54673bbf88d0ab2da (patch) | |
tree | c59355ccb738454003ba6293f2954d54e6e5b31d /gcc/gimple-range-path.cc | |
parent | 4ef1e524fd87a679f5da06116029c66a84daac80 (diff) | |
download | gcc-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.cc | 28 |
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; |