Provides classes for working with static single assignment (SSA) form.
A static single assignment (SSA) definition. Either an explicit variable definition (
An SSA definition that corresponds to an explicit assignable definition.
An SSA definition representing the potential definition of a variable via a call.
An SSA definition that does not correspond to an explicit variable definition. Either an implicit initialization of a variable at the beginning of a callable (
An SSA definition representing the implicit initialization of a variable at the beginning of a callable. Either the variable is a local scope variable captured by the callable, or a field or property accessed inside the callable.
An SSA definition representing the potential definition of a variable via an SSA definition for the qualifier.
An SSA phi node, that is, a pseudo definition for a variable at a point in the flow graph where otherwise two or more definitions for the variable would be visible.
A variable that can be SSA converted.
An SSA definition that represents an uncertain update of the underlying assignable. Either an explicit update that is uncertain (
Provides different types of
An SSA definition that has no actual semantics, but simply serves to merge or filter data flow.