vyre-reference 0.6.2

Pure-Rust CPU reference interpreter for vyre IR; byte-identical oracle for backend conformance
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Dual CPU references for `primitive.arith.add`.

/// Operation ID for wrapping-add dual references.
pub const OP_ID: &str = "primitive.arith.add";

/// Dual-reference marker for wrapping addition.
pub struct AddDualReference;

define_arith_dual_reference!(
    AddDualReference,
    u32::wrapping_add,
    super::super::common::wrapping_add_bits_reference
);