Enum midenc_hir::ValueData

pub enum ValueData {
    Inst {
        ty: Type,
        num: u16,
        inst: Inst,
    },
    Param {
        ty: Type,
        num: u16,
        block: Block,
        span: SourceSpan,
    },
}

Data associated with a Value.

Values are either block arguments, instructions or aliases, and in addition to being linked to a Inst or a Block, they have an associated type, position, and in some cases, a SourceSpan.

Variants

Inst

Fields

ty: Type

num: u16

inst: Inst

Param

Fields

ty: Type

num: u16

block: Block

span: SourceSpan

Implementations

impl ValueData

pub fn ty(&self) -> &Type

pub fn span(&self) -> SourceSpan

pub unsafe fn set_block(&mut self, block: Block)

Update the block to which a block parameter belongs

NOTE: This function will panic if the value is not a block parameter

Safety

This function is marked unsafe because changing the block associated with a value could cause unexpected results if the other pieces of the DataFlowGraph are not updated correctly. Callers must ensure that this is only called when a block parameter has been moved to another block.

pub fn set_type(&mut self, ty: Type)

pub fn unwrap_inst(&self) -> Inst

pub fn num(&self) -> u16

Trait Implementations

impl Clone for ValueData

fn clone(&self) -> ValueData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueData

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

Formats the value using the given formatter.