diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-05-31 12:13:50 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-05-31 20:51:18 -0400 |
| commit | 715914d3f9e4e40af58d22103c7650cdd720ef92 (patch) | |
| tree | aa53320abfc1b1ae61ae8ec3da4fce4e91f146f9 /gcc/gimple-range-cache.cc | |
| parent | 2e0f3246e0bd92643ce36b9e7b9dde91650ac02a (diff) | |
| download | gcc-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.cc')
| -rw-r--r-- | gcc/gimple-range-cache.cc | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc index dc32841..cc27574 100644 --- a/gcc/gimple-range-cache.cc +++ b/gcc/gimple-range-cache.cc @@ -586,6 +586,7 @@ ranger_cache::ranger_cache (gimple_ranger &q) : query (q) if (bb) m_gori.exports (bb); } + enable_new_values (); } ranger_cache::~ranger_cache () @@ -606,6 +607,23 @@ ranger_cache::dump (FILE *f) fprintf (f, "\n"); } +// Allow the cache to flag and query new values when propagation is forced +// to use an unknown value. + +void +ranger_cache::enable_new_values () +{ + m_new_value_p = true; +} + +// Disable new value querying. + +void +ranger_cache::disable_new_values () +{ + m_new_value_p = false; +} + // Dump the caches for basic block BB to file F. void @@ -689,6 +707,8 @@ ranger_cache::set_global_range (tree name, const irange &r) bool ranger_cache::push_poor_value (basic_block bb, tree name) { + if (!m_new_value_p) + return false; if (m_poor_value_list.length ()) { // Don't push anything else to the same block. If there are multiple |