aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-query.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2022-11-19 17:44:02 +0100
committerAldy Hernandez <aldyh@redhat.com>2022-11-24 07:38:27 +0100
commita3f7deefd45a018ffc56ad3fb944a9f715b50901 (patch)
tree1f0d95997e23558cfc98b49875d0a2de47990484 /gcc/value-query.cc
parentca0be1bbedd6379d2645917bfff752486599b2a8 (diff)
downloadgcc-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.cc25
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 ()