Enum Value 

pub enum Value {
    Inst(InstId),
    Arg {
        index: u32,
        ty: MirType,
    },
    Immediate(Immediate),
    Undef(MirType),
    Error(ErrorGuaranteed),
}

An SSA value in the MIR.

Variants

Inst(InstId)

Result of an instruction.

Arg

Function argument.

Fields

index: u32

Argument index.

ty: MirType

Argument type.

Immediate(Immediate)

Immediate constant.

Undef(MirType)

Undefined value (used for uninitialized variables).

Error(ErrorGuaranteed)

Error sentinel: lowering already reported a diagnostic for this value.

Mirrors HIR’s error types: instead of panicking or silently producing zero, error paths lower to this value, which carries the emitted diagnostic’s guarantee. Compilation fails before bytecode is produced, so backends only need a defensive placeholder for it.

Implementations

impl Value

pub fn ty(&self) -> MirType

Returns the type of this value.

pub const fn is_immediate(&self) -> bool

Returns true if this is an immediate value.

pub const fn as_immediate(&self) -> Option<&Immediate>

Returns this value as an immediate, if it is one.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.