Index
Analysis module for kirin.
This module contains the analysis framework for kirin. The analysis framework is built on top of the interpreter framework. This module provides a set of base classes and frameworks for implementing compiler analysis passes on the IR.
The analysis framework contains the following modules:
cfg
: Control flow graph for a given IR.forward
: Forward dataflow analysis.callgraph
: Call graph for a given IR.typeinfer
: Type inference analysis.const
: Constants used in the analysis framework.