The constant propagation framework, which is a modified version of sparse conditional constant propagation of Wegman et al.
Constructor | Description |
Full Usage:
ConstantPropagation(ssaCFG)
Parameters:
DiGraph<SSABasicBlock, CFGEdgeKind>
Returns: ConstantPropagation<'L>
|
|