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-relation.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-relation.cc')
| -rw-r--r-- | gcc/value-relation.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index d7bc1b7..9293d9e 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -978,8 +978,9 @@ relation_chain_head::find_relation (const_bitmap b1, const_bitmap b2) const // Instantiate a relation oracle. -dom_oracle::dom_oracle () +dom_oracle::dom_oracle (bool do_trans_p) { + m_do_trans_p = do_trans_p; m_relations.create (0); m_relations.safe_grow_cleared (last_basic_block_for_fn (cfun) + 1); m_relation_set = BITMAP_ALLOC (&m_bitmaps); @@ -1179,6 +1180,9 @@ void dom_oracle::register_transitives (basic_block root_bb, const value_relation &relation) { + // Only register transitives if they are requested. + if (!m_do_trans_p) + return; basic_block bb; // Only apply transitives to certain kinds of operations. switch (relation.kind ()) |