Enum cairo_lang_lowering::objects::FlatBlockEnd

pub enum FlatBlockEnd {
    Callsite(VarRemapping),
    Return(Vec<VariableId>),
    Unreachable,
    Fallthrough(BlockId, VarRemapping),
    Goto(BlockId, VarRemapping),
}

Describes what happens to the program flow at the end of a FlatBlock.

Variants

Callsite(VarRemapping)

This block returns to the call-site, outputting variables to the call-site.

Return(Vec<VariableId>)

This block ends with a return statement, exiting the function.

Unreachable

The last statement ended the flow (e.g., match will all arms ending in return), and the end of this block is unreachable.

Fallthrough(BlockId, VarRemapping)

Fallthrough and Goto are currently only used when inlining functions. Fallthrough(BlockId, _) indicates that BlockId is the logical continuation of the current block. Goto may only branch to a block that also has a Fallthrough branch. This block ends with a fallthrough to a different block

Goto(BlockId, VarRemapping)

This block ends with a jump to a different block.

Trait Implementations

impl Clone for FlatBlockEnd

fn clone(&self) -> FlatBlockEnd

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FlatBlockEnd

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for FlatBlockEnd

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

impl PartialEq<FlatBlockEnd> for FlatBlockEnd

fn eq(&self, other: &FlatBlockEnd) -> 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 TryFrom<StructuredBlockEnd> for FlatBlockEnd

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: StructuredBlockEnd) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for FlatBlockEnd

impl StructuralEq for FlatBlockEnd

impl StructuralPartialEq for FlatBlockEnd