vize_l3 0.457.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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

//! Explicit placement alternatives for L3 ops (P3-10).
//!
//! Impeto keeps the choice of *where* an op's work runs as data on the op
//! instead of deciding it while emitting, the aegraph discipline recorded in
//! `docs/davinci/prior-art-toolchains.md`. The canonical program runs every op
//! [`Placement::Inline`]; [`annotate`] records the other semantics-preserving
//! shapes an op may take:
//!
//! - [`Placement::Hoist`]: an element whose whole subtree is literal, owned by
//!   a control region (`if`, `for`, slot outlet, or component content), and
//!   free of instance-bound attributes (`ref`, `key`, `is`).
//! - [`Placement::Cache`]: a dynamic `set-event` whose handler is one plain JS
//!   expression under a static event name, with no `for`, slot, or component
//!   scope between it and the root.
//! - [`Placement::Group`]: a dynamic leaf update (`set-prop`,
//!   `set-dynamic-props`, `set-text`, `set-html`) reading one direct reference
//!   (`name` or `name.member`) that its keyed effect-order predecessor reads
//!   too, inside the same root, `if` branch, or `for` item. The group joins
//!   the effect unit of the first op in that contiguous run.
//!
//! Placements are an overlay: ops, regions, edges, effect scopes, and operands
//! stay canonical, so exported partition facts keep describing canonical L3.
//! The TS-27 verifier (`L3V010`) re-derives every recorded alternative and
//! every committed choice; `PlacementPage` is the companion Dump page.

mod annotate;
pub mod dump;
pub(crate) mod facts;
mod kind;
mod record;

pub use crate::placement::dump::{Page as PlacementPage, Record as DumpPlacement};
pub use annotate::annotate;
pub use kind::{Placement, PlacementSet};
pub use record::PlacementRecord;

use vize_l0::pass::{Fusability, PassDesc, PassKind, Preserved};

/// [`annotate`] as a pass: optional, whole-program, and graph-preserving.
pub const ANNOTATE: PassDesc = PassDesc::new(
    "annotate-placements",
    PassKind::Optional,
    Fusability::Barrier,
    Preserved::ALL,
);

const _: () = assert!(!core::mem::needs_drop::<PlacementRecord>());
const _: () = assert!(core::mem::size_of::<Placement>() == 1);
const _: () = assert!(core::mem::size_of::<PlacementSet>() == 1);
const _: () = assert!(core::mem::size_of::<PlacementRecord>() <= 16);