llzk::IntervalDataFlowAnalysis Member List

This is the complete list of members for llzk::IntervalDataFlowAnalysis, including all inherited members.

AbstractSparseForwardDataFlowAnalysis(mlir::DataFlowSolver &solver)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	explicitprotected
getFieldReadResults() const	llzk::IntervalDataFlowAnalysis	inline
getFieldWriteResults() const	llzk::IntervalDataFlowAnalysis	inline
getLatticeElement(mlir::Value value) override	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
getLatticeElementFor(mlir::ProgramPoint *point, mlir::Value value)	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotected
getOrCreateSymbol(const SourceRef &r)	llzk::IntervalDataFlowAnalysis
initialize(mlir::Operation *top) override	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
IntervalDataFlowAnalysis(mlir::DataFlowSolver &dataflowSolver, llvm::SMTSolverRef smt, const Field &f, bool propInputConstraints)	llzk::IntervalDataFlowAnalysis	inlineexplicit
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
setAllToEntryStates(mlir::ArrayRef< IntervalAnalysisLattice * > lattices)	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotected
llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(mlir::ArrayRef< AbstractSparseLattice * > lattices)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
SparseForwardDataFlowAnalysis(mlir::DataFlowSolver &s)	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineexplicit
visit(mlir::ProgramPoint *point) override	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
visitExternalCall(mlir::CallOpInterface call, mlir::ArrayRef< const IntervalAnalysisLattice * > argumentLattices, mlir::ArrayRef< IntervalAnalysisLattice * > resultLattices)	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlinevirtual
visitNonControlFlowArguments(mlir::Operation *op, const mlir::RegionSuccessor &successor, mlir::ArrayRef< IntervalAnalysisLattice * > argLattices, unsigned firstIndex)	llzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlinevirtual
visitOperation(mlir::Operation *op, mlir::ArrayRef< const Lattice * > operands, mlir::ArrayRef< Lattice * > results) override	llzk::IntervalDataFlowAnalysis	virtual