vyre-libs 0.6.2

vyre Category A library ecosystem - pure-IR compositions over vyre-ops hardware primitives
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

//! GPU IR builders: lower a C VAST node table into the property-graph
//! buffers that the dataflow analyzer consumes. Two entry points:
//! `c_lower_ast_to_pg_nodes` (node decode only) and
//! `c_lower_ast_to_pg_semantic_graph` (node + semantic edges).

use crate::parsing::c::lower::semantic_edges::*;
use crate::parsing::c::parse::vast::*;
use crate::parsing::composition::child_phase;
use vyre::ir::{BufferAccess, BufferDecl, DataType, Expr, Node, Program};

use super::*;

mod classification;
mod context;
mod edge_store;
mod semantic_graph;
mod sizing;
mod structural_nodes;

pub use semantic_graph::{
    c_lower_ast_to_pg_semantic_graph, c_lower_ast_to_pg_semantic_graph_with_pg,
    c_lower_ast_to_pg_semantic_graph_with_pg_no_control_resolution,
};
pub use structural_nodes::c_lower_ast_to_pg_nodes;

use classification::*;
use context::*;
use edge_store::*;
use sizing::infer_node_count_words;

/// Malformed byte input for CPU oracle decoding.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum PgReferenceDecodeError {
    /// Input byte length is not a whole number of `u32` words.
    MisalignedBytes {
        /// Actual byte length.
        len: usize,
    },
    /// Input word count is not a whole number of VAST rows.
    PartialVastRow {
        /// Actual decoded word count.
        words: usize,
        /// Required row stride.
        stride: usize,
    },
}

/// Semantic PG witness rows computed by the CPU oracle.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct SemanticPgReference {
    /// Semantic node rows.
    pub nodes: Vec<u8>,
    /// Semantic edge rows.
    pub edges: Vec<u8>,
}

impl std::fmt::Display for PgReferenceDecodeError {
    fn fmt(&self, formatter: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Self::MisalignedBytes { len } => write!(
                formatter,
                "VAST byte input has {len} bytes, which is not 4-byte aligned. Fix: pass complete u32 rows to the AST-to-PG reference oracle."
            ),
            Self::PartialVastRow { words, stride } => write!(
                formatter,
                "VAST word input has {words} words, which is not a multiple of row stride {stride}. Fix: pass complete VAST rows to the AST-to-PG reference oracle."
            ),
        }
    }
}

impl std::error::Error for PgReferenceDecodeError {}