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/tree-ssa-loop-ch.c | |
| 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/tree-ssa-loop-ch.c')
0 files changed, 0 insertions, 0 deletions