diff options
Diffstat (limited to 'gcc/value-query.h')
| -rw-r--r-- | gcc/value-query.h | 32 |
1 files changed, 26 insertions, 6 deletions
diff --git a/gcc/value-query.h b/gcc/value-query.h index 4d2a7bc..9df8990 100644 --- a/gcc/value-query.h +++ b/gcc/value-query.h @@ -75,16 +75,12 @@ public: virtual bool range_on_entry (vrange &r, basic_block bb, tree expr); virtual bool range_on_exit (vrange &r, basic_block bb, tree expr); - // Query if there is any relation between SSA1 and SSA2. - relation_kind query_relation (gimple *s, tree ssa1, tree ssa2, - bool get_range = true); - relation_kind query_relation (edge e, tree ssa1, tree ssa2, - bool get_range = true); - // If present, Access relation oracle for more advanced uses. inline relation_oracle *oracle () const { return m_oracle; } virtual void dump (FILE *); + void create_relation_oracle (); + void destroy_relation_oracle (); protected: bool get_tree_range (vrange &v, tree expr, gimple *stmt, basic_block bbentry = NULL, basic_block bbexit = NULL); @@ -123,4 +119,28 @@ get_range_query (const struct function *fun) extern void gimple_range_global (vrange &v, tree name, struct function *f = cfun); +// Create dominance based range oracle for the current query if dom info is +// available. + +inline void +range_query::create_relation_oracle () +{ + if (!dom_info_available_p (CDI_DOMINATORS)) + return; + gcc_checking_assert (m_oracle == NULL); + m_oracle = new dom_oracle (); +} + +// Destroy any relation oracle that was created. + +inline void +range_query::destroy_relation_oracle () +{ + if (m_oracle != NULL) + { + delete m_oracle; + m_oracle = NULL; + } +} + #endif // GCC_QUERY_H |