Class ExceptionDelayabilityExtensions

Defines extension methods related to exception delayability.

Inheritance

System.Object

ExceptionDelayabilityExtensions

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 static class ExceptionDelayabilityExtensions

Methods

CanDelayExceptions(FlowGraph, ValueTag)

Tells if it is permissible to delay exceptions thrown by a particular instruction until the instruction's result is used by an effectful instruction. If the instruction's result is never used that way, the exception may even be deleted altogether.

Declaration

public static bool CanDelayExceptions(this FlowGraph graph, ValueTag instruction)

Parameters

Type	Name	Description
FlowGraph	graph	The flow graph that defines the instruction.
ValueTag	instruction	An instruction tag to examine.

Returns

Type	Description
System.Boolean	true if exceptions thrown by instruction may be delayed until its value is used by an effectful instruction; otherwise, false.

CanDelayExceptions(FlowGraphBuilder, ValueTag)

Tells if it is permissible to delay exceptions thrown by a particular instruction until the instruction's result is used by an effectful instruction. If the instruction's result is never used that way, the exception may even be deleted altogether.

Declaration

public static bool CanDelayExceptions(this FlowGraphBuilder graph, ValueTag instruction)

Parameters

Type	Name	Description
FlowGraphBuilder	graph	The flow graph that defines the instruction.
ValueTag	instruction	An instruction tag to examine.

Returns

Type	Description
System.Boolean	true if exceptions thrown by instruction may be delayed until its value is used by an effectful instruction; otherwise, false.