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

use super::CseCtx;
use crate::ir_inner::model::program::Program;

/// Run local value-numbering CSE over pure expressions, reusing an existing
/// scratchpad context.
///
/// The context is automatically [`clear`](CseCtx::clear)ed before use so that
/// callers can amortize allocation costs across multiple programs.
#[must_use]
#[inline]
pub fn cse_into(program: Program, ctx: &mut CseCtx) -> Program {
    ctx.clear();
    program.with_rewritten_entry(ctx.nodes(program.entry()))
}

/// Run local value-numbering CSE over pure expressions.
#[must_use]
#[inline]
pub fn cse(program: Program) -> Program {
    let mut ctx = CseCtx::default();
    cse_into(program, &mut ctx)
}