Index

Const analysis module.

This module contains the constant analysis framework for kirin. The constant analysis framework is built on top of the interpreter framework.

This module provides a lattice for constant propagation analysis and a propagation algorithm for computing the constant values for each SSA value in the IR.