diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2022-11-19 17:44:02 +0100 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2022-11-24 07:38:27 +0100 |
commit | a3f7deefd45a018ffc56ad3fb944a9f715b50901 (patch) | |
tree | 1f0d95997e23558cfc98b49875d0a2de47990484 /gcc/value-query.cc | |
parent | ca0be1bbedd6379d2645917bfff752486599b2a8 (diff) | |
download | gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.zip gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.tar.gz gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.tar.bz2 |
Remove value_range_equiv.
With legacy VRP gone, value_range_equiv serves no purpose and any uses
of it can just be replaced with value_range.
gcc/ChangeLog:
* Makefile.in: Remove value-range-equiv.o
* gimple-array-bounds.cc
(array_bounds_checker::array_bounds_checker): Remove comment.
* tree-vrp.cc (supported_types_p): Remove use of value_range_equiv.
* value-query.cc (class equiv_allocator): Same.
(range_query::allocate_value_range_equiv): Remove.
(range_query::free_value_range_equiv): Remove.
(range_query::get_value_range): Remove.
* value-query.h (class range_query): Remove get_value_range.
Remove allocate_value_range_equiv.
Remove free_value_range_equiv.
* vr-values.cc (compare_ranges): Replace value_range_equiv with
value_range.
(simplify_using_ranges::get_vr_for_comparison): Same.
(simplify_using_ranges::compare_names): Same.
* vr-values.h: Remove value_range_equiv references.
* value-range-equiv.cc: Removed.
* value-range-equiv.h: Removed.
Diffstat (limited to 'gcc/value-query.cc')
-rw-r--r-- | gcc/value-query.cc | 25 |
1 files changed, 6 insertions, 19 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index e8988ed..f89225d 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -28,7 +28,6 @@ along with GCC; see the file COPYING3. If not see #include "ssa.h" #include "tree-pretty-print.h" #include "fold-const.h" -#include "value-range-equiv.h" #include "value-query.h" #include "alloc-pool.h" #include "gimple-range.h" @@ -143,34 +142,22 @@ range_query::dump (FILE *) { } -// valuation_query support routines for value_range_equiv's. +// valuation_query support routines for value_range's. -class equiv_allocator : public object_allocator<value_range_equiv> +class equiv_allocator : public object_allocator<value_range> { public: equiv_allocator () - : object_allocator<value_range_equiv> ("equiv_allocator pool") { } + : object_allocator<value_range> ("equiv_allocator pool") { } }; -value_range_equiv * -range_query::allocate_value_range_equiv () -{ - return new (equiv_alloc->allocate ()) value_range_equiv; -} - -void -range_query::free_value_range_equiv (value_range_equiv *v) -{ - equiv_alloc->remove (v); -} - -const class value_range_equiv * +const value_range * range_query::get_value_range (const_tree expr, gimple *stmt) { int_range_max r; if (range_of_expr (r, const_cast<tree> (expr), stmt)) - return new (equiv_alloc->allocate ()) value_range_equiv (r); - return new (equiv_alloc->allocate ()) value_range_equiv (TREE_TYPE (expr)); + return new (equiv_alloc->allocate ()) value_range (r); + return new (equiv_alloc->allocate ()) value_range (TREE_TYPE (expr)); } range_query::range_query () |