Skip to main content

eval_program_cfg_fabric_traced

logicaffeine_compile::codegen_sva::fabric_rtl

Function eval_program_cfg_fabric_traced 

Source 
pub fn eval_program_cfg_fabric_traced(
    pf: &ProgramCfgFabric,
    params: &[i64],
) -> (i64, Vec<i64>)
Expand description

The same walk, reporting the returned value AND the sequence of values SHOWN along the path taken.

★ ONE DEFINITION, TWO VIEWS. A ## Main is judged by its output STREAM, not by a final register, so a fabric lowering of Main is only ≡VM if the shown sequence matches — including the fact that a branchy Main shows different things down different paths. Splitting this into a second evaluator would have put the block-walking rules in two places, and two copies of a rule disagree the first time either moves.