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

// Shared safety limits for bounded IR operation builders.

/// Maximum graph nodes accepted by host-side graph builders.
pub const MAX_GRAPH_NODES: usize = 16_000_000;
/// Maximum graph edges accepted by host-side graph builders.
pub const MAX_GRAPH_EDGES: usize = 64_000_000;
/// Maximum DFA states accepted by DFA scan builders.
pub const MAX_DFA_STATES: u32 = 1_000_000;
/// Maximum per-invocation BFS queue slots.
pub const MAX_BFS_QUEUE: u32 = 65_536;

#[cfg(test)]
mod tests {
    use super::*;

    const _: () = assert!(MAX_GRAPH_NODES > 0);
    const _: () = assert!(MAX_GRAPH_EDGES > 0);
    const _: () = assert!(MAX_DFA_STATES > 0);
    const _: () = assert!(MAX_BFS_QUEUE > 0);
    const _: () = assert!(MAX_GRAPH_EDGES > MAX_GRAPH_NODES);
}