Class BlockReachability

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

Inheritance

System.Object

BlockReachability

LazyBlockReachability

Inherited Members

System.Object.ToString()

System.Object.Equals(System.Object)

System.Object.Equals(System.Object, System.Object)

System.Object.ReferenceEquals(System.Object, System.Object)

System.Object.GetHashCode()

System.Object.GetType()

System.Object.MemberwiseClone()

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
System.Collections.Generic.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
System.Boolean	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
System.Boolean	true if there is such a path; otherwise, false.