value_to_ssa($registers,$value)

Convert a value to SSA, mapping registers according to $registers

alive_regs($blocks_in_postorder_numbering)

Calculates which registers might be alive in a given block

dominace_frontiers($block,$idoms,$predecessors)

calculates the dominace frontier set