Enum miden_objects::vm::CodeBlock

pub enum CodeBlock {
    Span(Span),
    Join(Join),
    Split(Split),
    Loop(Loop),
    Call(Call),
    Dyn(Dyn),
    Proxy(Proxy),
}

TODO: add comments

Variants

Span(Span)

Join(Join)

Split(Split)

Loop(Loop)

Call(Call)

Dyn(Dyn)

Proxy(Proxy)

Implementations

impl CodeBlock

pub fn new_span(operations: Vec<Operation>) -> CodeBlock

Returns a new Span block instantiated with the provided operations.

pub fn new_span_with_decorators( operations: Vec<Operation>, decorators: Vec<(usize, Decorator)> ) -> CodeBlock

Returns a new Span block instantiated with the provided operations and decorator list.

pub fn new_join(blocks: [CodeBlock; 2]) -> CodeBlock

TODO: add comments

pub fn new_split(t_branch: CodeBlock, f_branch: CodeBlock) -> CodeBlock

TODO: add comments

pub fn new_loop(body: CodeBlock) -> CodeBlock

TODO: add comments

pub fn new_call(fn_hash: RpoDigest) -> CodeBlock

TODO: add comments

pub fn new_syscall(fn_hash: RpoDigest) -> CodeBlock

TODO: add comments

pub fn new_dyn() -> CodeBlock

TODO: add comments

pub fn new_dyncall() -> CodeBlock

TODO: add comments

pub fn new_proxy(code_hash: RpoDigest) -> CodeBlock

TODO: add comments

pub fn is_span(&self) -> bool

Returns true if this code block is a Span block.

pub fn hash(&self) -> RpoDigest

Returns a hash of this code block.

pub fn domain(&self) -> BaseElement

Returns the domain of the code block

Trait Implementations

impl Clone for CodeBlock

fn clone(&self) -> CodeBlock

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CodeBlock

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

Formats the value using the given formatter.

impl Display for CodeBlock

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

Formats the value using the given formatter.

impl PartialEq for CodeBlock

fn eq(&self, other: &CodeBlock) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CodeBlock

impl StructuralPartialEq for CodeBlock