vyre-foundation 0.4.1

Foundation layer: IR, type system, memory model, wire format. Zero application semantics. Part of the vyre GPU compiler.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Decode `VIR0` bytes into the stable IR wire model.
#![allow(unused_doc_comments)]

/// Deserialize a complete wire-format program.
pub use from_wire::from_wire;

/// Reject extension ids that collide with the frozen core tag space.
#[inline]
pub(crate) fn reject_reserved_extension_id(raw: u32, surface: &str) -> Result<u32, String> {
    if (raw & 0x8000_0000) == 0 {
        return Err(format!(
            "InvalidDiscriminant: {surface} opaque id 0x{raw:08x} collides with core IR. Fix: dialect extensions must use ids in 0x8000_0000..=0xffff_ffff."
        ));
    }
    Ok(raw)
}

/// Top-level wire-format program decoder.
pub mod from_wire;
/// Per-variant Reader methods (reads each Node/Expr shape).
pub mod impl_reader;