zhc_ir 0.6.0

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
73
74
75
76

//! 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 [`scheduler`] module provides tools for rescheduling, [`translation`]
//! helps for cross-dialects translation, and [`traversal`] offers walker verification
//! utilities.

pub mod cse;
pub mod dce;
pub mod interpretation;
pub mod scheduler;
pub mod slack;
pub mod translation;
pub mod traversal;
pub mod visualization;

mod annotation;
mod dialect;
mod failure;
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 failure::*;
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;