Enum InstKind 

#[non_exhaustive]
pub enum InstKind {
    Plain,
    Copy,
    ParallelCopy,
    Jump,
    Branch,
    Return,
    Call,
    Trap,
    TailCall,
    Switch,
}

What an instruction does to control flow, and which generic handling it gets.

Examples

use backend_lang::target::InstKind;
use backend_lang::x86_64::{self, op};

assert_eq!(x86_64::TARGET.inst(op::JMP).unwrap().kind(), InstKind::Jump);
assert!(InstKind::Jump.is_terminator());
assert!(!InstKind::Call.is_terminator());

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Plain

An ordinary instruction; control falls through.

Copy

Opcode::COPY.

ParallelCopy

Opcode::PCOPY.

Jump

An unconditional branch to one block, passing arguments.

Branch

A two-way conditional branch: a condition, then the taken and the not-taken block, each with arguments.

Return

A return from the function (the epilogue runs first).

Call

A call; control comes back to the next instruction.

Trap

An instruction that never falls through and never returns (ud2).

TailCall

A tail call: the epilogue runs, then control jumps to the callee, which returns to this function’s caller.

Switch

A multi-way branch through a table: a temporary definition, an index register, then one target block per index (jmptbl). The targets take no arguments. The temporary is written before the index is last read, so the register allocator never gives the two one register.

Implementations

impl InstKind

pub const fn is_terminator(self) -> bool

Whether the instruction ends a block: jumps, branches, returns, traps, tail calls, and table branches.

Examples

use backend_lang::target::InstKind;

assert!(InstKind::Return.is_terminator());
assert!(!InstKind::Plain.is_terminator());

Trait Implementations

impl Clone for InstKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InstKind

impl Debug for InstKind

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

Formats the value using the given formatter.

impl Eq for InstKind

impl Hash for InstKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InstKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InstKind