Struct ArenaRegions 

pub struct ArenaRegions {
    pub const_data_len: usize,
    pub in_ptr: u32,
    pub in_len: u32,
    pub out_ptr: u32,
    pub out_cap: u32,
    pub scratch_base: u32,
    pub arena_size: usize,
}

Arena region boundaries the in-place decode selects between. The arena layout (shared by both AOT backends) is [const_data | pad | in_buf | pad | out_buf | pad | scratch]; the returned root may live in any region (S1 only ever sees the param-sourced in_buf list, but the selection is generic so S2+ can return out_buf / scratch roots through the same gate).

Fields

const_data_len: usize

Length of the const-data section at arena offset 0.

in_ptr: u32

Input region start (in_ptr) and length.

in_len: u32

out_ptr: u32

Output region start (out_ptr) and capacity.

out_cap: u32

scratch_base: u32

Scratch region start; it runs to arena_size.

arena_size: usize

Total arena size in bytes.

Implementations

impl ArenaRegions

pub fn multi_region(&self) -> Result<MultiRegion, VerifyError>

Build the four-region MultiRegion map in absolute arena coordinates from the dispatch’s region boundaries. Every slot pointer the F1 ABI emits is arena-absolute, so the verifier walks the whole arena and classifies each followed span into one of const / in / out / scratch. The ABI lays the regions out disjointly as [const | pad | in | pad | out | pad | scratch]; we pass each as a half-open [start, end) window.

Trait Implementations

impl Clone for ArenaRegions

fn clone(&self) -> ArenaRegions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ArenaRegions

impl Debug for ArenaRegions

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

Formats the value using the given formatter.