aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range.cc
diff options
context:
space:
mode:
authorAndrew MacLeod <amacleod@redhat.com>2022-04-25 09:56:35 -0400
committerAndrew MacLeod <amacleod@redhat.com>2022-04-25 09:58:53 -0400
commit362e2a9c6297203bcf7f66bfb51dffb82b42d3b3 (patch)
tree01abff06b790a4d219fa4951900128723aa45313 /gcc/gimple-range.cc
parent46cd445fc0714cc6c834b680c3f59dbad0b94a3c (diff)
downloadgcc-362e2a9c6297203bcf7f66bfb51dffb82b42d3b3.zip
gcc-362e2a9c6297203bcf7f66bfb51dffb82b42d3b3.tar.gz
gcc-362e2a9c6297203bcf7f66bfb51dffb82b42d3b3.tar.bz2
Retain existing range knowledge when prefilling statements.
When range_of_stmt was adjusted to avoid large recursion depth, we need to intersect the calculated range whth the any known range to avoid losing info. Range_of_stmt does this, but the new prefill code missed it. PR tree-optimization/105276 gcc/ * gimple-range.cc (gimple_ranger::prefill_stmt_dependencies): Include existing global range with calculated value. gcc/testsuite/ * g++.dg/pr105276.C: New.
Diffstat (limited to 'gcc/gimple-range.cc')
-rw-r--r--gcc/gimple-range.cc4
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc
index 04075a9..f0caefc 100644
--- a/gcc/gimple-range.cc
+++ b/gcc/gimple-range.cc
@@ -394,6 +394,10 @@ gimple_ranger::prefill_stmt_dependencies (tree ssa)
// Fold and save the value for NAME.
stmt = SSA_NAME_DEF_STMT (name);
fold_range_internal (r, stmt, name);
+ // Make sure we don't lose any current global info.
+ int_range_max tmp;
+ m_cache.get_global_range (tmp, name);
+ r.intersect (tmp);
m_cache.set_global_range (name, r);
}
continue;