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