diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2021-05-26 08:40:17 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2021-06-03 17:47:27 +0200 |
commit | caa60c12715dd9b0cbb550a45e5878214a10a2fe (patch) | |
tree | 54782e0a2bb50af3fc37acb46e787a0de7c9298f /gcc/gimple-range.h | |
parent | be54520ea0422f4b5468cbbcf139be7e3a6cdeea (diff) | |
download | gcc-caa60c12715dd9b0cbb550a45e5878214a10a2fe.zip gcc-caa60c12715dd9b0cbb550a45e5878214a10a2fe.tar.gz gcc-caa60c12715dd9b0cbb550a45e5878214a10a2fe.tar.bz2 |
Implement generic expression evaluator for range_query.
Right now, range_of_expr only works with constants, SSA names, and
pointers. Anything else gets returned as VARYING. This patch adds the
capability to deal with arbitrary expressions, inasmuch as these
tree codes are implemented in range-ops.cc.
This will give us the ability to ask for the range of any tree expression,
not just constants and SSA names, with range_of_expr().
This is a more generic implementation of determine_value_range in VRP.
A follow-up patch will remove all uses of it in favor of the
range_query API.
gcc/ChangeLog:
* function-tests.c (test_ranges): Call gimple_range_tests.
* gimple-range-cache.cc (ranger_cache::range_of_expr): Pass stmt
to get_tree_range.
* gimple-range.cc (fur_source::get_operand): Do not call
get_tree_range or gimple_range_global.
get_tree_range.
(get_tree_range): Move to value-query.cc.
Call get_arith_expr_range.
(gimple_ranger::range_of_expr): Add argument to get_tree_range.
Include gimple-range-tests.cc.
* gimple-range.h (fold_range): Add argument.
(get_tree_range): Remove.
* selftest.h (gimple_range_tests): New.
* value-query.cc (global_range_query::range_of_expr): Add
stmt argument.
(range_query::get_tree_range): Move from gimple-range.cc.
* value-query.h (class range_query): Add get_tree_range and
get_arith_expr_range. Make fur_source a friend.
* vr-values.c (vr_values::range_of_expr): Pass stmt to
get_tree_range.
* gimple-range-tests.cc: New file.
Diffstat (limited to 'gcc/gimple-range.h')
-rw-r--r-- | gcc/gimple-range.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/gimple-range.h b/gcc/gimple-range.h index 65f62e4..02b891f 100644 --- a/gcc/gimple-range.h +++ b/gcc/gimple-range.h @@ -159,6 +159,8 @@ inline bool fold_range (irange &r, gimple *s, range_query *q = NULL) { fold_using_range f; + if (q == NULL) + q = get_global_range_query (); fur_source src (q, s); return f.fold_stmt (r, s, src); } @@ -169,13 +171,12 @@ inline bool fold_range (irange &r, gimple *s, edge on_edge, range_query *q = NULL) { fold_using_range f; + if (q == NULL) + q = get_global_range_query (); fur_source src (q, on_edge); return f.fold_stmt (r, s, src); } -// Calculate a basic range for a tree node expression. -extern bool get_tree_range (irange &r, tree expr); - // These routines provide a GIMPLE interface to the range-ops code. extern tree gimple_range_operand1 (const gimple *s); extern tree gimple_range_operand2 (const gimple *s); |