Class LazyBlockReachabilityAnalysis
An analysis that finds computes block reachability information on an on-demand basis.
Inheritance
System.Object
LazyBlockReachabilityAnalysis
Implements
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 LazyBlockReachabilityAnalysis : IFlowGraphAnalysis<LazyBlockReachability>Fields
| Improve this Doc View SourceInstance
Gets an instance of the lazy block reachability analysis.
Declaration
public static readonly LazyBlockReachabilityAnalysis InstanceField Value
| Type | Description |
|---|---|
| LazyBlockReachabilityAnalysis | An instance of the lazy block reachability analysis. |
Methods
| Improve this Doc View SourceAnalyze(FlowGraph)
Declaration
public LazyBlockReachability Analyze(FlowGraph graph)Parameters
| Type | Name | Description |
|---|---|---|
| FlowGraph | graph |
Returns
| Type | Description |
|---|---|
| LazyBlockReachability |
AnalyzeWithUpdates(FlowGraph, LazyBlockReachability, IReadOnlyList<FlowGraphUpdate>)
Declaration
public LazyBlockReachability AnalyzeWithUpdates(FlowGraph graph, LazyBlockReachability previousResult, IReadOnlyList<FlowGraphUpdate> updates)Parameters
| Type | Name | Description |
|---|---|---|
| FlowGraph | graph | |
| LazyBlockReachability | previousResult | |
| System.Collections.Generic.IReadOnlyList<FlowGraphUpdate> | updates |
Returns
| Type | Description |
|---|---|
| LazyBlockReachability |