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/config.gcc | |
| 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/config.gcc')
0 files changed, 0 insertions, 0 deletions