SsaBuilder class
SSA (Static Single Assignment) builder using Braun et al. algorithm.
Converts CFG to SSA form on-the-fly without requiring dominator tree computation. Key features:
- Direct AST-to-SSA conversion
- Lazy phi insertion
- Trivial phi elimination
- Complete use-renaming
Reference: "Simple and Efficient Construction of Static Single Assignment Form"
- Braun et al., 2013
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
buildSsa(
ControlFlowGraph cfg, [List< Variable> ? parameters]) → ControlFlowGraph - Builds SSA form for a CFG.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
readVariable(
Variable variable, BasicBlock block) → Value - Reads a variable's value in a block.
-
sealBlock(
BasicBlock block) → void - Seals a block, indicating all predecessors are known.
-
toString(
) → String -
A string representation of this object.
inherited
-
writeVariable(
Variable variable, BasicBlock block, Value value) → void - Writes a variable definition in a block.
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited