From 8a22a10c7879109c3906e1b865c50fe236b89f41 Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Wed, 16 Jun 2021 11:14:36 -0400 Subject: 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. --- gcc/gimple-range-cache.cc | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) (limited to 'gcc/gimple-range-cache.cc') 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); } -- cgit v1.1