Struct sway_ir::instruction::InstructionInserter

pub struct InstructionInserter<'a> { /* private fields */ }

Provide a context for appending new Instructions to a Block.

Implementations

impl<'a> InstructionInserter<'a>

pub fn new(context: &'a mut Context, block: Block) -> InstructionInserter<'a>

Return a new InstructionInserter context for block.

pub fn asm_block( self, args: Vec<AsmArg>, body: Vec<AsmInstruction>, return_type: Type, return_name: Option<Ident> ) -> Value

Append a new Instruction::AsmBlock from args and a body.

pub fn asm_block_from_asm(self, asm: AsmBlock, args: Vec<AsmArg>) -> Value

pub fn addr_of(self, value: Value) -> Value

pub fn bitcast(self, value: Value, ty: Type) -> Value

pub fn binary_op(self, op: BinaryOpKind, arg1: Value, arg2: Value) -> Value

pub fn branch(self, to_block: Block, dest_params: Vec<Value>) -> Value

pub fn call(self, function: Function, args: &[Value]) -> Value

pub fn cast_ptr(self, val: Value, ty: Type, offs: u64) -> Value

pub fn cmp(self, pred: Predicate, lhs_value: Value, rhs_value: Value) -> Value

pub fn conditional_branch( self, cond_value: Value, true_block: Block, false_block: Block, true_dest_params: Vec<Value>, false_dest_params: Vec<Value> ) -> Value

pub fn contract_call( self, return_type: Type, name: String, params: Value, coins: Value, asset_id: Value, gas: Value ) -> Value

pub fn extract_element(self, array: Value, ty: Type, index_val: Value) -> Value

pub fn extract_value(self, aggregate: Value, ty: Type, indices: Vec<u64>) -> Value

pub fn get_storage_key(self) -> Value

pub fn gtf(self, index: Value, tx_field_id: u64) -> Value

pub fn get_local(self, local_var: LocalVar) -> Value

pub fn insert_element( self, array: Value, ty: Type, value: Value, index_val: Value ) -> Value

pub fn insert_value( self, aggregate: Value, ty: Type, value: Value, indices: Vec<u64> ) -> Value

pub fn int_to_ptr(self, value: Value, ty: Type) -> Value

pub fn load(self, src_val: Value) -> Value

pub fn log(self, log_val: Value, log_ty: Type, log_id: Value) -> Value

pub fn mem_copy(self, dst_val: Value, src_val: Value, byte_len: u64) -> Value

pub fn nop(self) -> Value

pub fn read_register(self, reg: Register) -> Value

pub fn ret(self, value: Value, ty: Type) -> Value

pub fn revert(self, value: Value) -> Value

pub fn smo( self, recipient_and_message: Value, message_size: Value, output_index: Value, coins: Value ) -> Value

pub fn state_clear(self, key: Value, number_of_slots: Value) -> Value

pub fn state_load_quad_word( self, load_val: Value, key: Value, number_of_slots: Value ) -> Value

pub fn state_load_word(self, key: Value) -> Value

pub fn state_store_quad_word( self, stored_val: Value, key: Value, number_of_slots: Value ) -> Value

pub fn state_store_word(self, stored_val: Value, key: Value) -> Value

pub fn store(self, dst_val: Value, stored_val: Value) -> Value