vize_l3 0.590.0

L3 - the Davinci reactivity IR (codename Impeto): flat scheduled ops with explicit state and effect edges
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

//! The Impeto op family: flat, id-addressed operations plus explicit state
//! edges.
//!
//! L3 deliberately does not reuse Vapor's nested block IR. Regions name
//! containment, effects name update scopes, and state edges name ordering.
//! Later lowering can therefore ask graph questions without trusting an
//! incidental traversal order.

mod edge;
mod id;
mod kind;
mod phase;
mod program;
mod region;

pub use edge::{EdgeKind, StateEdge};
pub use id::{EffectId, OpId, RegionId};
pub use kind::OpKind;
pub use phase::Phase;
pub use program::{EffectScope, Op, Program};
pub use region::Region;

const _: () = assert!(!core::mem::needs_drop::<Op>());
const _: () = assert!(!core::mem::needs_drop::<Region>());
const _: () = assert!(!core::mem::needs_drop::<StateEdge>());
const _: () = assert!(!core::mem::needs_drop::<EffectScope>());
const _: () = assert!(!core::mem::needs_drop::<Program<'static>>());

#[cfg(target_pointer_width = "64")]
const _: () = {
    assert!(core::mem::size_of::<Op>() <= 32);
    assert!(core::mem::size_of::<Region>() <= 32);
    assert!(core::mem::size_of::<StateEdge>() <= 24);
    assert!(core::mem::size_of::<EffectScope>() <= 24);
};