vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
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

// primitive.bitwise.extract_bits — binary u32 operation.
// Expected values are hand-computed from the operation definition.
test_binary_op!(
    test_extract_bits,
    "primitive.bitwise.extract_bits",
    [
        (0x00000000, 0x00000000, 0x00000000, "zero vs zero"),
        (
            0x00000001,
            0x00000000,
            0x00000000,
            "one vs zero (also tests div-by-zero)"
        ),
        (
            0xFFFFFFFF,
            0x00000001,
            0x00000000,
            "max / all-bits-set vs one"
        ),
        (0xAAAAAAAA, 0x55555555, 0x00000155, "alternating patterns"),
        (
            0x55555555,
            0xAAAAAAAA,
            0x00155555,
            "inverse alternating patterns"
        ),
        (0x80000000, 0x80000000, 0x00000000, "sign-bit vs sign-bit"),
        (0x00000007, 0x00000003, 0x00000000, "prime (7) vs prime (3)"),
        (
            0x0000000C,
            0x00000005,
            0x00000000,
            "composite (12) vs prime (5)"
        ),
    ]
);

// primitive.bitwise.insert_bits — binary u32 operation.
// Expected values are hand-computed from the operation definition.
test_binary_op!(
    test_insert_bits,
    "primitive.bitwise.insert_bits",
    [
        (0x00000000, 0x00000000, 0x00000000, "zero vs zero"),
        (
            0x00000001,
            0x00000000,
            0x00000000,
            "one vs zero (also tests div-by-zero)"
        ),
        (
            0xFFFFFFFF,
            0x00000001,
            0x80000001,
            "max / all-bits-set vs one"
        ),
        (0xAAAAAAAA, 0x55555555, 0x2AAAA955, "alternating patterns"),
        (
            0x55555555,
            0xAAAAAAAA,
            0xAAAAAAAA,
            "inverse alternating patterns"
        ),
        (0x80000000, 0x80000000, 0x80000000, "sign-bit vs sign-bit"),
        (0x00000007, 0x00000003, 0x00000003, "prime (7) vs prime (3)"),
        (
            0x0000000C,
            0x00000005,
            0x00000005,
            "composite (12) vs prime (5)"
        ),
    ]
);