vyre-reference 0.4.1

Pure-Rust CPU reference interpreter for vyre IR — byte-identical oracle for backend conformance and small-data fallback
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

use crate::{dual_impls::common, workgroup::Memory};
use vyre_primitives::PatternMatchLiteral;

impl common::ReferenceEvaluator for PatternMatchLiteral {
    fn evaluate(&self, inputs: &[Memory]) -> Result<Memory, common::EvalError> {
        let haystack = common::one_input(inputs, "scan_literal")?;
        if self.literal.is_empty() {
            return Err(common::EvalError::new(
                "primitive `scan_literal` has empty literal. Fix: pass a non-empty literal.",
            ));
        }
        let mut offsets = Vec::new();
        for offset in 0..=haystack.len().saturating_sub(self.literal.len()) {
            if haystack[offset..].starts_with(&self.literal) {
                offsets.push(u32::try_from(offset).map_err(|_| {
                    common::EvalError::new(
                        "primitive `scan_literal` offset exceeds u32. Fix: split haystacks before 4 GiB.",
                    )
                })?);
            }
        }
        Ok(common::write_u32s(offsets))
    }
}