aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range-cache.h
diff options
context:
space:
mode:
authorAndrew MacLeod <amacleod@redhat.com>2021-05-31 12:13:50 -0400
committerAndrew MacLeod <amacleod@redhat.com>2021-05-31 20:51:18 -0400
commit715914d3f9e4e40af58d22103c7650cdd720ef92 (patch)
treeaa53320abfc1b1ae61ae8ec3da4fce4e91f146f9 /gcc/gimple-range-cache.h
parent2e0f3246e0bd92643ce36b9e7b9dde91650ac02a (diff)
downloadgcc-715914d3f9e4e40af58d22103c7650cdd720ef92.zip
gcc-715914d3f9e4e40af58d22103c7650cdd720ef92.tar.gz
gcc-715914d3f9e4e40af58d22103c7650cdd720ef92.tar.bz2
Do not calculate new values when evaluating a debug statement.
Add a flag to enable/disable immediately improving poor values found during cache propagation. Then disable it when processing debug statements. gcc/ PR tree-optimization/100781 * gimple-range-cache.cc (ranger_cache::ranger_cache): Enable new value calculation by default. (ranger_cache::enable_new_values): New. (ranger_cache::disable_new_values): New. (ranger_cache::push_poor_value): Check if new values are allowed. * gimple-range-cache.h (class ranger_cache): New member/methods. * gimple-range.cc (gimple_ranger::range_of_expr): Check for debug statement, and disable/renable new value calculation. gcc/testsuite/ PR tree-optimization/100781 * gcc.dg/pr100781.c: New.
Diffstat (limited to 'gcc/gimple-range-cache.h')
-rw-r--r--gcc/gimple-range-cache.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/gimple-range-cache.h b/gcc/gimple-range-cache.h
index fee69bc..4af461d 100644
--- a/gcc/gimple-range-cache.h
+++ b/gcc/gimple-range-cache.h
@@ -100,6 +100,8 @@ public:
bool get_non_stale_global_range (irange &r, tree name);
void set_global_range (tree name, const irange &r);
+ void enable_new_values ();
+ void disable_new_values ();
non_null_ref m_non_null;
gori_compute m_gori;
@@ -131,6 +133,7 @@ private:
bool push_poor_value (basic_block bb, tree name);
vec<update_record> m_poor_value_list;
class gimple_ranger &query;
+ bool m_new_value_p;
};
#endif // GCC_SSA_RANGE_CACHE_H