Struct RequiredCapabilities 

#[non_exhaustive]
pub struct RequiredCapabilities {
    pub subgroup_ops: bool,
    pub f16: bool,
    pub bf16: bool,
    pub f64: bool,
    pub async_dispatch: bool,
    pub indirect_dispatch: bool,
    pub tensor_ops: bool,
    pub trap: bool,
    pub max_workgroup_size: [u32; 3],
    pub static_storage_bytes: u64,
}

Capabilities a Program needs from whichever backend executes it.

This is a structured replacement for hardcoded “exempt op” lists. A universal diff harness asks scan(program) which bits the program needs, asks the backend which bits it advertises, and skips the pair when they disagree. The result reasons are attached for telemetry.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

subgroup_ops: bool

The program invokes Expr::SubgroupAdd, SubgroupBallot, or SubgroupShuffle. Lowering paths need the SUBGROUP / wave-op feature on the target device.

f16: bool

The program uses any IEEE 754 binary16 operand.

bf16: bool

The program uses any bfloat16 operand.

f64: bool

The program uses 64-bit floats.

async_dispatch: bool

The program dispatches async DMA (Node::AsyncLoad / AsyncStore).

indirect_dispatch: bool

The program emits Node::IndirectDispatch.

tensor_ops: bool

The program reaches into tensor / tensor-core operand types.

trap: bool

The program uses a Node::Trap — backend needs trap propagation.

max_workgroup_size: [u32; 3]

Maximum workgroup size declared by the program across all axes.

static_storage_bytes: u64

Sum of BufferDecl::count * sizeof(DataType) across every buffer whose size can be computed statically. 0 means every buffer has dynamic size.

Implementations

impl RequiredCapabilities

pub fn none() -> Self

Empty set — the Program needs nothing beyond the minimum substrate.

pub fn union(self, other: RequiredCapabilities) -> Self

Build the union of two capability sets (field-wise OR and max).

Trait Implementations

impl Clone for RequiredCapabilities

fn clone(&self) -> RequiredCapabilities

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RequiredCapabilities

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

Formats the value using the given formatter.

impl Default for RequiredCapabilities

fn default() -> RequiredCapabilities

Returns the “default value” for a type.

impl PartialEq for RequiredCapabilities

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

impl StructuralPartialEq for RequiredCapabilities