Module Domains.Lift

The SSA_Lift functor, which lifts an SSA_Domain into a Classical_Domain and optionaly performs GVN.

module HashTable : Stdlib.Hashtbl.S with type key = Ast.Program.SSAExpr.t array

Hashtable module used for GVN

module SSA_Lift (SSA : Sig.SSA_Domain) (_ : sig ... end) : sig ... end

This functor generates a Classical_Domain from an SSA_Domain as described in the paper. The second parameter is used to toggle global value numbering (GVN) on or off.