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

use weir::live;
use weir::points_to;
use weir::reaching;
use weir::slice;

#[test]
fn debug_empty_prep() {
    println!(
        "reaching: {:?}",
        reaching::prepare_reaching_graph(0, &[0u32], &[], &[])
    );
    println!("live: {:?}", live::prepare_live_graph(0, &[0u32], &[], &[]));
    println!(
        "points_to: {:?}",
        points_to::prepare_points_to_subset_graph(0, &[0u32], &[], &[])
    );
    println!(
        "slice: {:?}",
        slice::prepare_slice_graph(0, &[0u32], &[], &[])
    );
}