Domains.Lift
The SSA_Lift
functor, which lifts an SSA_Domain
into a Classical_Domain
and optionaly performs GVN.
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.