Enum Op 

#[repr(u8)]
pub enum Op {
    If {
        span: SourceSpan,
        then_blk: Block,
        else_blk: Block,
    },
    While {
        span: SourceSpan,
        body: Block,
    },
    DoWhile {
        span: SourceSpan,
        body: Block,
        condition: Block,
    },
    Repeat {
        span: SourceSpan,
        count: Immediate<u32>,
        body: Block,
    },
    Inst(Span<Instruction>),
}

Represents the Miden Assembly instruction set syntax

This is separate from Instruction in order to distinguish control flow instructions and instructions with block regions from the rest.

Variants

If

Represents a conditional branch

Can be either if..end, or if..else..end.

Fields

span: SourceSpan

then_blk: Block

This block is always present and non-empty

else_blk: Block

This block will be empty if no else branch was present

While

Represents a head-controlled loop (while.true..end).

Fields

span: SourceSpan

body: Block

DoWhile

Represents a tail-controlled loop (do..while..end).

The body always executes at least once; the condition block is then evaluated and must leave a boolean on top of the stack. The loop re-iterates while that boolean is 1 and exits when it is 0.

Fields

span: SourceSpan

body: Block

condition: Block

Repeat

Represents a counter-controlled loop.

NOTE: The iteration count must be known at compile-time, so this is not used for general for-style loops where the iteration count is dynamic. Also, it may be either a literal value or constant name (e.g. add.1 or add.CONST)

Fields

span: SourceSpan

count: Immediate<u32>

body: Block

Inst(Span<Instruction>)

A primitive operation, e.g. add

Trait Implementations

impl Clone for Op

fn clone(&self) -> Op

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.

impl Eq for Op

impl PartialEq for Op

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PrettyPrint for Op

fn render(&self) -> Document

The core of the PrettyPrint functionality.

fn to_pretty_string(&self) -> String

Produce a String containing the results of pretty-printing this object.

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

Pretty-print this object to the given core::fmt::Formatter.

impl Spanned for Op

fn span(&self) -> SourceSpan