diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-06-17 10:19:31 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-06-22 08:11:44 -0400 |
| commit | 3aaa69e5f30e1904d7ca2bb711b1cb0c62b6895f (patch) | |
| tree | 1caa5a6f5da442c5a2f837f34ea20d3b41d85996 /gcc/gimple-range.h | |
| parent | a2ef8395fa970498985764514044e5fd00f7d5c0 (diff) | |
| download | gcc-3aaa69e5f30e1904d7ca2bb711b1cb0c62b6895f.zip gcc-3aaa69e5f30e1904d7ca2bb711b1cb0c62b6895f.tar.gz gcc-3aaa69e5f30e1904d7ca2bb711b1cb0c62b6895f.tar.bz2 | |
Initial value-relation code.
This code provides a both an equivalence and relation oracle which can be
accessed via a range_query object. This initial code drop includes the
oracles and access them, but does not utilize them yet.
* Makefile.in (OBJS): Add value-relation.o.
* gimple-range.h: Adjust include files.
* tree-data-ref.c: Adjust include file order.
* value-query.cc (range_query::get_value_range): Default to no oracle.
(range_query::query_relation): New.
(range_query::query_relation): New.
* value-query.h (class range_query): Adjust.
* value-relation.cc: New.
* value-relation.h: New.
Diffstat (limited to 'gcc/gimple-range.h')
| -rw-r--r-- | gcc/gimple-range.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gimple-range.h b/gcc/gimple-range.h index fc28123..b9cffdb 100644 --- a/gcc/gimple-range.h +++ b/gcc/gimple-range.h @@ -24,8 +24,8 @@ along with GCC; see the file COPYING3. If not see #include "range.h" -#include "range-op.h" #include "value-query.h" +#include "range-op.h" #include "gimple-range-edge.h" #include "gimple-range-gori.h" #include "gimple-range-cache.h" |