procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

value-relation.h: add 'final' and 'override' to relation_oracle vfunc impls

Browse source 
gcc/ChangeLog:
	* value-relation.h: Add "final" and "override" to relation_oracle
	vfunc implementations as appropriate.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
This commit is contained in:
David Malcolm 2022-06-15 17:42:17 -04:00
parent c540077a3b
commit b06b84dbca
1 changed files with 21 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
gcc/value-relation.h
View file

@ -130,14 +130,15 @@ public:
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;
@ -185,14 +186,16 @@ public:
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
@ -229,15 +232,16 @@ class path_oracle : public relation_oracle
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;