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
use crate::{dual_impls::common, workgroup::Memory};
use vyre_primitives::CompareEq;

impl common::ReferenceEvaluator for CompareEq {
    fn evaluate(&self, inputs: &[Memory]) -> Result<Memory, common::EvalError> {
        let (left, right) = common::two_inputs(inputs, "compare_eq")?;
        let matched =
            common::read_u32(left, "compare_eq")? == common::read_u32(right, "compare_eq")?;
        Ok(common::scalar(u32::from(matched)))
    }
}