Module SSA::Ssa::SsaImpl

Predicates

definesAt

Holds if the SSA definition def defines source variable v at index i in basic block bb. Phi nodes and entry nodes (captured variables and fields/properties) are considered to be at index -1, while normal variable updates are at the index of the control flow node they wrap.

forceCachingInSameStage
isCapturedVariableDefinitionFlowIn
isCapturedVariableDefinitionFlowOut

Datatypes

TDefinition

A data type representing SSA definitions.