Skip to main content

eval_decision_fabric_heap

logicaffeine_compile::codegen_sva::fabric_rtl

Function eval_decision_fabric_heap 

Source 
pub fn eval_decision_fabric_heap(
    df: &DecisionFabric,
    inputs: &[i64],
    heap: &mut Vec<i64>,
) -> i64
Expand description

Evaluate a decision fabric that reads the shared HEAP (the state plane). heap mirrors the VM’s exact layout — a collection at pointer p is heap[p] = length then its elements at heap[p+1..=p+len] (1-based) — so this evaluation is bit-identical to the VM’s Int. A LoopCell::HeapRead reads heap[addr]; length of xs is HeapRead(p), item i of xs is HeapRead(p + i). Reads are pure given the input heap, so the fabric stays a combinational DAG (heap WRITES/ALLOC are the next increment).