Struct LatticeAnalysisResult<TCell>

The result of a lattice analysis.

Inherited Members

System.ValueType.Equals(System.Object)

System.ValueType.GetHashCode()

System.ValueType.ToString()

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

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

System.Object.GetType()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public struct LatticeAnalysisResult<TCell>

Type Parameters

Name	Description
TCell

Constructors

LatticeAnalysisResult(IReadOnlyDictionary<ValueTag, TCell>, IEnumerable<BasicBlockTag>)

Creates a lattice analysis result.

Declaration

public LatticeAnalysisResult(IReadOnlyDictionary<ValueTag, TCell> valueCells, IEnumerable<BasicBlockTag> liveBlocks)

Parameters

Type	Name	Description
System.Collections.Generic.IReadOnlyDictionary<ValueTag, TCell>	valueCells	A mapping of values to lattice cells.
System.Collections.Generic.IEnumerable<BasicBlockTag>	liveBlocks	The set of all live basic blocks.

Properties

LiveBlocks

Gets the set of all basic blocks that are live according to the analysis.

Declaration

public IEnumerable<BasicBlockTag> LiveBlocks { get; }

Property Value

Type	Description
System.Collections.Generic.IEnumerable<BasicBlockTag>	A set of basic blocks.

ValueCells

Gets a mapping of values to lattice cells, as computed by the analysis.

Declaration

public IReadOnlyDictionary<ValueTag, TCell> ValueCells { get; }

Property Value

Type	Description
System.Collections.Generic.IReadOnlyDictionary<ValueTag, TCell>	A mapping of values to lattice cells.