MLIR: mlir::AnalysisState Class Reference (original) (raw)

Base class for generic analysis states.

Analysis states contain data-flow information that are attached to lattice anchors and which evolve as the analysis iterates.

This class places no restrictions on the semantics of analysis states beyond these requirements.

1. Querying the state of a lattice anchor prior to visiting that anchor results in uninitialized state. Analyses must be aware of unintialized states.
2. Analysis states can reach fixpoints, where subsequent updates will never trigger a change in the state.
3. Analysis states that are uninitialized can be forcefully initialized to a default value.

Definition at line 510 of file DataFlowFramework.h.