AbstractSparseForwardDataFlowAnalysis(DataFlowSolver &solver) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | explicitprotected |
addDependency(AnalysisState *state, ProgramPoint *point) | mlir::DataFlowAnalysis | protected |
DataFlowAnalysis(DataFlowSolver &solver) | mlir::DataFlowAnalysis | explicit |
getLatticeAnchor(Args &&...args) | mlir::DataFlowAnalysis | inlineprotected |
getLatticeElement(Value value)=0 | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
getLatticeElementFor(ProgramPoint *point, Value value) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
getOrCreate(AnchorT anchor) | mlir::DataFlowAnalysis | inlineprotected |
getOrCreateFor(ProgramPoint *dependent, AnchorT anchor) | mlir::DataFlowAnalysis | inlineprotected |
getProgramPointAfter(Operation *op) | mlir::DataFlowAnalysis | inlineprotected |
getProgramPointAfter(Block *block) | mlir::DataFlowAnalysis | inlineprotected |
getProgramPointBefore(Operation *op) | mlir::DataFlowAnalysis | inlineprotected |
getProgramPointBefore(Block *block) | mlir::DataFlowAnalysis | inlineprotected |
getSolverConfig() const | mlir::DataFlowAnalysis | inlineprotected |
initialize(Operation *top) override | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | virtual |
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
propagateIfChanged(AnalysisState *state, ChangeResult changed) | mlir::DataFlowAnalysis | protected |
registerAnchorKind() | mlir::DataFlowAnalysis | inlineprotected |
setAllToEntryStates(ArrayRef< AbstractSparseLattice * > lattices) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
setToEntryState(AbstractSparseLattice *lattice)=0 | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
visit(ProgramPoint *point) override | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | virtual |
visitExternalCallImpl(CallOpInterface call, ArrayRef< const AbstractSparseLattice * > argumentLattices, ArrayRef< AbstractSparseLattice * > resultLattices)=0 | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
visitNonControlFlowArgumentsImpl(Operation *op, const RegionSuccessor &successor, ArrayRef< AbstractSparseLattice * > argLattices, unsigned firstIndex)=0 | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
visitOperationImpl(Operation *op, ArrayRef< const AbstractSparseLattice * > operandLattices, ArrayRef< AbstractSparseLattice * > resultLattices)=0 | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
~DataFlowAnalysis() | mlir::DataFlowAnalysis | virtual |