diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2023-05-24 09:06:26 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2023-05-24 16:40:11 -0400 |
| commit | 71baa009496c9ba6e1f71aebb4e96b03c32b3957 (patch) | |
| tree | 6806c71e73c85e6846da663bc7c0573f8c9a6815 /gcc/gimple-range.cc | |
| parent | 46a594b949082fc47ced0e8278f162ddbe79db1a (diff) | |
| download | gcc-71baa009496c9ba6e1f71aebb4e96b03c32b3957.zip gcc-71baa009496c9ba6e1f71aebb4e96b03c32b3957.tar.gz gcc-71baa009496c9ba6e1f71aebb4e96b03c32b3957.tar.bz2 | |
Make ssa_cache a range_query.
By providing range_of_expr as a range_query, we can fold and do other
interesting things using values from the global table. Make ranger's
knonw globals available via const_query.
* gimple-range-cache.cc (ssa_cache::range_of_expr): New.
* gimple-range-cache.h (class ssa_cache): Inherit from range_query.
(ranger_cache::const_query): New.
* gimple-range.cc (gimple_ranger::const_query): New.
* gimple-range.h (gimple_ranger::const_query): New prototype.
Diffstat (limited to 'gcc/gimple-range.cc')
| -rw-r--r-- | gcc/gimple-range.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc index 4fae3f9..01e62d3 100644 --- a/gcc/gimple-range.cc +++ b/gcc/gimple-range.cc @@ -70,6 +70,14 @@ gimple_ranger::~gimple_ranger () m_stmt_list.release (); } +// Return a range_query which accesses just the known global values. + +range_query & +gimple_ranger::const_query () +{ + return m_cache.const_query (); +} + bool gimple_ranger::range_of_expr (vrange &r, tree expr, gimple *stmt) { |