Trait CustomUnrollOp 

pub trait CustomUnrollOp: Op {
    // Required method
    fn unroll(&self, ctx: &mut Context, state: &mut UnrollState);

    // Provided method
    fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
       where Self: Sized { ... }
}

Required Methods

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

Provided Methods

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

Trait Implementations

impl OpInterfaceMarker for dyn CustomUnrollOp

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl CustomUnrollOp for CompositeExtractOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for CompositeInsertOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for DeclareVariableOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for IndexOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for LoadOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for ReinterpretCastOp

A reinterpret changes the lane count with the lane width, so one side’s pieces are not the other’s: a Vector<u32, 2> is a Vector<e4m3, 8>. When only one side exceeds the maximum, the wide side is split at the unroll factor and the narrow side is cut into matching sub-vectors with extracts and constructs. When both exceed it, the input’s pieces are reinterpreted in place and their lanes regrouped.

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for StoreOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for VectorExtractDynamicOp

A dynamic index reaches a lane the pass cannot name at compile time, so the unrolled parts are all searched: the index splits into the part it lands in and the lane within that part, and a select chain picks the part’s answer. The frontend documents both dynamic accessors as very slow already, and the chain is over the (comptime) number of parts, not the lanes.

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

impl CustomUnrollOp for VectorInsertDynamicOp

fn unroll(&self, ctx: &mut Context, state: &mut UnrollState)

Implementors