Expand description
IR-independent compiler analyses shared by Celox’s source and machine IRs.
This crate deliberately owns no SIR or MIR types. Callers translate their block, instruction, and memory-effect identities to dense indices and immutable event tables before invoking an analysis.
Modules§
- cfg
- Deterministic control-flow analysis over dense, IR-independent block IDs.
- cfg_
order - dag_
schedule - Bottom-up scheduling of a dependency DAG with explicit value edges and shared materialization tokens.
- dependence
- Ordered memory-dependence construction over abstract objects and byte ranges.
- interval
- Unit-independent exact interval indexing.
- memory
- Memory locations and byte-range aliasing.
- memory_
ssa - IR- and alias-domain-independent access-based MemorySSA.
- ssa
- Sparse pruned SSA construction over caller-defined variable identities.