LLZK 0.1.0
Veridise's ZK Language IR
|
#include <IntervalAnalysis.h>
Public Member Functions | |
ModuleIntervalAnalysis (mlir::Operation *op) | |
void | setField (const Field &f) |
![]() | |
ModuleAnalysis (mlir::Operation *op) | |
Asserts that the analysis is being run on a ModuleOp . | |
virtual void | runAnalysis (mlir::AnalysisManager &am) |
Run the StructAnalysisTy struct analysis on all child structs. | |
bool | hasResult (component::StructDefOp op) const |
Checks if op has a result contained in the current result map. | |
const StructIntervals & | getResult (component::StructDefOp op) const |
Asserts that op has a result and returns it. | |
ResultMap::iterator | begin () |
ResultMap::iterator | end () |
ResultMap::const_iterator | cbegin () const |
ResultMap::const_iterator | cend () const |
const mlir::DataFlowSolver & | getSolver () const |
Protected Member Functions | |
void | initializeSolver (mlir::DataFlowSolver &solver) override |
Initialize the shared dataflow solver with any common analyses required by the contained struct analyses. | |
IntervalAnalysisContext | getContext () override |
Create and return a valid Context object. | |
![]() | |
void | constructChildAnalyses (mlir::AnalysisManager &am) |
Construct and run the StructAnalysisTy analyses on each StructDefOp contained in the ModuleOp that is being subjected to this analysis. | |
Definition at line 831 of file IntervalAnalysis.h.
|
inline |
Definition at line 835 of file IntervalAnalysis.h.
|
inlineoverrideprotectedvirtual |
Create and return a valid Context
object.
This function is called once by constructChildAnalyses
and the resulting Context
is passed to each child struct analysis run by this module analysis.
Implements llzk::ModuleAnalysis< StructIntervals, IntervalAnalysisContext, StructIntervalAnalysis >.
Definition at line 850 of file IntervalAnalysis.h.
|
inlineoverrideprotectedvirtual |
Initialize the shared dataflow solver with any common analyses required by the contained struct analyses.
solver |
Implements llzk::ModuleAnalysis< StructIntervals, IntervalAnalysisContext, StructIntervalAnalysis >.
Definition at line 841 of file IntervalAnalysis.h.
|
inline |
Definition at line 838 of file IntervalAnalysis.h.