diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-06-16 11:14:36 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-06-16 20:07:40 -0400 |
| commit | 8a22a10c7879109c3906e1b865c50fe236b89f41 (patch) | |
| tree | 9ed502f14d93c4c7faf5bc29a22cfb907580c8fe | |
| parent | 487be9201c96d0a5c7c325339bc9c4916e933ed8 (diff) | |
| download | gcc-8a22a10c7879109c3906e1b865c50fe236b89f41.zip gcc-8a22a10c7879109c3906e1b865c50fe236b89f41.tar.gz gcc-8a22a10c7879109c3906e1b865c50fe236b89f41.tar.bz2 | |
Range_on_edge in ranger_cache should return true for all ranges.
Range_on_edge was implemented in the cache to always return a range, but
only returned true when the edge actally changed the range.
Return true with any range that can be calculated.
* gimple-range-cache.cc (ranger_cache::range_on_edge): Always return
true when a range can be calculated.
* gimple-range.cc (gimple_ranger::dump_bb): Check has_edge_range_p.
| -rw-r--r-- | gcc/gimple-range-cache.cc | 14 | ||||
| -rw-r--r-- | gcc/gimple-range.cc | 3 |
2 files changed, 7 insertions, 10 deletions
diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc index 37e2acb..cc2b709 100644 --- a/gcc/gimple-range-cache.cc +++ b/gcc/gimple-range-cache.cc @@ -978,8 +978,7 @@ ranger_cache::range_of_expr (irange &r, tree name, gimple *stmt) } -// Implement range_on_edge. Return TRUE if the edge generates a range, -// otherwise false.. but still return a range. +// Implement range_on_edge. Always return the best available range. bool ranger_cache::range_on_edge (irange &r, edge e, tree expr) @@ -989,14 +988,11 @@ ranger_cache::range_of_expr (irange &r, tree name, gimple *stmt) exit_range (r, expr, e->src); int_range_max edge_range; if (m_gori.outgoing_edge_range_p (edge_range, e, expr, *this)) - { - r.intersect (edge_range); - return true; - } + r.intersect (edge_range); + return true; } - else - get_tree_range (r, expr, NULL); - return false; + + return get_tree_range (r, expr, NULL); } diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc index 481b89b..efb919f 100644 --- a/gcc/gimple-range.cc +++ b/gcc/gimple-range.cc @@ -1394,7 +1394,8 @@ gimple_ranger::dump_bb (FILE *f, basic_block bb) for (x = 1; x < num_ssa_names; x++) { tree name = gimple_range_ssa_p (ssa_name (x)); - if (name && m_cache.range_on_edge (range, e, name)) + if (name && gori ().has_edge_range_p (name, e) + && m_cache.range_on_edge (range, e, name)) { gimple *s = SSA_NAME_DEF_STMT (name); // Only print the range if this is the def block, or |