]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/value-relation.cc
Initial value-relation code.
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 17 Jun 2021 14:19:31 +0000 (10:19 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 22 Jun 2021 12:11:44 +0000 (08:11 -0400)
commit3aaa69e5f30e1904d7ca2bb711b1cb0c62b6895f
tree1caa5a6f5da442c5a2f837f34ea20d3b41d85996
parenta2ef8395fa970498985764514044e5fd00f7d5c0
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.
gcc/Makefile.in
gcc/gimple-range.h
gcc/tree-data-ref.c
gcc/value-query.cc
gcc/value-query.h
gcc/value-relation.cc [new file with mode: 0644]
gcc/value-relation.h [new file with mode: 0644]