Struct WpeDemands 

pub struct WpeDemands {
    pub blocks: usize,
    pub registers: usize,
    pub cells: usize,
    pub cells_per_block: usize,
    pub writes: usize,
    pub liveins: usize,
    pub call_args: usize,
    pub konsts: usize,
    pub depth: usize,
    pub heap_words: usize,
}

What the corpus actually demands — every field a MEASURED ceiling across the lowering benchmark suite, never a guess. depth and heap_words are the two that cannot be read off a config and must be obtained by RUNNING the program; they are also the two the hardware gets silently wrong (the engine advances sp past DEPTH with no bound check), which is how a DEPTH=4 engine once shipped against DEPTH=8 programs and answered fib with 8 instead of 21.

Fields

blocks: usize

registers: usize

cells: usize

cells_per_block: usize

writes: usize

liveins: usize

call_args: usize

konsts: usize

depth: usize

heap_words: usize

Implementations

impl WpeDemands

pub fn of(cfg: &WProgConfig, args: &[&[i64]]) -> WpeDemands

What one program demands of an engine: every table the loader receives, read off the image it is sent as, and the frame depth and heap words its runs over args reach — the two a config cannot tell, and the two the engine traps on at run time rather than refusing at load.

pub fn loaded(cfg: &WProgConfig) -> WpeDemands

The demands a host can read off a config without running it: every table the loader receives. Depth and heap words are zero — the engine traps those on die.

pub const fn solve(&self) -> WpeProfile

The smallest profile that covers every measured demand with stated headroom.

const so ASIC_PROFILE is derived rather than transcribed.

pub fn smallest_covering_profile(&self) -> WpeProfile

Non-const alias kept for callers that read better this way.

Trait Implementations

impl Clone for WpeDemands

fn clone(&self) -> WpeDemands

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WpeDemands

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

Formats the value using the given formatter.

impl PartialEq for WpeDemands

fn eq(&self, other: &WpeDemands) -> 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 WpeDemands

impl Eq for WpeDemands

impl StructuralPartialEq for WpeDemands