Module circomspect_program_structure::static_single_assignment

source ·
Expand description

This module implements a generic conversion into single-static assignment form.

Modules

dominator_tree
errors
traits

Functions

insert_phi_statements
Insert a dummy phi statement in block j, for each variable written in block i, if j is in the dominance frontier of i.
insert_ssa_variables
Traverses the dominator tree in pre-order and for each block, the function