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

//! Fuzz-style randomized gates for Weir bitset reference oracles.
//!
//! Op id: `weir::tests::df::fuzz::bitset_oracles`. Soundness:
//! `Exact`. The harness stresses arbitrary length mismatches and
//! adversarial word patterns across the pure word-wise AND oracle family.

use proptest::prelude::*;

fn expect_word_and(left: &[u32], right: &[u32]) -> Vec<u32> {
    left.iter()
        .zip(right.iter())
        .map(|(left, right)| *left & *right)
        .collect()
}

proptest! {
    #![proptest_config(ProptestConfig::with_cases(2048))]

    #[test]
    fn fuzz_must_init_matches_word_and(
        left in proptest::collection::vec(any::<u32>(), 0..128),
        right in proptest::collection::vec(any::<u32>(), 0..128),
    ) {
        prop_assert_eq!(weir::oracle::bitset::must_init(&left, &right), expect_word_and(&left, &right));
    }

    #[test]
    fn fuzz_live_at_matches_word_and(
        left in proptest::collection::vec(any::<u32>(), 0..128),
        right in proptest::collection::vec(any::<u32>(), 0..128),
    ) {
        prop_assert_eq!(weir::oracle::bitset::live_at(&left, &right), expect_word_and(&left, &right));
    }

    #[test]
    fn fuzz_post_dominates_matches_word_and(
        left in proptest::collection::vec(any::<u32>(), 0..128),
        right in proptest::collection::vec(any::<u32>(), 0..128),
    ) {
        prop_assert_eq!(weir::oracle::bitset::post_dominates(&left, &right), expect_word_and(&left, &right));
    }

    #[test]
    fn fuzz_scc_query_matches_word_and(
        left in proptest::collection::vec(any::<u32>(), 0..128),
        right in proptest::collection::vec(any::<u32>(), 0..128),
    ) {
        prop_assert_eq!(weir::oracle::bitset::scc_query(&left, &right), expect_word_and(&left, &right));
    }
}