[][src]Struct cranelift_codegen_meta::cdsl::formats::InstructionFormat

pub(crate) struct InstructionFormat {
    pub name: &'static str,
    pub num_value_operands: usize,
    pub has_value_list: bool,
    pub imm_fields: Vec<FormatField>,
    pub typevar_operand: Option<usize>,
}

Every instruction opcode has a corresponding instruction format which determines the number of operands and their kinds. Instruction formats are identified structurally, i.e., the format of an instruction is derived from the kinds of operands used in its declaration.

The instruction format stores two separate lists of operands: Immediates and values. Immediate operands (including entity references) are represented as explicit members in the InstructionData variants. The value operands are stored differently, depending on how many there are. Beyond a certain point, instruction formats switch to an external value list for storing value arguments. Value lists can hold an arbitrary number of values.

All instruction formats must be predefined in the meta shared/formats.rs module.

Fields

name: &'static str

Instruction format name in CamelCase. This is used as a Rust variant name in both the InstructionData and InstructionFormat enums.

num_value_operands: usizehas_value_list: boolimm_fields: Vec<FormatField>typevar_operand: Option<usize>

Index of the value input operand that is used to infer the controlling type variable. By default, this is 0, the first value operand. The index is relative to the values only, ignoring immediate operands.

Methods

impl InstructionFormat[src]

pub fn imm_by_name(&self, name: &'static str) -> &FormatField[src]

pub fn structure(&self) -> FormatStructure[src]

Returns a tuple that uniquely identifies the structure.

Trait Implementations

impl Debug for InstructionFormat[src]

impl Display for InstructionFormat[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.