llzk::StructIntervals Class Reference

#include <IntervalAnalysis.h>

Public Member Functions
mlir::LogicalResult	computeIntervals (mlir::DataFlowSolver &solver, mlir::AnalysisManager &am, const IntervalAnalysisContext &ctx)
void	print (mlir::raw_ostream &os, bool withConstraints=false, bool printCompute=false, bool printUnreduced=false) const
const llvm::MapVector< SourceRef, Interval > &	getConstrainIntervals () const
const llvm::MapVector< SourceRef, UnreducedInterval > &	getConstrainUnreducedIntervals () const
const llvm::SetVector< ExpressionValue >	getConstrainSolverConstraints () const
const llvm::MapVector< SourceRef, Interval > &	getComputeIntervals () const
const llvm::MapVector< SourceRef, UnreducedInterval > &	getComputeUnreducedIntervals () const
const llvm::SetVector< ExpressionValue >	getComputeSolverConstraints () const

Static Public Member Functions
static mlir::FailureOr< StructIntervals >	compute (mlir::ModuleOp mod, component::StructDefOp s, mlir::DataFlowSolver &solver, mlir::AnalysisManager &am, const IntervalAnalysisContext &ctx)
	Compute the struct intervals.

Friends
mlir::raw_ostream &	operator<< (mlir::raw_ostream &os, const StructIntervals &si)

Detailed Description

Definition at line 519 of file IntervalAnalysis.h.

Member Function Documentation

compute()

mlir::FailureOr< StructIntervals > llzk::StructIntervals::compute ( mlir::ModuleOp mod, component::StructDefOp s, mlir::DataFlowSolver & solver, mlir::AnalysisManager & am, const IntervalAnalysisContext & ctx )

inlinestatic

Compute the struct intervals.

Parameters

mod	The LLZK-complaint module that is the parent of struct s.
s	The struct to compute value intervals for.
solver	A pre-configured DataFlowSolver. The liveness of the struct must already be computed in this solver in order for the analysis to run.
am	A module-level analysis manager. This analysis manager needs to originate from a module-level analysis (i.e., for the mod module) so that analyses for other constraints can be queried via the getChildAnalysis method.
ctx

Returns

Definition at line 531 of file IntervalAnalysis.h.

computeIntervals()

LogicalResult llzk::StructIntervals::computeIntervals	(	mlir::DataFlowSolver &	solver,
		mlir::AnalysisManager &	am,
		const IntervalAnalysisContext &	ctx )

Definition at line 1802 of file IntervalAnalysis.cpp.

getComputeIntervals()

const llvm::MapVector< SourceRef, Interval > & llzk::StructIntervals::getComputeIntervals ( ) const

inline

Definition at line 563 of file IntervalAnalysis.h.

getComputeSolverConstraints()

const llvm::SetVector< ExpressionValue > llzk::StructIntervals::getComputeSolverConstraints ( ) const

inline

Definition at line 571 of file IntervalAnalysis.h.

getComputeUnreducedIntervals()

const llvm::MapVector< SourceRef, UnreducedInterval > & llzk::StructIntervals::getComputeUnreducedIntervals ( ) const

inline

Definition at line 567 of file IntervalAnalysis.h.

getConstrainIntervals()

const llvm::MapVector< SourceRef, Interval > & llzk::StructIntervals::getConstrainIntervals ( ) const

inline

Definition at line 551 of file IntervalAnalysis.h.

getConstrainSolverConstraints()

const llvm::SetVector< ExpressionValue > llzk::StructIntervals::getConstrainSolverConstraints ( ) const

inline

Definition at line 559 of file IntervalAnalysis.h.

getConstrainUnreducedIntervals()

const llvm::MapVector< SourceRef, UnreducedInterval > & llzk::StructIntervals::getConstrainUnreducedIntervals ( ) const

inline

Definition at line 555 of file IntervalAnalysis.h.

print()

void llzk::StructIntervals::print	(	mlir::raw_ostream &	os,
		bool	withConstraints = false,
		bool	printCompute = false,
		bool	printUnreduced = false ) const

Definition at line 2131 of file IntervalAnalysis.cpp.

Friends And Related Symbol Documentation

operator<<

mlir::raw_ostream & operator<< ( mlir::raw_ostream & os, const StructIntervals & si )

friend

Definition at line 575 of file IntervalAnalysis.h.

---

The documentation for this class was generated from the following files:

• include/llzk/Analysis/IntervalAnalysis.h
• lib/Analysis/IntervalAnalysis.cpp