Enum Terminator 

pub enum Terminator {
    Return {
        values: Vec<ValueId>,
    },
    Jump {
        target: BlockId,
    },
    Branch {
        condition: ValueId,
        true_block: BlockId,
        false_block: BlockId,
    },
}

Terminator instruction (ends a basic block)

Variants

Return

Return from function

Fields

values: Vec<ValueId>

Jump

Unconditional jump

Fields

target: BlockId

Branch

Conditional branch

Fields

condition: ValueId

true_block: BlockId

false_block: BlockId

Trait Implementations

impl<'__de, __Context> BorrowDecode<'__de, __Context> for Terminator

fn borrow_decode<__D>(decoder: &mut __D) -> Result<Terminator, DecodeError>

where __D: BorrowDecoder<'__de, Context = __Context>,

Attempt to decode this type with the given BorrowDecode.

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Terminator

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

Formats the value using the given formatter.

impl<__Context> Decode<__Context> for Terminator

fn decode<__D>(decoder: &mut __D) -> Result<Terminator, DecodeError>

where __D: Decoder<Context = __Context>,

Attempt to decode this type with the given Decode.

impl<'de> Deserialize<'de> for Terminator

fn deserialize<__D>( __deserializer: __D, ) -> Result<Terminator, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for Terminator

fn encode<__E>(&self, encoder: &mut __E) -> Result<(), EncodeError>

where __E: Encoder,

Encode a given type.

impl Serialize for Terminator

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.