Struct InstData 

pub struct InstData {
    pub opcode: Opcode,
    pub flags: Flags,
    pub results: u8,
    pub first_result: Option<Value>,
    pub args: ValueList,
    pub extra: Extra,
}

One instruction.

There is no result type here. Each result is a value in the function’s value table and the type is on the value, which means a reader asking what an instruction produces asks the same question about add as about call, and there is no second copy of the type to disagree with the first.

Fields

opcode: Opcode

Which instruction this is.

flags: Flags

What the optimizer is licensed to assume about it.

results: u8

How many values it produces.

first_result: Option<Value>

The first of them, with the rest following it in the value table.

args: ValueList

Its value operands.

extra: Extra

Everything else it carries.

Implementations

impl InstData

pub const fn new(opcode: Opcode) -> Self

An instruction with no operands, no flags, no results and nothing extra.

pub fn results(&self) -> impl Iterator<Item = Value> + use<>

The values it produces, in order.

pub fn targets(&self) -> BlockCallList

The run of targets it branches to, which is empty when it does not branch.

A switch keeps its targets in a side table, so this reads Extra::Targets only and the function is what answers for the rest.

Trait Implementations

impl Clone for InstData

fn clone(&self) -> InstData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InstData

impl Debug for InstData

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

Formats the value using the given formatter.

impl Eq for InstData

impl PartialEq for InstData

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InstData