|
ConstantDomain
|
A domain for constant propagation analysis.
|
|
ConstantPropagation
|
|
|
Constants
|
|
|
DataFlowChain (Module)
|
|
|
DataFlowChain (Type)
|
Data-flow chain that contains both Use-Def and Def-Use chains.
|
|
IDataFlowAnalysis<'AbsLoc, 'AbsVal, 'State, 'V>
|
Data-flow analysis that runs under the abstract interpretation framework.
Abstract values are represented by 'AbsVal, which is stored in an abstract
location 'AbsLoc.
|
|
IDataFlowState<'AbsLoc, 'AbsVal>
|
The state of the data-flow analysis, which contains a mapping from abstract
locations to abstract values.
|
|
IVarBasedDataFlowAnalysis<'Lattice>
|
The core interface for IR-based data flow analysis.
|
|
IVarBasedDataFlowSubState<'Lattice>
|
|
|
IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>
|
Worklist-based data-flow analysis interface.
|
|
PhiInfo
|
A mapping from a variable kind of a phi to its definitions. We represent
each definition as a mapping from predecessor's program point to a variable
point. This way, a definition from the same predecessor can be replaced by
the latest definition.
|
|
ReachingDefinition
|
|
|
ReachingDefinitionAnalysis
|
Traditional reaching definition analysis.
|
|
StackPointerDomain
|
A domain for stack pointer propagation.
|
|
StackPointerPropagation
|
|
|
UntouchedValueAnalysis
|
|
|
UntouchedValueDomain
|
A domain for untouched value analysis.
|
|
VarBasedDataFlowAnalysis<'Lattice>
|
|
|
VarBasedDataFlowState<'Lattice>
|
LowUIR-variable-based data flow state.
|
|
VarDefDomain
|
A domain for tracking variable definitions.
|
|
VarKind (Module)
|
|
|
VarKind (Type)
|
Variable kinds of our interest.
|
|
VarPoint
|
Variable at a specific program point.
|
|
WorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>
|
Worklist-based dataflow analysis.
|
|
WorklistDataFlowState<'WorkUnit, 'Lattice, 'V>
|
Worklist-based dataflow analysis state.
|
B2R2