Class BlockReachability

A description of which blocks can reach other blocks in a control-flow graph.

Inheritance

object

BlockReachability

LazyBlockReachability

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public abstract class BlockReachability

Methods

GetStrictlyReachableBlocks(BasicBlockTag)

Gets the set of all basic blocks that are strictly reachable from a particular basic block.

Declaration

public abstract IEnumerable<BasicBlockTag> GetStrictlyReachableBlocks(BasicBlockTag source)

Parameters

Type	Name	Description
BasicBlockTag	source	The source block to start at.

Returns

Type	Description
IEnumerable<BasicBlockTag>	A set of basic block tags referring to basic blocks that are reachable from source.

IsReachableFrom(BasicBlockTag, BasicBlockTag)

Tests if there exists a (possibly empty) path through the control-flow graph that starts at source and ends at target.

Declaration

public bool IsReachableFrom(BasicBlockTag source, BasicBlockTag target)

Parameters

Type	Name	Description
BasicBlockTag	source	The block tag of the start of the path.
BasicBlockTag	target	The block tag of the end of the path.

Returns

Type	Description
bool	true if there is such a path; otherwise, false.

IsStrictlyReachableFrom(BasicBlockTag, BasicBlockTag)

Tests if there exists a nonempty path through the control-flow graph that starts at source and ends at target.

Declaration

public abstract bool IsStrictlyReachableFrom(BasicBlockTag source, BasicBlockTag target)

Parameters

Type	Name	Description
BasicBlockTag	source	The block tag of the start of the path.
BasicBlockTag	target	The block tag of the end of the path.

Returns

Type	Description
bool	true if there is such a path; otherwise, false.