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

//! Deterministic u32 boundary grids for witnessed algebra checks.

/// Coarse u32 grid plus boundary-adjacent sentinels.
#[inline]
pub(crate) fn boundary_grid_u32() -> Vec<u32> {
    let mut grid = Vec::with_capacity(300);
    for i in 0..256 {
        grid.push((i as u32) << 24);
    }
    extend_powers_of_two(&mut grid);
    grid.extend_from_slice(&[
        u32::MAX / 2,
        0x8000_0000,
        0xFF00_0001,
        0xFF7F_FFFF,
        0xFFFF_0000,
        u32::MAX - 1,
        0xFFFF_FFFE,
        u32::MAX,
    ]);
    grid.sort_unstable();
    grid.dedup();
    grid
}

fn extend_powers_of_two(grid: &mut Vec<u32>) {
    for shift in 0..=29 {
        grid.push(1u32 << shift);
    }
}