Enum InstKind 

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

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).

Implementations

impl InstKind

pub const fn is_terminator(self) -> bool

Whether the instruction ends a block: jumps, branches, returns, traps.

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