Skip to main content

with_v2_optimized_program

logicaffeine_compile::ui_bridge

Function with_v2_optimized_program 

Source 
pub fn with_v2_optimized_program<R>(
    input: &str,
    f: impl for<'a> FnOnce(Result<(&'a [Stmt<'a>], &'a TypeRegistry, PolicyRegistry), String>, &'a Interner) -> R,
) -> R
Expand description

Like with_optimized_program, but the program runs through the ARCHITECT pipeline (optimize_program_v2): equality saturation with kernel-certified rewrites in place of GVN + LICM + closed-form. The differential gates in phase_exodia_architect.rs hold this path to the raw tree-walker’s outcomes.