Module Ssa

Provides classes for working with static single assignment (SSA) form.

Import path

import csharp

Imports

MakeSsa<SsaImpl::SsaInput>

Predicates

Gets a read of the source variable underlying the SSA definition def that can be reached from def without passing through any other SSA definition or read. Example:

Classes

Definition	DEPRECATED: Use `SsaDefinition` instead.
ExplicitDefinition	DEPRECATED: Use `SsaExplicitWrite` instead.
ImplicitCallDefinition	An SSA definition representing the potential definition of a variable via a call.
ImplicitDefinition	DEPRECATED: Use `SsaParameterInit` or `SsaImplicitWrite` instead.
ImplicitEntryDefinition	DEPRECATED: Use `SsaParameterInit` or `SsaImplicitEntryDefinition` instead.
ImplicitQualifierDefinition	An SSA definition representing the potential definition of a variable via an SSA definition for the qualifier.
PhiNode	DEPRECATED: Use `SsaPhiDefinition` instead.
SourceVariable	A variable that can be SSA converted.
SsaCapturedDefinition	An SSA definition in a closure that captures a variable.
UncertainDefinition	DEPRECATED: Use `SsaUncertainWrite` instead.

Modules

SourceVariables

Provides different types of SourceVariables.

Aliases

ImplicitParameterDefinition

DEPRECATED: Use SsaParameterInit instead.