vyre-libs 0.7.2

vyre Category A library ecosystem - pure-IR compositions over foundation IR and primitive-owned kernels
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

//! Property tests for vyre-libs  -  invariants that must hold across
//! every input in the relevant domain.

#![cfg(all(
    feature = "math-linalg",
    feature = "math-scan",
    feature = "math-broadcast",
    feature = "crypto-fnv",
))]

use proptest::prelude::*;
use vyre::ir::Program;
use vyre_libs::math::broadcast::broadcast;
use vyre_libs::math::linalg::{dot, matmul};
use vyre_libs::math::scan::scan_prefix_sum;

fn has_single_region(program: &Program) -> bool {
    matches!(program.entry().first(), Some(vyre::ir::Node::Region { .. }))
        && program.entry().len() == 1
}

proptest! {
    #![proptest_config(ProptestConfig {
        cases: 256,
        ..ProptestConfig::default()
    })]

    #[test]
    fn dot_program_is_always_single_region(
        a in "[a-z][a-z0-9_]*",
        b in "[a-z][a-z0-9_]*",
        c in "[a-z][a-z0-9_]*",
    ) {
        prop_assume!(a != b && b != c && a != c);
        let p = dot(&a, &b, &c, 256).unwrap();
        prop_assert!(has_single_region(&p));
    }

    #[test]
    fn matmul_preserves_dims(
        m in 1u32..64,
        k in 1u32..64,
        n in 1u32..64,
    ) {
        let p = matmul("a", "b", "c", m, k, n);
        prop_assert!(has_single_region(&p));
        prop_assert_eq!(p.workgroup_size(), [256, 1, 1]);
    }

    #[test]
    fn scan_prefix_sum_is_valid_for_all_sizes(n in 1u32..1024) {
        let p = scan_prefix_sum("in", "out", n);
        prop_assert!(has_single_region(&p));
        prop_assert_eq!(p.workgroup_size(), [n.next_power_of_two(), 1, 1]);
    }

    #[test]
    fn broadcast_is_structurally_valid(
        s in "[a-z][a-z0-9_]*",
        d in "[a-z][a-z0-9_]*",
    ) {
        prop_assume!(s != d);
        let p = broadcast(&s, &d, 8);
        prop_assert!(has_single_region(&p));
    }
}

// Every vyre-libs Program contains one top-level Region; these tests
// prove the full Region wire round-trip (generator + optional
// source_region + body) is byte-identity stable across encode/decode.
#[test]

fn wire_round_trip_for_dot() {
    let p = dot("a", "b", "c", 4).unwrap();
    let wire = p.to_wire().expect("dot program must serialize");
    let parsed = Program::from_wire(&wire).expect("dot wire bytes must decode");
    assert_eq!(parsed, p);
}

#[test]

fn wire_round_trip_for_broadcast() {
    let p = broadcast("src", "dst", 8);
    let wire = p.to_wire().expect("broadcast program must serialize");
    let parsed = Program::from_wire(&wire).expect("broadcast wire bytes must decode");
    assert_eq!(parsed, p);
}