Inheritance diagram for llzk::StructIntervalAnalysis:

Collaboration diagram for llzk::StructIntervalAnalysis:

Public Member Functions
mlir::LogicalResult	runAnalysis (mlir::DataFlowSolver &solver, mlir::AnalysisManager &moduleAnalysisManager, IntervalAnalysisContext &ctx) override
	Perform the analysis and construct the `Result` output.

	StructAnalysis (mlir::Operation *op)
	Assert that this analysis is being run on a StructDefOp and initializes the analysis with the current StructDefOp and its parent ModuleOp.

Public Member Functions inherited from llzk::StructAnalysis< StructIntervals, IntervalAnalysisContext >
	StructAnalysis (mlir::Operation *op)
	Assert that this analysis is being run on a StructDefOp and initializes the analysis with the current StructDefOp and its parent ModuleOp.

bool	constructed () const
	Query if the analysis has constructed a `Result` object.

const StructIntervals &	getResult () const
	Access the result iff it has been created.

Additional Inherited Members
Protected Member Functions inherited from llzk::StructAnalysis< StructIntervals, IntervalAnalysisContext >
mlir::ModuleOp	getModule () const
	Get the `ModuleOp` that is the parent of the `StructDefOp` that is under analysis.

component::StructDefOp	getStruct () const
	Get the current `StructDefOp` that is under analysis.

void	setResult (StructIntervals &&r)
	Initialize the final `Result` object.

Detailed Description

Definition at line 811 of file IntervalAnalysis.h.

Member Function Documentation

mlir::LogicalResult llzk::StructIntervalAnalysis::runAnalysis	(	mlir::DataFlowSolver &	solver,
		mlir::AnalysisManager &	moduleAnalysisManager,
		IntervalAnalysisContext &	ctx )

inlineoverridevirtual

Perform the analysis and construct the Result output.

Parameters

solver	The pre-configured dataflow solver. This solver should already have a liveness analysis run, otherwise this analysis may be a no-op.
moduleAnalysisManager	The analysis manager of the top-level module. By giving the struct analysis a reference to the module's analysis manager, we can query analyses of other structs by querying for a child analysis. Otherwise, a struct's analysis manager cannot query for the analyses of other operations unless they are nested within the struct.
ctx	The `Context` given to the analysis. This is presumed to have been created by the StructAnalysis's parent ModuleAnalysis.

Returns: mlir::success() if the analysis ran without errors, and a mlir::failure() otherwise.

Definition at line 815 of file IntervalAnalysis.h.

llzk::StructAnalysis< Result, Context >::StructAnalysis ( mlir::Operation * op )

inline

Assert that this analysis is being run on a StructDefOp and initializes the analysis with the current StructDefOp and its parent ModuleOp.

Parameters

op	The presumed StructDefOp.

Definition at line 47 of file AnalysisWrappers.h.

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