Enum CellKind 

pub enum CellKind {
    Arith(AluOp, Src2, Src2),
    Select(CmpKind, Src2, Src2, Src2, Src2),
    Func(FuncUnit, Src2, Src2),
    Simd(VecOp, LaneTy, Src2, Src2),
    Mem(MemOp, Src2, Src2),
}

A tile’s optional compute: an arithmetic op or a predicated select over its visible sources.

Variants

Arith(AluOp, Src2, Src2)

Select(CmpKind, Src2, Src2, Src2, Src2)

Func(FuncUnit, Src2, Src2)

A FUNCTIONAL-UNIT tile — division/mod/floor-div, magic-reciprocal high-multiply, power, or a float op (FuncUnit). Combinational at the RTL level (a synthesized divider / the FPU’s combinational form), so it settles in the same 1-clock feed-forward pass as Arith — but it is NOT SAT-lowered (bitblast has no bvsdiv/bvsrem), so a Func-bearing grid is proven by eval_grid ≡ VM + iverilog, exactly as the decision fabric proves division (emit_decision_fabric_verilog + microprice_rtl_matches_vm_under_iverilog).

Simd(VecOp, LaneTy, Src2, Src2)

A packed-SIMD tile — a VecOp (add / bitwise) over two operands, computed lane-wise for the given LaneTy (Add = the carry-isolated SWAR form). Combinational, so it settles in the same 1-clock pass as Arith; but it is NOT SAT-lowered here (proven ≡ lane-wise by simd_tile_lock + iverilog), so a Simd-bearing grid is combinational-for-emission yet refused by the reconfig SAT (like Func).

Mem(MemOp, Src2, Src2)

A MEMORY (state-plane) tile — a read/write/alloc against ONE shared heap that all Mem tiles access (the dmem-style block RAM the soft-core already carries). The heap mirrors the VM/model layout ([len, e0..eN]), so collections/structs/text/CRDT compose from Mem + Arith tiles exactly as the whole-program model (fabric_rtl.rs exec_ops) does. Stateful (a synchronous BRAM), so it is NOT SAT-lowered and is NOT combinational — proven by eval_grid_with_heap ≡ the model ≡ VM + iverilog. The tile’s two Src2 operands are (A, B): HeapRead reads heap[A], HeapWrite does heap[A] = B and drives B, HeapAlloc grows the heap by A words and drives the new base pointer.

Trait Implementations

impl Clone for CellKind

fn clone(&self) -> CellKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CellKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for CellKind