Enum Instruction

Source

pub enum Instruction {
Show 245 variants    Nop,
    Assert,
    AssertWithError(ErrorMsg),
    AssertEq,
    AssertEqWithError(ErrorMsg),
    AssertEqw,
    AssertEqwWithError(ErrorMsg),
    Assertz,
    AssertzWithError(ErrorMsg),
    Add,
    AddImm(ImmFelt),
    Sub,
    SubImm(ImmFelt),
    Mul,
    MulImm(ImmFelt),
    Div,
    DivImm(ImmFelt),
    Neg,
    ILog2,
    Inv,
    Incr,
    Pow2,
    Exp,
    ExpImm(ImmFelt),
    ExpBitLength(u8),
    Not,
    And,
    Or,
    Xor,
    Eq,
    EqImm(ImmFelt),
    Neq,
    NeqImm(ImmFelt),
    Eqw,
    Lt,
    LtImm(ImmFelt),
    Lte,
    LteImm(ImmFelt),
    Gt,
    GtImm(ImmFelt),
    Gte,
    GteImm(ImmFelt),
    IsOdd,
    Ext2Add,
    Ext2Sub,
    Ext2Mul,
    Ext2Div,
    Ext2Neg,
    Ext2Inv,
    U32Test,
    U32TestW,
    U32Assert,
    U32AssertWithError(ErrorMsg),
    U32Assert2,
    U32Assert2WithError(ErrorMsg),
    U32AssertW,
    U32AssertWWithError(ErrorMsg),
    U32Split,
    U32Cast,
    U32WrappingAdd,
    U32WrappingAddImm(ImmU32),
    U32OverflowingAdd,
    U32OverflowingAddImm(ImmU32),
    U32WideningAdd,
    U32WideningAddImm(ImmU32),
    U32OverflowingAdd3,
    U32WideningAdd3,
    U32WrappingAdd3,
    U32WrappingSub,
    U32WrappingSubImm(ImmU32),
    U32OverflowingSub,
    U32OverflowingSubImm(ImmU32),
    U32WrappingMul,
    U32WrappingMulImm(ImmU32),
    U32WideningMul,
    U32WideningMulImm(ImmU32),
    U32WideningMadd,
    U32WrappingMadd,
    U32Div,
    U32DivImm(ImmU32),
    U32Mod,
    U32ModImm(ImmU32),
    U32DivMod,
    U32DivModImm(ImmU32),
    U32And,
    U32Or,
    U32Xor,
    U32Not,
    U32Shr,
    U32ShrImm(ImmU8),
    U32Shl,
    U32ShlImm(ImmU8),
    U32Rotr,
    U32RotrImm(ImmU8),
    U32Rotl,
    U32RotlImm(ImmU8),
    U32Popcnt,
    U32Ctz,
    U32Clz,
    U32Clo,
    U32Cto,
    U32Lt,
    U32Lte,
    U32Gt,
    U32Gte,
    U32Min,
    U32Max,
    Drop,
    DropW,
    PadW,
    Dup0,
    Dup1,
    Dup2,
    Dup3,
    Dup4,
    Dup5,
    Dup6,
    Dup7,
    Dup8,
    Dup9,
    Dup10,
    Dup11,
    Dup12,
    Dup13,
    Dup14,
    Dup15,
    DupW0,
    DupW1,
    DupW2,
    DupW3,
    Swap1,
    Swap2,
    Swap3,
    Swap4,
    Swap5,
    Swap6,
    Swap7,
    Swap8,
    Swap9,
    Swap10,
    Swap11,
    Swap12,
    Swap13,
    Swap14,
    Swap15,
    SwapW1,
    SwapW2,
    SwapW3,
    SwapDw,
    MovUp2,
    MovUp3,
    MovUp4,
    MovUp5,
    MovUp6,
    MovUp7,
    MovUp8,
    MovUp9,
    MovUp10,
    MovUp11,
    MovUp12,
    MovUp13,
    MovUp14,
    MovUp15,
    MovUpW2,
    MovUpW3,
    MovDn2,
    MovDn3,
    MovDn4,
    MovDn5,
    MovDn6,
    MovDn7,
    MovDn8,
    MovDn9,
    MovDn10,
    MovDn11,
    MovDn12,
    MovDn13,
    MovDn14,
    MovDn15,
    MovDnW2,
    MovDnW3,
    Reversew,
    Reversedw,
    CSwap,
    CSwapW,
    CDrop,
    CDropW,
    Push(Immediate<PushValue>),
    PushSlice(Immediate<WordValue>, Range<usize>),
    PushFeltList(Vec<Felt>),
    Locaddr(ImmU16),
    Sdepth,
    Caller,
    Clk,
    MemLoad,
    MemLoadImm(ImmU32),
    MemLoadWBe,
    MemLoadWBeImm(ImmU32),
    MemLoadWLe,
    MemLoadWLeImm(ImmU32),
    LocLoad(ImmU16),
    LocLoadWBe(ImmU16),
    LocLoadWLe(ImmU16),
    MemStore,
    MemStoreImm(ImmU32),
    MemStoreWBe,
    MemStoreWBeImm(ImmU32),
    MemStoreWLe,
    MemStoreWLeImm(ImmU32),
    LocStore(ImmU16),
    LocStoreWBe(ImmU16),
    LocStoreWLe(ImmU16),
    MemStream,
    AdvPipe,
    AdvPush,
    AdvPushW,
    AdvLoadW,
    SysEvent(SystemEventNode),
    Hash,
    HMerge,
    HPerm,
    MTreeGet,
    MTreeSet,
    MTreeMerge,
    MTreeVerify,
    MTreeVerifyWithError(ErrorMsg),
    CryptoStream,
    FriExt2Fold4,
    HornerBase,
    HornerExt,
    EvalCircuit,
    LogDeferred,
    Exec(InvocationTarget),
    Call(InvocationTarget),
    SysCall(InvocationTarget),
    DynExec,
    DynCall,
    ProcRef(InvocationTarget),
    DebugVar(DebugVarInfo),
    DebugInlineCall(DebugInlineCallInfo),
    DebugInlineCallClear,
    Emit,
    EmitImm(EventImmediate),
    Trace,
    TraceImm(EventImmediate),
}

