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,
    },
    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.

StateLoadQuadWord

Fields

load_val: Value

key: Value

number_of_slots: Value

Read a quad word from a storage slot. Type of load_val must be a B256 ptr.

StateLoadWord(Value)

Read a single word from a storage slot.

StateStoreQuadWord

Fields

stored_val: Value

key: Value

number_of_slots: Value

Write a value to a storage slot. Key must be a B256, type of stored_val must be a Uint(256) ptr.

StateStoreWord

Fields

stored_val: Value

key: Value

Write a value to a storage slot. Key must be a B256, type of stored_val must be a Uint(64) value.

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>