Module circomspect_program_structure::static_single_assignment

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