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

//! Assembly of built-in defendant catalogs.

pub mod primitive_bitwise_and;
pub mod primitive_bitwise_clz;
pub mod primitive_bitwise_ctz;
pub mod primitive_bitwise_extract_bits;
pub mod primitive_bitwise_insert_bits;
pub mod primitive_bitwise_not;
pub mod primitive_bitwise_or;
pub mod primitive_bitwise_popcount;
pub mod primitive_bitwise_popcount_sw;
pub mod primitive_bitwise_reverse_bits;
pub mod primitive_bitwise_rotl;
pub mod primitive_bitwise_rotr;
pub mod primitive_bitwise_shl;
pub mod primitive_bitwise_shr;
pub mod primitive_bitwise_xor;
pub mod primitive_compare_eq;
pub mod primitive_compare_ge;
pub mod primitive_compare_gt;
pub mod primitive_compare_le;
pub mod primitive_compare_lt;
pub mod primitive_compare_ne;
pub mod primitive_compare_select;
pub mod primitive_math_abs;
pub mod primitive_math_add;
pub mod primitive_math_clamp;
pub mod primitive_math_div;
pub mod primitive_math_max;
pub mod primitive_math_min;
pub mod primitive_math_mod;
pub mod primitive_math_mul;
pub mod primitive_math_negate;
pub mod primitive_math_sub;

#[must_use]
#[inline]
pub(crate) fn built_in_catalogs() -> Vec<crate::adversarial::defender::DefendantCatalog> {
    vec![
        primitive_bitwise_and::catalog_primitive_bitwise_and(),
        primitive_bitwise_clz::catalog_primitive_bitwise_clz(),
        primitive_bitwise_ctz::catalog_primitive_bitwise_ctz(),
        primitive_bitwise_extract_bits::catalog_primitive_bitwise_extract_bits(),
        primitive_bitwise_insert_bits::catalog_primitive_bitwise_insert_bits(),
        primitive_bitwise_not::catalog_primitive_bitwise_not(),
        primitive_bitwise_or::catalog_primitive_bitwise_or(),
        primitive_bitwise_popcount::catalog_primitive_bitwise_popcount(),
        primitive_bitwise_popcount_sw::catalog_primitive_bitwise_popcount_sw(),
        primitive_bitwise_reverse_bits::catalog_primitive_bitwise_reverse_bits(),
        primitive_bitwise_rotl::catalog_primitive_bitwise_rotl(),
        primitive_bitwise_rotr::catalog_primitive_bitwise_rotr(),
        primitive_bitwise_shl::catalog_primitive_bitwise_shl(),
        primitive_bitwise_shr::catalog_primitive_bitwise_shr(),
        primitive_bitwise_xor::catalog_primitive_bitwise_xor(),
        primitive_compare_eq::catalog_primitive_compare_eq(),
        primitive_compare_ge::catalog_primitive_compare_ge(),
        primitive_compare_gt::catalog_primitive_compare_gt(),
        primitive_compare_le::catalog_primitive_compare_le(),
        primitive_compare_lt::catalog_primitive_compare_lt(),
        primitive_compare_ne::catalog_primitive_compare_ne(),
        primitive_compare_select::catalog_primitive_compare_select(),
        primitive_math_abs::catalog_primitive_math_abs(),
        primitive_math_add::catalog_primitive_math_add(),
        primitive_math_clamp::catalog_primitive_math_clamp(),
        primitive_math_div::catalog_primitive_math_div(),
        primitive_math_max::catalog_primitive_math_max(),
        primitive_math_min::catalog_primitive_math_min(),
        primitive_math_mod::catalog_primitive_math_mod(),
        primitive_math_mul::catalog_primitive_math_mul(),
        primitive_math_negate::catalog_primitive_math_negate(),
        primitive_math_sub::catalog_primitive_math_sub(),
    ]
}