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

#![cfg(any(test, feature = "cpu-parity"))]

/// Reference oracle for control-dependence bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn control_dependence(successor_pdom: &[u32], pdom_n: &[u32]) -> Vec<u32> {
    crate::control_dependence::cpu_ref(successor_pdom, pdom_n)
}

/// Reference oracle for def-use bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn def_use(def_use_buf: &[u32], query_set: &[u32]) -> Vec<u32> {
    crate::def_use::cpu_ref(def_use_buf, query_set)
}

/// Reference oracle for dominator bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn dominators(dom_set: &[u32], target_set: &[u32]) -> Vec<u32> {
    crate::dominators::cpu_ref(dom_set, target_set)
}

/// Reference oracle for escape bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn escapes(pts: &[u32], escape_set: &[u32]) -> Vec<u32> {
    crate::escapes::cpu_ref(pts, escape_set)
}

/// Reference oracle for live-at bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn live_at(live_in: &[u32], query_set: &[u32]) -> Vec<u32> {
    crate::live_at::cpu_ref(live_in, query_set)
}

/// Reference oracle for must-init bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn must_init(def_dominates: &[u32], use_set: &[u32]) -> Vec<u32> {
    crate::must_init::cpu_ref(def_dominates, use_set)
}

/// Reference oracle for post-dominator bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn post_dominates(pdom_set: &[u32], target_set: &[u32]) -> Vec<u32> {
    crate::post_dominates::cpu_ref(pdom_set, target_set)
}

/// Reference oracle for reaching-def bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn reaching_def(gen_kill_in: &[u32], use_set: &[u32]) -> Vec<u32> {
    crate::reaching_def::cpu_ref(gen_kill_in, use_set)
}

/// Reference oracle for SCC-query bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn scc_query(same_scc: &[u32], query_set: &[u32]) -> Vec<u32> {
    crate::scc_query::cpu_ref(same_scc, query_set)
}

/// Reference oracle for value-set bitset projection.
#[must_use]
#[allow(deprecated)]
pub fn value_set(const_in: &[u32], query_set: &[u32]) -> Vec<u32> {
    crate::value_set::cpu_ref(const_in, query_set)
}