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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

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

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

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