vyre-foundation 0.4.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
25
26

//! Algebraic / peephole catalog (Phase 4A).
//!
//! Cost-monotone-down rewrites derived from algebraic identities:
//! constant folding, strength reduction, spec-driven rule firing,
//! canonical-form normalization, and atomic-shape normalization.

/// Collapse identity-op Relaxed atomic RMW to plain `Expr::Load`
/// (ROADMAP A36 — narrow atomic minimization that needs no alias
/// proof).
pub mod atomic_minimize;
/// Canonical-form rewrite (audit P0 #32 — registered ProgramPass).
pub mod canonicalize;
/// Canonicalization transform engine — pure IR-to-IR fn body used by the
/// `CanonicalizePass` ProgramPass.
pub mod canonicalize_engine;
/// Compile-time constant folding.
pub mod const_fold;
/// Hardware quirk normalization (atomic ordering / scope edge cases).
pub mod normalize_atomics;
/// Mixed-precision + transcendental fast-path emit hints
/// (ROADMAP G1 + G5 foundation half).
pub mod precision_hint;
/// Algebraic rewrites derived from operation specifications.
pub mod spec_driven;
/// Multiplication strength reduction.
pub mod strength_reduce;