Transformations.SSA_SimplifyExpression
SSA variant of SimplifyExpression
.
Its command line id is E
(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