Struct ProgramStats 

pub struct ProgramStats {

    pub node_count: usize,
    pub region_count: u32,
    pub call_count: u32,
    pub opaque_count: u32,
    pub top_level_regions: u32,
    pub static_storage_bytes: u64,
    pub instruction_count: u64,
    pub memory_op_count: u64,
    pub atomic_op_count: u64,
    pub control_flow_count: u64,
    pub register_pressure_estimate: u32,
    pub capability_bits: u32,
    pub node_kinds_present: u32,
}

Aggregated statistics computed from a single walk of a Program.

This struct is cached inside Program via a std::sync::OnceLock so that planning passes (execution plan, capability scan, provenance, fusion) can read constant-time summaries instead of re-walking the IR.

Fields

node_count: usize

Total statement-node count (includes nested children).

region_count: u32

Number of Node::Region nodes in the full tree.

call_count: u32

Number of Expr::Call expressions.

opaque_count: u32

Number of Node::Opaque nodes and Expr::Opaque expressions.

top_level_regions: u32

Number of top-level Node::Region wrappers in program.entry().

static_storage_bytes: u64

Sum of statically-known buffer byte sizes.

instruction_count: u64

Estimated scalar/vector IR instruction count.

memory_op_count: u64

Number of explicit memory operations (loads, stores, async copies).

atomic_op_count: u64

Number of atomic read-modify-write expressions.

control_flow_count: u64

Number of control-flow operations.

register_pressure_estimate: u32

Coarse register pressure estimate from simultaneously named SSA-ish values.

capability_bits: u32

Bitmask of capability requirements (see CAP_* constants).

node_kinds_present: u32

Bitset of every Node variant observed during the stats walk (see the NODE_KIND_* constants in this module). Lets pass analyze_impl predicates do an O(1) bit test against the shared, OnceLock-cached ProgramStats instead of recursing the entry tree just to check ‘does this program contain at least one Loop / If / Atomic / etc.’.

Implementations

impl ProgramStats

pub fn subgroup_ops(&self) -> bool

True when the program uses subgroup operations.

pub fn f16(&self) -> bool

True when the program uses IEEE-754 binary16 values.

pub fn bf16(&self) -> bool

True when the program uses bfloat16 values.

pub fn f64(&self) -> bool

True when the program uses IEEE-754 binary64 values.

pub fn async_dispatch(&self) -> bool

True when the program requires async dispatch semantics.

pub fn indirect_dispatch(&self) -> bool

True when the program requires indirect dispatch support.

pub fn tensor_ops(&self) -> bool

True when the program uses tensor / tensor-core operand types.

pub fn trap(&self) -> bool

True when the program uses Node::Trap.

pub fn distributed_collectives(&self) -> bool

True when the program uses distributed collective communication nodes.

pub fn has_any_node_kind(&self, mask: u32) -> bool

True when at least one node of any kind in mask was observed in the stats walk. Use the NODE_KIND_* constants to compose the mask:

use vyre_foundation::ir::stats::{NODE_KIND_LOOP, NODE_KIND_IF};
if program.stats().has_any_node_kind(NODE_KIND_LOOP | NODE_KIND_IF) {
    // walk the tree
}

pub fn has_node_let(&self) -> bool

True when the program contains at least one Node::Let.

pub fn has_node_loop(&self) -> bool

True when the program contains at least one Node::Loop.

pub fn has_node_if(&self) -> bool

True when the program contains at least one Node::If.

pub fn has_node_store(&self) -> bool

True when the program contains at least one Node::Store.

pub fn has_node_barrier(&self) -> bool

True when the program contains at least one Node::Barrier.

pub fn has_node_assign(&self) -> bool

True when the program contains at least one Node::Assign.

pub fn has_node_region(&self) -> bool

True when the program contains at least one Node::Region.

Trait Implementations

impl Clone for ProgramStats

fn clone(&self) -> ProgramStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProgramStats

impl Debug for ProgramStats

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

Formats the value using the given formatter.

impl Default for ProgramStats

fn default() -> ProgramStats

Returns the “default value” for a type.

impl Eq for ProgramStats

impl PartialEq for ProgramStats

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProgramStats