weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.
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

use super::*;

// 3. Overflow and boundary tests
// ==================================================================

bfs_test!(
    max_valid_procs_min_others,
    4096,
    1,
    1,
    &[],
    &[],
    &[],
    &[],
    &[(0, 0, 0)],
    vec![(0, 0, 0)]
);

bfs_test!(
    max_valid_blocks_min_others,
    1,
    1024,
    1,
    &chain_edges(1024),
    &[],
    &[],
    &[],
    &[(0, 0, 0)],
    (0..1024).map(|b| (0, b, 0)).collect()
);

bfs_test!(
    max_valid_facts_min_others,
    1,
    1,
    1024,
    &[],
    &[],
    &[],
    &[],
    &[(0, 0, 0), (0, 0, 1023)],
    vec![(0, 0, 0), (0, 0, 1023)]
);

bfs_test!(
    max_valid_procs_blocks_small_facts,
    4096,
    1024,
    1,
    &[],
    &[],
    &[],
    &[],
    &[(0, 0, 0), (4095, 0, 0)],
    vec![(0, 0, 0), (4095, 0, 0)]
);

bfs_test!(
    large_valid_product,
    2048,
    1024,
    2,
    &[],
    &[],
    &[],
    &[],
    &[(0, 0, 0)],
    vec![(0, 0, 0)]
);

panic_test!(
    just_over_max_procs_rejected,
    "dimensions exceed 32-bit exploded-node encoding",
    solve_cpu(4097, 1, 1, &[], &[], &[], &[], &[])
);

panic_test!(
    just_over_max_blocks_rejected,
    "dimensions exceed 32-bit exploded-node encoding",
    solve_cpu(1, 1025, 1, &[], &[], &[], &[], &[])
);

panic_test!(
    just_over_max_facts_rejected,
    "dimensions exceed 32-bit exploded-node encoding",
    solve_cpu(1, 1, 1025, &[], &[], &[], &[], &[])
);

panic_test!(
    procs_4096_blocks_1024_facts_1024_rejected,
    "dimensions exceed 32-bit exploded-node encoding",
    solve_cpu(4096, 1024, 1024, &[], &[], &[], &[], &[])
);