zhc_ir 0.1.2

Graph-based intermediate representation framework with dialect support
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

//! Dialect-parameterized intermediate representation framework.
//!
//! The core type [`IR<D>`] holds a set of typed operations and values for a given
//! [`Dialect`]. Each operation carries a [`Signature`] that describes its argument
//! and return types, and each value tracks its producing operation ([`ValOrigin`])
//! and its consumers ([`ValUse`]). Operations and values are identified by [`OpId`]
//! and [`ValId`] respectively, and follow an active/inactive lifecycle.
//!
//! Immutable views into the IR are provided by [`OpRef`] and [`ValRef`], which
//! expose dependency traversal, reachability queries, and formatting. Mutable
//! operations on the IR — adding operations, replacing value uses, and deleting
//! operations — are methods on [`IR`] itself.
//!
//! The annotation layer ([`AnnIR`], [`AnnOpRef`], [`AnnValRef`]) extends the base
//! IR with per-operation and per-value metadata through parallel [`OpMap`] and
//! [`ValMap`] containers, enabling dataflow analyses that produce typed annotations
//! without modifying the underlying IR.
//!
//! Built-in passes include dead code elimination ([`dce`]), common subexpression
//! elimination ([`cse`]), and an interpretation framework ([`interpretation`]).
//! The [`scheduling`] module provides forward list scheduling, [`translation`]
//! defines cross-dialect translation, and [`traversal`] offers walker verification
//! utilities.

pub mod cse;
pub mod dce;
pub mod interpretation;
pub mod scheduling;
pub mod translation;
pub mod traversal;

mod annotation;
mod dialect;
mod formatting;
mod id;
mod ir;
mod op;
mod op_map;
mod op_mut;
mod op_ref;
mod signature;
mod state;
mod val;
mod val_map;
mod val_mut;
mod val_origin;
mod val_ref;
mod val_use;

pub use annotation::*;
pub use dialect::*;
pub use formatting::*;
pub use id::*;
pub use ir::*;
pub(crate) use op::*;
pub use op_map::*;
pub(crate) use op_mut::*;
pub use op_ref::*;
pub use signature::*;
pub(crate) use state::*;
pub(crate) use val::*;
pub use val_map::*;
pub(crate) use val_mut::*;
pub use val_origin::*;
pub use val_ref::*;
pub use val_use::*;

#[cfg(test)]
#[allow(unused)]
pub(crate) mod testlang;
#[cfg(test)]
mod tests;