Struct sway_ir::instruction::InstructionInserter

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

Provide a context for appending new Instructions to a Block.

Implementations

impl<'a, 'eng> InstructionInserter<'a, 'eng>

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

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 bitcast(self, value: Value, ty: Type) -> Value

pub fn unary_op(self, op: UnaryOpKind, arg: Value) -> Value

pub fn wide_unary_op(self, op: UnaryOpKind, arg: Value, result: Value) -> Value

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

pub fn wide_modular_op( self, op: BinaryOpKind, result: Value, arg1: Value, arg2: Value, arg3: Value ) -> Value

pub fn wide_cmp_op(self, op: Predicate, arg1: Value, arg2: Value) -> 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) -> 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 gtf(self, index: Value, tx_field_id: u64) -> Value

pub fn get_elem_ptr( self, base: Value, elem_ty: Type, indices: Vec<Value> ) -> Value

pub fn get_elem_ptr_with_idx( self, base: Value, elem_ty: Type, index: u64 ) -> Value

pub fn get_elem_ptr_with_idcs( self, base: Value, elem_ty: Type, indices: &[u64] ) -> Value

pub fn get_local(self, local_var: LocalVar) -> 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_bytes( self, dst_val_ptr: Value, src_val_ptr: Value, byte_len: u64 ) -> Value

pub fn mem_copy_val(self, dst_val_ptr: Value, src_val_ptr: Value) -> Value

pub fn nop(self) -> Value

pub fn ptr_to_int(self, value: Value, ty: Type) -> 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: Value, message: Value, message_size: 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_ptr: Value, stored_val: Value) -> Value