Enum BasicBlockTerminator

pub enum BasicBlockTerminator<'p> {
    ConditionalJump {
        condition: &'p MemoryReference,
        target: &'p Target,
        jump_if_condition_zero: bool,
    },
    Continue,
    Jump {
        target: &'p Target,
    },
    Halt,
}

The terminator of a basic block, which determines the control flow to the next basic block.

Variants

ConditionalJump

Fields

condition: &'p MemoryReference

target: &'p Target

jump_if_condition_zero: bool

Continue

Jump

Fields

target: &'p Target

Halt

Implementations

impl BasicBlockTerminator<'_>

pub fn is_dynamic(&self) -> bool

Returns true if the terminator is dynamic, i.e. JUMP-WHEN or JUMP-UNLESS.

Dynamic terminators are those that can change the control flow based on the state of the program at runtime, as opposed to static terminators like JUMP and HALT.

pub fn into_instruction(self) -> Option<Instruction>

Trait Implementations

impl<'p> Clone for BasicBlockTerminator<'p>

fn clone(&self) -> BasicBlockTerminator<'p>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'p> Debug for BasicBlockTerminator<'p>

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

Formats the value using the given formatter.

impl<'p> Default for BasicBlockTerminator<'p>

fn default() -> BasicBlockTerminator<'p>

Returns the “default value” for a type.

impl<'p> From<&'p BasicBlockTerminatorOwned> for BasicBlockTerminator<'p>

fn from(value: &'p BasicBlockTerminatorOwned) -> Self

Converts to this type from the input type.

impl<'p> From<BasicBlockTerminator<'p>> for BasicBlockTerminatorOwned

fn from(value: BasicBlockTerminator<'_>) -> Self

Converts to this type from the input type.