AbstractSparseBackwardDataFlowAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable) | mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis | explicitprotected |
addDependency(AnalysisState *state, ProgramPoint *point) | mlir::DataFlowAnalysis | protected |
DataFlowAnalysis(DataFlowSolver &solver) | mlir::DataFlowAnalysis | explicit |
getLatticeAnchor(Args &&...args) | mlir::DataFlowAnalysis | inlineprotected |
getLatticeElement(Value value) override | mlir::dataflow::SparseBackwardDataFlowAnalysis< Liveness > | inlineprotectedvirtual |
getLatticeElements(ValueRange values) | mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis | 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::AbstractSparseBackwardDataFlowAnalysis | virtual |
meet(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs) | mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis | protected |
propagateIfChanged(AnalysisState *state, ChangeResult changed) | mlir::DataFlowAnalysis | protected |
registerAnchorKind() | mlir::DataFlowAnalysis | inlineprotected |
setAllToExitStates(ArrayRef< Liveness * > lattices) | mlir::dataflow::SparseBackwardDataFlowAnalysis< Liveness > | inlineprotected |
mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::setAllToExitStates(ArrayRef< AbstractSparseLattice * > lattices) | mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis | protected |
setToExitState(Liveness *lattice) override | mlir::dataflow::LivenessAnalysis | virtual |
SparseBackwardDataFlowAnalysis< Liveness >::setToExitState(AbstractSparseLattice *lattice) override | mlir::dataflow::SparseBackwardDataFlowAnalysis< Liveness > | inlineprotectedvirtual |
SparseBackwardDataFlowAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable) | mlir::dataflow::LivenessAnalysis | inlineexplicit |
SparseBackwardDataFlowAnalysis< Liveness >::SparseBackwardDataFlowAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable) | mlir::dataflow::SparseBackwardDataFlowAnalysis< Liveness > | inlineexplicit |
visit(ProgramPoint *point) override | mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis | virtual |
visitBranchOperand(OpOperand &operand) override | mlir::dataflow::LivenessAnalysis | virtual |
visitCallOperand(OpOperand &operand) override | mlir::dataflow::LivenessAnalysis | virtual |
visitExternalCall(CallOpInterface call, ArrayRef< Liveness * > argumentLattices, ArrayRef< const Liveness * > resultLattices) | mlir::dataflow::SparseBackwardDataFlowAnalysis< Liveness > | inlinevirtual |
visitOperation(Operation *op, ArrayRef< Liveness * > operands, ArrayRef< const Liveness * > results) override | mlir::dataflow::LivenessAnalysis | virtual |
~DataFlowAnalysis() | mlir::DataFlowAnalysis | virtual |