vyre-reference 0.4.1

Pure-Rust CPU reference interpreter for vyre IR — byte-identical oracle for backend conformance and small-data fallback
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

//! Reference interpreter region-gate regression tests.

use vyre::ir::{BufferDecl, DataType, Expr, Node, Program};

#[allow(deprecated)]
fn raw_program() -> Program {
    Program::new(
        vec![BufferDecl::output("out", 0, DataType::U32).with_count(1)],
        [1, 1, 1],
        vec![Node::store("out", Expr::u32(0), Expr::u32(7)), Node::Return],
    )
}

#[test]
fn reference_eval_rejects_non_region_programs() {
    let error = vyre_reference::reference_eval(
        &raw_program(),
        &[vyre_reference::value::Value::from(vec![0u8; 4])],
    )
    .expect_err("Fix: reference_eval must reject raw top-level statements");
    assert!(
        error
            .to_string()
            .contains("top-level Region-wrapped Program"),
        "Fix: reference_eval rejection must mention the region invariant, got: {error}"
    );
}

#[test]
fn flat_cpu_rejects_non_region_programs() {
    let mut output = Vec::new();
    let error = vyre_reference::flat_cpu::run_flat(&raw_program(), &[], &mut output)
        .expect_err("Fix: flat_cpu must reject raw top-level statements");
    assert!(
        error
            .to_string()
            .contains("top-level Region-wrapped Program"),
        "Fix: flat_cpu rejection must mention the region invariant, got: {error}"
    );
}