equiv_oracle ();
~equiv_oracle ();
- const_bitmap equiv_set (tree ssa, basic_block bb);
+ const_bitmap equiv_set (tree ssa, basic_block bb) final override;
void register_relation (basic_block bb, relation_kind k, tree ssa1,
- tree ssa2);
+ tree ssa2) override;
- relation_kind query_relation (basic_block, tree, tree);
- relation_kind query_relation (basic_block, const_bitmap, const_bitmap);
- void dump (FILE *f, basic_block bb) const;
- void dump (FILE *f) const;
+ relation_kind query_relation (basic_block, tree, tree) override;
+ relation_kind query_relation (basic_block, const_bitmap, const_bitmap)
+ override;
+ void dump (FILE *f, basic_block bb) const override;
+ void dump (FILE *f) const override;
protected:
bitmap_obstack m_bitmaps;
dom_oracle ();
~dom_oracle ();
- void register_relation (basic_block bb, relation_kind k, tree op1, tree op2);
+ void register_relation (basic_block bb, relation_kind k, tree op1, tree op2)
+ final override;
- relation_kind query_relation (basic_block bb, tree ssa1, tree ssa2);
+ relation_kind query_relation (basic_block bb, tree ssa1, tree ssa2)
+ final override;
relation_kind query_relation (basic_block bb, const_bitmap b1,
- const_bitmap b2);
+ const_bitmap b2) final override;
- void dump (FILE *f, basic_block bb) const;
- void dump (FILE *f) const;
+ void dump (FILE *f, basic_block bb) const final override;
+ void dump (FILE *f) const final override;
private:
bitmap m_tmp, m_tmp2;
bitmap m_relation_set; // Index by ssa-name. True if a relation exists
public:
path_oracle (relation_oracle *oracle = NULL);
~path_oracle ();
- const_bitmap equiv_set (tree, basic_block);
- void register_relation (basic_block, relation_kind, tree, tree);
+ const_bitmap equiv_set (tree, basic_block) final override;
+ void register_relation (basic_block, relation_kind, tree, tree) final override;
void killing_def (tree);
- relation_kind query_relation (basic_block, tree, tree);
- relation_kind query_relation (basic_block, const_bitmap, const_bitmap);
+ relation_kind query_relation (basic_block, tree, tree) final override;
+ relation_kind query_relation (basic_block, const_bitmap, const_bitmap)
+ final override;
void reset_path ();
void set_root_oracle (relation_oracle *oracle) { m_root = oracle; }
- void dump (FILE *, basic_block) const;
- void dump (FILE *) const;
+ void dump (FILE *, basic_block) const final override;
+ void dump (FILE *) const final override;
private:
void register_equiv (basic_block bb, tree ssa1, tree ssa2);
equiv_chain m_equiv;