Enum sway_ir::instruction::FuelVmInstruction

pub enum FuelVmInstruction {
    GetStorageKey,
    Gtf {
        index: Value,
        tx_field_id: u64,
    },
    Log {
        log_val: Value,
        log_ty: Type,
        log_id: Value,
    },
    ReadRegister(Register),
    Revert(Value),
    Smo {
        recipient_and_message: Value,
        message_size: Value,
        output_index: Value,
        coins: Value,
    },
    StateClear {
        key: Value,
        number_of_slots: Value,
    },
    StateLoadQuadWord {
        load_val: Value,
        key: Value,
        number_of_slots: Value,
    },
    StateLoadWord(Value),
    StateStoreQuadWord {
        stored_val: Value,
        key: Value,
        number_of_slots: Value,
    },
    StateStoreWord {
        stored_val: Value,
        key: Value,
    },
}

Variants

GetStorageKey

Generate a unique integer value

Gtf

Fields

index: Value

tx_field_id: u64

Log

Fields

log_val: Value

log_ty: Type

log_id: Value

Logs a value along with an identifier.

ReadRegister(Register)

Reads a special register in the VM.

Revert(Value)

Revert VM execution.

Smo

Fields

recipient_and_message: Value

message_size: Value

output_index: Value

coins: Value

• Sends a message to an output via the smo FuelVM instruction. The first operand must be a struct with the first field being a B256 representing the recipient. The rest of the struct is the message data being sent.
• Assumes the existence of an OutputMessage at output_index
• message_size, output_index, and coins must be of type U64.

StateClear

Fields

key: Value

number_of_slots: Value

Clears number_of_slots storage slots (b256 each) starting at key key.

StateLoadQuadWord

Fields

load_val: Value

key: Value

number_of_slots: Value

Reads number_of_slots slots (b256 each) from storage starting at key key and stores them in memory starting at address load_val.

StateLoadWord(Value)

Reads and returns single word from a storage slot.

StateStoreQuadWord

Fields

stored_val: Value

key: Value

number_of_slots: Value

Stores number_of_slots slots (b256 each) starting at address stored_val in memory into storage starting at key key. key must be a b256.

StateStoreWord

Fields

stored_val: Value

key: Value

Writes a single word to a storage slot. key must be a b256 and the type of stored_val must be a u64.

Trait Implementations

impl Clone for FuelVmInstruction

fn clone(&self) -> FuelVmInstruction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FuelVmInstruction

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

Formats the value using the given formatter.

impl DebugWithContext for FuelVmInstruction

fn fmt_with_context<'a, 'c>( &'a self, formatter: &mut Formatter<'_>, context: &'c Context ) -> Result

fn with_context<'a, 'c>( &'a self, context: &'c Context ) -> WithContext<'a, 'c, Self>