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::CompareLt;

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