Class ConservativeInstructionOrderingAnalysis

A conservative analysis that determines the must-run-before relation between instructions. The must-run-before relation is determined by imposing a total ordering on effectful instructions.

Inheritance
System.Object
ConservativeInstructionOrderingAnalysis
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 sealed class ConservativeInstructionOrderingAnalysis : IFlowGraphAnalysis<InstructionOrdering>

Fields

| Improve this Doc View Source

Instance

An instance of the conservative instruction ordering analysis.

Declaration
public static readonly ConservativeInstructionOrderingAnalysis Instance
Field Value
Type Description
ConservativeInstructionOrderingAnalysis

A conservative instruction ordering analysis.

Methods

| Improve this Doc View Source

Analyze(FlowGraph)

Declaration
public InstructionOrdering Analyze(FlowGraph graph)
Parameters
Type Name Description
FlowGraph graph
Returns
Type Description
InstructionOrdering
| Improve this Doc View Source

AnalyzeWithUpdates(FlowGraph, InstructionOrdering, IReadOnlyList<FlowGraphUpdate>)

Declaration
public InstructionOrdering AnalyzeWithUpdates(FlowGraph graph, InstructionOrdering previousResult, IReadOnlyList<FlowGraphUpdate> updates)
Parameters
Type Name Description
FlowGraph graph
InstructionOrdering previousResult
System.Collections.Generic.IReadOnlyList<FlowGraphUpdate> updates
Returns
Type Description
InstructionOrdering

Implements