Struct Instruction 

pub struct Instruction {
    pub id: InstId,
    pub op: Operation,
    pub operands: Vec<ValueId>,
    pub dst: Option<ValueId>,
    pub span: Option<Span>,
    pub symbol: Option<Symbol>,
    pub result_type: Option<TypeId>,
    pub extensions: BTreeMap<String, Value>,
}

An AIR instruction.

Fields

id: InstId

Unique instruction identifier.

op: Operation

The operation performed.

operands: Vec<ValueId>

Input values (operands).

dst: Option<ValueId>

Output value (if the instruction produces one).

span: Option<Span>

Optional source location.

symbol: Option<Symbol>

Optional symbol/name information.

result_type: Option<TypeId>

Type of the result value, if known. Populated by frontends with type info (e.g., LLVM).

extensions: BTreeMap<String, Value>

Frontend-specific extension data. Analyses that don’t understand these extensions should ignore them.

Implementations

impl Instruction

pub fn new(id: InstId, op: Operation) -> Self

Create a new instruction.

pub fn with_operands(self, operands: Vec<ValueId>) -> Self

Add operands to the instruction.

pub fn with_dst(self, dst: ValueId) -> Self

Set the destination value.

pub fn with_span(self, span: Span) -> Self

Set the source span.

pub fn with_symbol(self, symbol: Symbol) -> Self

Set the symbol.

pub fn is_terminator(&self) -> bool

Check if this is a terminator instruction.

Trait Implementations

impl Clone for Instruction

fn clone(&self) -> Instruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instruction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Instruction

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Instruction

fn eq(&self, other: &Instruction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Instruction

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Instruction