Enum ElseData

pub enum ElseData {
    NoElse {
        branch_inst: Inst,
        placeholder: Block,
    },
    WithElse {
        else_block: Block,
    },
}

Information about the presence of an associated else for an if, or the lack thereof.

Variants

NoElse

The if does not already have an else block.

This doesn’t mean that it will never have an else, just that we haven’t seen it yet.

Fields

branch_inst: Inst

If we discover that we need an else block, this is the jump instruction that needs to be fixed up to point to the new else block rather than the destination block after the if...end.

placeholder: Block

The placeholder block we’re replacing.

WithElse

We have already allocated an else block.

Usually we don’t know whether we will hit an if .. end or an if .. else .. end, but sometimes we can tell based on the block’s type signature that the signature is not valid if there isn’t an else. In these cases, we pre-allocate the else block.

Fields

else_block: Block

This is the else block.

Trait Implementations

impl Debug for ElseData

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

Formats the value using the given formatter.