Aleph::Compiler_SSA_Dominance_Info Struct Reference

Dominance metadata computed for one SSA function. More...

#include <SSA.H>

Collaboration diagram for Aleph::Compiler_SSA_Dominance_Info:

Public Attributes
DynArray< bool >	reachable_blocks
	Reachability from entry for each SSA block.
DynArray< Compiler_Dataflow_Bit_Set >	dominators
	Dominator sets by block.
DynArray< Compiler_SSA_Block_Id >	immediate_dominators
	Immediate dominator, or invalid for entry/unreachable.
DynArray< DynArray< Compiler_SSA_Block_Id > >	dominance_frontiers
	Dominance frontier for each block.
DynArray< DynArray< Compiler_SSA_Block_Id > >	dominator_tree_children
	Dominator-tree children by block.

Detailed Description

Dominance metadata computed for one SSA function.

Definition at line 180 of file SSA.H.

Member Data Documentation

dominance_frontiers

DynArray<DynArray<Compiler_SSA_Block_Id> > Aleph::Compiler_SSA_Dominance_Info::dominance_frontiers

Dominance frontier for each block.

Definition at line 185 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function(), and Aleph::validate_ssa_function().

dominator_tree_children

DynArray<DynArray<Compiler_SSA_Block_Id> > Aleph::Compiler_SSA_Dominance_Info::dominator_tree_children

Dominator-tree children by block.

Definition at line 186 of file SSA.H.

Referenced by Aleph::Compiler_SSA_Detail::rename_recursive(), and Aleph::validate_ssa_function().

dominators

DynArray<Compiler_Dataflow_Bit_Set> Aleph::Compiler_SSA_Dominance_Info::dominators

Dominator sets by block.

Definition at line 183 of file SSA.H.

Referenced by Aleph::validate_ssa_function().

immediate_dominators

DynArray<Compiler_SSA_Block_Id> Aleph::Compiler_SSA_Dominance_Info::immediate_dominators

Immediate dominator, or invalid for entry/unreachable.

Definition at line 184 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function(), and Aleph::validate_ssa_function().

reachable_blocks

DynArray<bool> Aleph::Compiler_SSA_Dominance_Info::reachable_blocks

Reachability from entry for each SSA block.

Definition at line 182 of file SSA.H.

Referenced by Aleph::validate_ssa_function().

---

The documentation for this struct was generated from the following file:

• SSA.H