AbstractSparseForwardDataFlowAnalysis(DataFlowSolver &solver) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | explicitprotected |
addDependency(AnalysisState *state, ProgramPoint point) | mlir::DataFlowAnalysis | protected |
DataFlowAnalysis(DataFlowSolver &solver) | mlir::DataFlowAnalysis | explicit |
getLatticeElement(Value value) override | mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice > | inlineprotectedvirtual |
getLatticeElementFor(ProgramPoint point, Value value) | mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice > | inlineprotected |
getOrCreate(PointT point) | mlir::DataFlowAnalysis | inlineprotected |
getOrCreateFor(ProgramPoint dependent, PointT point) | mlir::DataFlowAnalysis | inlineprotected |
getProgramPoint(Args &&...args) | 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 |
registerPointKind() | mlir::DataFlowAnalysis | inlineprotected |
setAllToEntryStates(ArrayRef< IntegerValueRangeLattice * > lattices) | mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice > | inlineprotected |
mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(ArrayRef< AbstractSparseLattice * > lattices) | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
setToEntryState(IntegerValueRangeLattice *lattice) override | mlir::dataflow::IntegerRangeAnalysis | inlinevirtual |
SparseForwardDataFlowAnalysis(DataFlowSolver &solver) | mlir::dataflow::IntegerRangeAnalysis | inlineexplicit |
SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >::SparseForwardDataFlowAnalysis(DataFlowSolver &solver) | mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice > | inlineexplicit |
visit(ProgramPoint point) override | mlir::dataflow::AbstractSparseForwardDataFlowAnalysis | virtual |
visitExternalCall(CallOpInterface call, ArrayRef< const IntegerValueRangeLattice * > argumentLattices, ArrayRef< IntegerValueRangeLattice * > resultLattices) | mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice > | inlinevirtual |
visitNonControlFlowArguments(Operation *op, const RegionSuccessor &successor, ArrayRef< IntegerValueRangeLattice * > argLattices, unsigned firstIndex) override | mlir::dataflow::IntegerRangeAnalysis | virtual |
visitOperation(Operation *op, ArrayRef< const IntegerValueRangeLattice * > operands, ArrayRef< IntegerValueRangeLattice * > results) override | mlir::dataflow::IntegerRangeAnalysis | virtual |
~DataFlowAnalysis() | mlir::DataFlowAnalysis | virtual |