Skip to main content

residual_from_source

logicaffeine_compile::codegen_sva::fabric_rtl

Function residual_from_source 

Source 
pub fn residual_from_source(
    src: &str,
    fn_name: &str,
) -> (Vec<FabricOp>, usize, usize)
Expand description

The genuine Futamura P1 lowering. Compile src with the real compiler, take the straight-line register bytecode of function fn_name (its dispatch-free residual), and lower it register→SSA to a dataflow op-list. Parameters become circuit inputs; LoadConst becomes a baked-in constant; Add/Sub/Mul become wired functional units. Also returns the input arity (parameter count). Panics on a non-straight-line op (control flow / unsupported) — the honest boundary of this block.