diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2024-06-24 10:29:06 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2024-06-24 22:14:48 -0400 |
| commit | 4c8b085820f057d1397d91c1ed1c20bed09eb054 (patch) | |
| tree | d9ac802ab0a85a19dff2aad6bd5c0d8dbc4a9b27 /gcc/value-query.cc | |
| parent | c3be325dd165edbe6b1570f54015b3ea8a43862b (diff) | |
| download | gcc-4c8b085820f057d1397d91c1ed1c20bed09eb054.zip gcc-4c8b085820f057d1397d91c1ed1c20bed09eb054.tar.gz gcc-4c8b085820f057d1397d91c1ed1c20bed09eb054.tar.bz2 | |
Make transitive relations an oracle option
This patch makes processing of transitive relations configurable at
dom_oracle creation.
* tree-vrp.cc (execute_fast_vrp): Do not use transitive relations.
* value-query.cc (range_query::create_relation_oracle): Add
parameter to enable transitive relations.
* value-query.h (range_query::create_relation_oracle): Likewise.
* value-relation.h (dom_oracle::dom_oracle): Likewise.
* value-relation.cc (dom_oracle::dom_oracle): Likewise.
(dom_oracle::register_transitives): Check transitive flag.
Diffstat (limited to 'gcc/value-query.cc')
| -rw-r--r-- | gcc/value-query.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 0a280be..cac2cb5 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -223,17 +223,18 @@ range_query::destroy_infer_oracle () } // Create dominance based range oracle for the current query if dom info is -// available. +// available. DO_TRANS_P indicates whether transitive relations should +// be created. This can cost more in compile time. void -range_query::create_relation_oracle () +range_query::create_relation_oracle (bool do_trans_p) { gcc_checking_assert (this != &global_ranges); gcc_checking_assert (m_relation == &default_relation_oracle); if (!dom_info_available_p (CDI_DOMINATORS)) return; - m_relation = new dom_oracle (); + m_relation = new dom_oracle (do_trans_p); gcc_checking_assert (m_relation); } |