diff options
Diffstat (limited to 'src/jib/jib_ssa.mli')
| -rw-r--r-- | src/jib/jib_ssa.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jib/jib_ssa.mli b/src/jib/jib_ssa.mli index 11df036c..75c130cf 100644 --- a/src/jib/jib_ssa.mli +++ b/src/jib/jib_ssa.mli @@ -80,6 +80,7 @@ val immediate_dominators : 'a array_graph -> int -> int array type ssa_elem = | Phi of Ast.id * Ast.id list + | Pi of Jib.cval list (** Convert a list of instructions into SSA form *) val ssa : Jib.instr list -> (ssa_elem list * cf_node) array_graph |