vyre-foundation 0.6.1

Foundation layer: IR, type system, memory model, wire format. Zero application semantics. Part of the vyre GPU compiler.
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

//! Integration test crate for the containing Vyre package.

use super::*;

#[test]
fn div_one_by_constant_folds_to_reciprocal_literal() {
    // 1.0 / 4.0 → LitF32(0.25)
    let result = reduce_expr(&Expr::div(Expr::f32(1.0), Expr::f32(4.0)));
    assert_eq!(
        result,
        Some(Expr::f32(0.25)),
        "Div(1.0, 4.0) must fold to LitF32(0.25)"
    );
}

#[test]
fn div_one_by_zero_does_not_fold() {
    // 1.0 / 0.0 → stays as-is (div-by-zero is the IR's defined trap path)
    let result = reduce_expr(&Expr::div(Expr::f32(1.0), Expr::f32(0.0)));
    assert!(
        result.is_none(),
        "Div(1.0, 0.0) must NOT fold  -  div-by-zero is a trap"
    );
}