vyre-reference 0.6.5

Pure-Rust CPU reference interpreter for vyre IR; byte-identical oracle for backend conformance
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
72
73
74
75
76
77
78
79

//! Generated differential coverage for registered dual references.

use proptest::prelude::*;
use vyre_reference::resolve_dual;

fn binary_input(left: u32, right: u32) -> Vec<u8> {
    let mut input = Vec::with_capacity(8);
    input.extend_from_slice(&left.to_le_bytes());
    input.extend_from_slice(&right.to_le_bytes());
    input
}

proptest! {
    #[test]
    fn generated_bitwise_dual_references_agree(left in any::<u32>(), right in any::<u32>()) {
        for op_id in [
            "primitive.bitwise.xor",
            "primitive.bitwise.and",
            "primitive.bitwise.or",
        ] {
            let (reference_a, reference_b) = resolve_dual(op_id)
                .unwrap_or_else(|| panic!("Fix: {op_id} must have two registered references"));
            let input = binary_input(left, right);

            prop_assert_eq!(
                reference_a(&input),
                reference_b(&input),
                "Fix: dual references diverged for {} on left={:#x}, right={:#x}",
                op_id,
                left,
                right
            );
        }
    }

    #[test]
    fn generated_compare_dual_references_match_boolean_contract(left in any::<u32>(), right in any::<u32>()) {
        for (op_id, expected) in [
            ("primitive.compare.eq", left == right),
            ("primitive.compare.lt", left < right),
        ] {
            let (reference_a, reference_b) = resolve_dual(op_id)
                .unwrap_or_else(|| panic!("Fix: {op_id} must have two registered references"));
            let input = binary_input(left, right);
            let expected_bytes = u32::from(expected).to_le_bytes().to_vec();

            prop_assert_eq!(
                reference_a(&input),
                reference_b(&input),
                "Fix: compare dual references diverged for {} on left={:#x}, right={:#x}",
                op_id,
                left,
                right
            );
            prop_assert_eq!(
                reference_a(&input),
                expected_bytes,
                "Fix: compare dual reference returned the wrong boolean word for {} on left={:#x}, right={:#x}",
                op_id,
                left,
                right
            );
        }
    }

    #[test]
    fn generated_unary_dual_references_agree(value in any::<u32>()) {
        let (reference_a, reference_b) = resolve_dual("primitive.bitwise.not")
            .expect("Fix: primitive.bitwise.not must have two registered references");
        let input = value.to_le_bytes().to_vec();

        prop_assert_eq!(
            reference_a(&input),
            reference_b(&input),
            "Fix: dual not references diverged for value={:#x}",
            value
        );
    }
}