Skip to main content

eval_while_fabric

logicaffeine_compile::codegen_sva::fabric_rtl

Function eval_while_fabric 

Source 
pub fn eval_while_fabric(wf: &WhileFabric, params: &[i64]) -> i64
Expand description

Evaluate the while-CGRA: initialise the state, then WHILE the fabric predicate holds apply the body and latch. 64-bit wrapping — the VM’s Int mod 2⁶⁴. A guard bounds non-termination.