vyre-primitives 0.6.3

Compositional primitives for vyre - marker types (always on) + Tier 2.5 LEGO substrate (feature-gated per domain).
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109

use super::*;

#[test]
fn dot_program_layout_matches_packed_shape() {
    let program = i4x8_dot_i32("lhs", "rhs", "out", 65);
    assert_eq!(program.workgroup_size, [1, 1, 1]);
    assert_eq!(program.buffers[0].name(), "lhs");
    assert_eq!(program.buffers[0].count(), 9);
    assert_eq!(program.buffers[1].name(), "rhs");
    assert_eq!(program.buffers[1].count(), 9);
    assert_eq!(program.buffers[2].name(), "out");
    assert_eq!(program.buffers[2].count(), 1);
}

#[test]
fn scaled_dot_program_layout_matches_fused_packed_shape() {
    let program = i4x8_dot_f32_scaled("lhs", "rhs", "lhs_scale", "rhs_scale", "out", 65);
    assert_eq!(program.workgroup_size, [1, 1, 1]);
    assert_eq!(program.buffers[0].name(), "lhs");
    assert_eq!(program.buffers[0].count(), 9);
    assert_eq!(program.buffers[1].name(), "rhs");
    assert_eq!(program.buffers[1].count(), 9);
    assert_eq!(program.buffers[2].name(), "lhs_scale");
    assert_eq!(program.buffers[2].count(), 1);
    assert_eq!(program.buffers[3].name(), "rhs_scale");
    assert_eq!(program.buffers[3].count(), 1);
    assert_eq!(program.buffers[4].name(), "out");
    assert_eq!(program.buffers[4].count(), 1);
}

#[test]
fn matvec_program_layout_matches_row_major_packed_shape() {
    let program = i4x8_matvec_f32_scaled("weights", "x", "scales", "out", 3, 65);
    assert_eq!(program.workgroup_size, [64, 1, 1]);
    assert_eq!(program.buffers[0].name(), "weights");
    assert_eq!(program.buffers[0].count(), 27);
    assert_eq!(program.buffers[1].name(), "x");
    assert_eq!(program.buffers[1].count(), 65);
    assert_eq!(program.buffers[2].name(), "scales");
    assert_eq!(program.buffers[2].count(), 3);
    assert_eq!(program.buffers[3].name(), "out");
    assert_eq!(program.buffers[3].count(), 3);
}

#[test]
fn batched_matvec_program_layout_matches_reused_weights_shape() {
    let program = i4x8_batched_matvec_f32_scaled("weights", "x", "scales", "out", 4, 3, 65);
    assert_eq!(program.workgroup_size, [64, 1, 1]);
    assert_eq!(program.buffers[0].name(), "weights");
    assert_eq!(program.buffers[0].count(), 27);
    assert_eq!(program.buffers[1].name(), "x");
    assert_eq!(program.buffers[1].count(), 260);
    assert_eq!(program.buffers[2].name(), "scales");
    assert_eq!(program.buffers[2].count(), 3);
    assert_eq!(program.buffers[3].name(), "out");
    assert_eq!(program.buffers[3].count(), 12);
}

#[test]
fn batched_matmul_program_layout_matches_packed_activation_shape() {
    let program = i4x8_batched_matmul_f32_scaled(
        "weights",
        "activations",
        "row_scales",
        "batch_scales",
        "out",
        4,
        3,
        65,
    );
    assert_eq!(program.workgroup_size, [64, 1, 1]);
    assert_eq!(program.buffers[0].name(), "weights");
    assert_eq!(program.buffers[0].count(), 27);
    assert_eq!(program.buffers[1].name(), "activations");
    assert_eq!(program.buffers[1].count(), 36);
    assert_eq!(program.buffers[2].name(), "row_scales");
    assert_eq!(program.buffers[2].count(), 3);
    assert_eq!(program.buffers[3].name(), "batch_scales");
    assert_eq!(program.buffers[3].count(), 4);
    assert_eq!(program.buffers[4].name(), "out");
    assert_eq!(program.buffers[4].count(), 12);
}

#[test]
fn batched_matmul_top1_program_layout_matches_packed_activation_shape() {
    let program = i4x8_batched_matmul_top1_f32_scaled(
        "weights",
        "activations",
        "row_scales",
        "batch_scales",
        "out",
        4,
        3,
        65,
    );

    assert_eq!(program.workgroup_size, [64, 1, 1]);
    assert_eq!(program.buffers[0].name(), "weights");
    assert_eq!(program.buffers[0].count(), 27);
    assert_eq!(program.buffers[1].name(), "activations");
    assert_eq!(program.buffers[1].count(), 36);
    assert_eq!(program.buffers[2].name(), "row_scales");
    assert_eq!(program.buffers[2].count(), 3);
    assert_eq!(program.buffers[3].name(), "batch_scales");
    assert_eq!(program.buffers[3].count(), 4);
    assert_eq!(program.buffers[4].name(), "out");
    assert_eq!(program.buffers[4].count(), 8);
}