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

use crate::fixed_point_batch::FixedPointBatch;

impl<'a, F> FixedPointBatch<'a, F>
where
    F: Fn(&vyre::ir::Program, &[&[u8]], Option<[u32; 3]>, &mut Vec<Vec<u8>>) -> Result<(), String>,
{
    /// Inspect retained IFDS scratch after one or more batch solves.
    #[must_use]
    pub fn ifds_scratch(&self) -> &crate::ifds_gpu::IfdsSolveScratch {
        &self.ifds_scratch
    }

    /// Inspect retained IFDS preparation scratch after one or more prepares.
    #[must_use]
    pub fn ifds_prepare_scratch(&self) -> &crate::ifds_gpu::IfdsPrepareScratch {
        &self.ifds_prepare_scratch
    }
}