B2R2

ConstantPropagation<'L> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: DataFlowAnalysis<'L, SSABasicBlock>

The constant propagation framework, which is a modified version of sparse conditional constant propagation of Wegman et al.

Constructors

Constructor Description

ConstantPropagation(ssaCFG)

Full Usage: ConstantPropagation(ssaCFG)

Parameters:
Returns: ConstantPropagation<'L>

ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>
Returns: ConstantPropagation<'L>

Instance members

Instance member Description

this.Compute(root)

Full Usage: this.Compute(root)

Parameters:
Returns: CPState<'L>

root : Vertex<'a>
Returns: CPState<'L>

this.State

Full Usage: this.State

Returns: CPState<'L>
Modifiers: abstract

Constant propagation state.

Returns: CPState<'L>