Struct sway_core::asm_generation::MidenVMAsmBuilder

pub struct MidenVMAsmBuilder<'ir> { /* private fields */ }

MidenVM Asm is built in the following way: Function bodies are abstracted into [Procedures] Arguments to functions are evaluated before the exec.proc is issued

Implementations

impl<'ir> MidenVMAsmBuilder<'ir>

pub fn new(program_kind: ProgramKind, context: &'ir Context) -> Self

pub fn finalize(&self) -> AsmBuilderResult

pub fn finalize_inner(&self) -> AsmBuilderResult

pub fn compile_function(&mut self, function: Function) -> CompileResult<()>

pub fn compile_return(&mut self, ret_val: &Value, ty: &Type)

Compiles a return instruction. https://0xpolygonmiden.github.io/miden-vm/design/stack/main.html#operand-stack By the end of program execution, exactly 16 items must remain on the stack (again, all of them could be 0’s). These items comprise the output of the program. all we have to do here is make sure the returned value is on top of the stack this works in both internal procedure returns and external main returns

Trait Implementations

impl<'ir> AsmBuilder for MidenVMAsmBuilder<'ir>

fn compile_function(&mut self, function: Function) -> CompileResult<()>

fn finalize(&self) -> AsmBuilderResult

fn func_to_labels(&mut self, func: &Function) -> (Label, Label)

impl Debug for MidenVMAsmBuilder<'_>

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

Formats the value using the given formatter.