Expand description

Represents the set of primitive instructions in Miden Assembly syntax.

NOTE: For control flow instructions, see crate::ast::Op.

Variants§

§

DebugVar(DebugVarInfo)

Records a source variable location at this point in the generated operation stream.

§

DebugInlineCall(DebugInlineCallInfo)

Appends one source function to the inline call chain active for subsequent operations.

Frames are emitted from innermost to outermost. This compiler-internal marker has no VM execution semantics; the assembler stores the active chain on each generated source-node occurrence until DebugInlineCallClear is encountered.

§

DebugInlineCallClear

Clears the inline call chain for subsequent generated operations and control nodes.

This marks the point at which source attribution returns to the containing non-inlined function. It is compiler-internal and does not emit a VM operation.

§

Emit

§

EmitImm(EventImmediate)

§

Enum Instruction Copy item path

Variants§

Nop

Assert

AssertWithError(ErrorMsg)

AssertEq

AssertEqWithError(ErrorMsg)

AssertEqw

AssertEqwWithError(ErrorMsg)

Assertz

AssertzWithError(ErrorMsg)

Add

AddImm(ImmFelt)

Sub

SubImm(ImmFelt)

Mul

MulImm(ImmFelt)

Div

DivImm(ImmFelt)

Neg

ILog2

Inv

Incr

Pow2

Exp

ExpImm(ImmFelt)

ExpBitLength(u8)

Not

And

Or

Xor

Eq

EqImm(ImmFelt)

Neq

NeqImm(ImmFelt)

Eqw

Lt

LtImm(ImmFelt)

Lte

LteImm(ImmFelt)

Gt

GtImm(ImmFelt)

Gte

GteImm(ImmFelt)

IsOdd

Ext2Add

Ext2Sub

Ext2Mul

Ext2Div

Ext2Neg

Ext2Inv

U32Test

U32TestW

U32Assert

U32AssertWithError(ErrorMsg)

U32Assert2

U32Assert2WithError(ErrorMsg)

U32AssertW

U32AssertWWithError(ErrorMsg)

U32Split

U32Cast

U32WrappingAdd

U32WrappingAddImm(ImmU32)

U32OverflowingAdd

U32OverflowingAddImm(ImmU32)

U32WideningAdd

U32WideningAddImm(ImmU32)

U32OverflowingAdd3

U32WideningAdd3

U32WrappingAdd3

U32WrappingSub

U32WrappingSubImm(ImmU32)

U32OverflowingSub

U32OverflowingSubImm(ImmU32)

U32WrappingMul

U32WrappingMulImm(ImmU32)

U32WideningMul

U32WideningMulImm(ImmU32)

U32WideningMadd

U32WrappingMadd

Enum Instruction