Skip to main content

eval_program_cfg_fabric

Function eval_program_cfg_fabric 

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

Evaluate a whole-function CFG fabric: seed the register file with params, then let the block-sequencing controller walk the graph — each block runs its wired residual over its live-in registers, commits its writes to the file, and its terminator predicate picks the successor — until a block returns. Equals the VM interpreting the same function (proven by fabric_cfg_lock).