Struct BasicBlockPredecessors

A data structure that can be queried to get the predecessors of a block, that is, the set of all blocks that have branches to the block.

Inherited Members

ValueType.Equals(object)

ValueType.GetHashCode()

ValueType.ToString()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public struct BasicBlockPredecessors

Methods

GetPredecessorsOf(BasicBlockTag)

Gets the set of all predecessors of a basic block with a particular tag.

Declaration

public IEnumerable<BasicBlockTag> GetPredecessorsOf(BasicBlockTag block)

Parameters

Type	Name	Description
BasicBlockTag	block	The tag of the basic block to examine.

Returns

Type	Description
IEnumerable<BasicBlockTag>	A set of predecessors.

IsPredecessorOf(BasicBlockTag, BasicBlockTag)

Tests if one block is a predecessor of another.

Declaration

public bool IsPredecessorOf(BasicBlockTag potentialPredecessor, BasicBlockTag block)

Parameters

Type	Name	Description
BasicBlockTag	potentialPredecessor	The tag of a block that might be a predecessor of block, that is, the block to examine for predecessorness here.
BasicBlockTag	block	The tag of a basic block in the flow graph.

Returns

Type	Description
bool	true if potentialPredecessor is a predecessor of block; otherwise; false.