MLIR  19.0.0git
mlir::dataflow::IntegerRangeAnalysis Member List

This is the complete list of members for mlir::dataflow::IntegerRangeAnalysis, including all inherited members.

AbstractSparseForwardDataFlowAnalysis(DataFlowSolver &solver)mlir::dataflow::AbstractSparseForwardDataFlowAnalysisexplicitprotected
addDependency(AnalysisState *state, ProgramPoint point)mlir::DataFlowAnalysisprotected
DataFlowAnalysis(DataFlowSolver &solver)mlir::DataFlowAnalysisexplicit
getLatticeElement(Value value) overridemlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >inlineprotectedvirtual
getLatticeElementFor(ProgramPoint point, Value value)mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >inlineprotected
getOrCreate(PointT point)mlir::DataFlowAnalysisinlineprotected
getOrCreateFor(ProgramPoint dependent, PointT point)mlir::DataFlowAnalysisinlineprotected
getProgramPoint(Args &&...args)mlir::DataFlowAnalysisinlineprotected
getSolverConfig() constmlir::DataFlowAnalysisinlineprotected
initialize(Operation *top) overridemlir::dataflow::AbstractSparseForwardDataFlowAnalysisvirtual
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs)mlir::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
propagateIfChanged(AnalysisState *state, ChangeResult changed)mlir::DataFlowAnalysisprotected
registerPointKind()mlir::DataFlowAnalysisinlineprotected
setAllToEntryStates(ArrayRef< IntegerValueRangeLattice * > lattices)mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >inlineprotected
mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(ArrayRef< AbstractSparseLattice * > lattices)mlir::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
setToEntryState(IntegerValueRangeLattice *lattice) overridemlir::dataflow::IntegerRangeAnalysisinlinevirtual
SparseForwardDataFlowAnalysis(DataFlowSolver &solver)mlir::dataflow::IntegerRangeAnalysisinlineexplicit
SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >::SparseForwardDataFlowAnalysis(DataFlowSolver &solver)mlir::dataflow::SparseForwardDataFlowAnalysis< IntegerValueRangeLattice >inlineexplicit
visit(ProgramPoint point) overridemlir::dataflow::AbstractSparseForwardDataFlowAnalysisvirtual
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) overridemlir::dataflow::IntegerRangeAnalysisvirtual
visitOperation(Operation *op, ArrayRef< const IntegerValueRangeLattice * > operands, ArrayRef< IntegerValueRangeLattice * > results) overridemlir::dataflow::IntegerRangeAnalysisvirtual
~DataFlowAnalysis()mlir::DataFlowAnalysisvirtual