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
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
77
78
79
80
81
82
83
84
85
86
87

//! Structured VAST validation errors.

/// Structured validation failure (never panics on random bytes).
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum VastError {
    /// Buffer shorter than required for the operation.
    TooShort {
        /// Minimum bytes required.
        need: usize,
        /// Bytes available.
        got: usize,
    },
    /// First four bytes are not `VAST`.
    BadMagic([u8; 4]),
    /// Unsupported [`crate::vast::VastHeader::version`].
    UnsupportedVersion(u16),
    /// Total length does not match header-derived layout.
    LengthMismatch {
        /// Expected total byte length.
        expected: usize,
        /// Actual buffer length.
        got: usize,
    },
    /// `first_child` / `next_sibling` / `parent_idx` edge is out of range.
    BadEdge {
        /// Source node index.
        from: u32,
        /// Target index that was invalid.
        to: u32,
    },
    /// File metadata path points outside the string blob.
    BadFilePath {
        /// File table index.
        file: u32,
        /// Byte offset into the string blob.
        off: u32,
        /// Byte length from `off`.
        len: u32,
        /// Total string blob length.
        string_blob_len: u32,
    },
    /// Node source file index is out of range.
    BadSourceFile {
        /// Node index.
        node: u32,
        /// Referenced file index.
        file: u32,
        /// Number of file metadata rows in the VAST.
        file_count: u32,
    },
    /// Node source span points outside its source file size.
    BadSourceSpan {
        /// Node index.
        node: u32,
        /// Referenced file index.
        file: u32,
        /// Byte offset into the source file.
        off: u32,
        /// Byte length from `off`.
        len: u32,
        /// Source file byte length.
        file_size: u32,
    },
    /// Node attribute span points outside `attr_blob`.
    BadAttrSpan {
        /// Node index.
        node: u32,
        /// Byte offset into `attr_blob`.
        off: u32,
        /// Byte length from `off`.
        len: u32,
        /// Total attribute blob length.
        attr_blob_len: u32,
    },
    /// Host walk stack exceeded `max_stack` (pathological graph).
    StackOverflow {
        /// Cap that was hit.
        cap: usize,
    },
    /// Node table byte length does not match `node_count`.
    NodeTableSize {
        /// Expected bytes (`node_count * 40`).
        expected: usize,
        /// Actual `node_bytes.len()`.
        got: usize,
    },
}