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

/// Fixed-point analysis family attached to a prepared plan.
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub enum FixedPointAnalysisKind {
    /// Compatibility value for manually constructed plans that do not declare
    /// an analysis family.
    Generic,
    /// Forward reaching-definitions closure.
    Reaching,
    /// Backward live-variable closure over reversed control CSR.
    Live,
    /// Andersen points-to subset closure.
    PointsToSubset,
    /// Backward program slice closure.
    Slice,
}