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
pub(crate) fn read_unary(input: &[u8]) -> u32 {
    assert!(
        input.len() >= 4,
        "read_unary called with {} bytes; expected at least 4 bytes",
        input.len()
    );
    u32::from_le_bytes([input[0], input[1], input[2], input[3]])
}