Transformations.SSA_Query
Simplification via simple queries. This functor is often inlined for efficiency, as in Product.SSAQueryLeft
or Numeric.SSAQuery
.
Its command line id is Q
(under Lift
or LiftGVN
)
module Domain
(S : Sig.SSA_Domain) :
Sig.SSA_Domain
with module SSA_State = S.SSA_State
and module StateBindingsSet = S.StateBindingsSet
The actual transformation functor