diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-08-18 16:36:19 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-08-24 09:44:31 -0400 |
| commit | 675a3e40567e1d0dd6d7e7be3efab74b22731415 (patch) | |
| tree | 5d16f2ce64a80674eaa79dcf3ccca2615686e014 /gcc/testsuite/gcc.dg/predict-1.c | |
| parent | d8b7282ea27e02f687272cb8ea5f66ca900f1582 (diff) | |
| download | gcc-675a3e40567e1d0dd6d7e7be3efab74b22731415.zip gcc-675a3e40567e1d0dd6d7e7be3efab74b22731415.tar.gz gcc-675a3e40567e1d0dd6d7e7be3efab74b22731415.tar.bz2 | |
Add transitive operations to the relation oracle.
When registering relations in the oracle, search for other relations which
imply new transitive relations.
gcc/
* value-relation.cc (rr_transitive_table): New.
(relation_transitive): New.
(value_relation::swap): Remove.
(value_relation::apply_transitive): New.
(relation_oracle::relation_oracle): Allocate a new tmp bitmap.
(relation_oracle::register_relation): Call register_transitives.
(relation_oracle::register_transitives): New.
* value-relation.h (relation_oracle): Add new temporary bitmap and
methods.
gcc/testsuite/
* gcc.dg/predict-1.c: Disable evrp.
* gcc.dg/tree-ssa/evrp-trans.c: New.
Diffstat (limited to 'gcc/testsuite/gcc.dg/predict-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/predict-1.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/predict-1.c b/gcc/testsuite/gcc.dg/predict-1.c index 9e5605a..d2e753e 100644 --- a/gcc/testsuite/gcc.dg/predict-1.c +++ b/gcc/testsuite/gcc.dg/predict-1.c @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-profile_estimate" } */ +/* { dg-options "-O2 -fdump-tree-profile_estimate --disable-tree-evrp" } */ extern int global; |