Enum ArrayRole 

pub enum ArrayRole {
    Heap,
    FrameStack,
    ConfigImage,
    BlockTable,
    RegisterFile,
    Scratch,
}

What an array is FOR — which is what decides whether it can live off-chip.

Off-chip residence is not a property of size. It is a property of access pattern: an array that is read every cycle by combinational logic cannot cross a package boundary at any capacity, while one the FSM already reads through an ISSUE/WAIT/LATCH triplet can absorb an N-cycle transaction as a latency change to a structure that already exists.

Variants

Heap

The program’s runtime state plane (heap_*). Bulk, latency-tolerant, already registered.

FrameStack

The call-frame spill area (sfile_*), touched only at Call and Return.

ConfigImage

The program image itself (cell_*) — what the loader streams in and the interpreter walks.

BlockTable

Per-block metadata (blk_*, wr_*, liv_reg, arg_op): small, random-access, hot.

RegisterFile

The register file and its write buffer (file_*, param_buf, wbuf_*).

Scratch

Per-block value scratch (v_*), the constant table, and the tiny return stacks.

Trait Implementations

impl Clone for ArrayRole

fn clone(&self) -> ArrayRole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayRole

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

Formats the value using the given formatter.

impl PartialEq for ArrayRole

fn eq(&self, other: &ArrayRole) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ArrayRole

impl Eq for ArrayRole

impl StructuralPartialEq for ArrayRole