Enum BtInstruction

pub enum BtInstruction {
Show 24 variants
    Return(Option<BtValue>),
    SignExtend {
        src: BtValue,
        dst: BtValue,
    },
    ZeroExtend {
        src: BtValue,
        dst: BtValue,
    },
    Truncate {
        src: BtValue,
        dst: BtValue,
    },
    TruncateTo1Bit {
        src: BtValue,
        dst: BtValue,
    },
    ConvertFp {
        src: BtValue,
        dst: BtValue,
    },
    FpToSignedInteger {
        src: BtValue,
        dst: BtValue,
    },
    FpToUnsignedInteger {
        src: BtValue,
        dst: BtValue,
    },
    SignedIntegerToFp {
        src: BtValue,
        dst: BtValue,
    },
    UnsignedIntegerToFp {
        src: BtValue,
        dst: BtValue,
    },
    Unary {
        op: BtUnaryOp,
        src: BtValue,
        dst: BtValue,
    },
    Binary {
        op: BtBinaryOp,
        src1: BtValue,
        src2: BtValue,
        dst: BtValue,
    },
    Copy {
        src: BtValue,
        dst: BtValue,
    },
    Load {
        src_ptr: BtValue,
        dst: BtValue,
    },
    Store {
        src: BtValue,
        dst_ptr: BtValue,
    },
    StoreAddress {
        src: BtValue,
        dst_ptr: BtValue,
    },
    StoreAtOffset {
        src: BtValue,
        dst_ptr: BtValue,
        dst_offset: usize,
    },
    AddPtr {
        src_ptr: BtValue,
        index: BtValue,
        scale: usize,
        dst_ptr: BtValue,
    },
    Jump {
        target: BtLabelIdentifier,
    },
    JumpIfZero {
        condition: BtValue,
        target: BtLabelIdentifier,
    },
    JumpIfNotZero {
        condition: BtValue,
        target: BtLabelIdentifier,
    },
    Label {
        id: BtLabelIdentifier,
    },
    Switch {
        controlling_value: BtValue,
        cases: Vec<BtSwitchCase>,
        default_label: Option<BtLabelIdentifier>,
        break_label: BtLabelIdentifier,
    },
    FunctionCall {
        designator: BtValue,
        args: Vec<BtValue>,
        dst: Option<BtValue>,
    },
}

Expand description

A BlueTac IR instruction.

Variants§

Return(Option<BtValue>)

SignExtend

Fields

§src: BtValue

§dst: BtValue

ZeroExtend

Fields

§src: BtValue

§dst: BtValue

Truncate

Fields

§src: BtValue

§dst: BtValue

TruncateTo1Bit

Fields

§src: BtValue

§dst: BtValue

ConvertFp

Fields

§src: BtValue

§dst: BtValue

FpToSignedInteger

Fields

§src: BtValue

§dst: BtValue

FpToUnsignedInteger

Fields

§src: BtValue

§dst: BtValue

SignedIntegerToFp

Fields

§src: BtValue

§dst: BtValue

UnsignedIntegerToFp

Fields

§src: BtValue

§dst: BtValue

Unary

Fields

§op: BtUnaryOp

§src: BtValue

§dst: BtValue

Binary

Fields

§op: BtBinaryOp

§src1: BtValue

§src2: BtValue

§dst: BtValue

Copy

Fields

§src: BtValue

§dst: BtValue

Load

Fields

§src_ptr: BtValue

§dst: BtValue

Store

Fields

§src: BtValue

§dst_ptr: BtValue

StoreAddress

Fields

§src: BtValue

§dst_ptr: BtValue

StoreAtOffset

Fields

§src: BtValue

§dst_ptr: BtValue

§dst_offset: usize

AddPtr

Fields

§src_ptr: BtValue

§index: BtValue

§scale: usize

§dst_ptr: BtValue

Jump

Fields

§target: BtLabelIdentifier

JumpIfZero

Fields

§condition: BtValue

§target: BtLabelIdentifier

JumpIfNotZero

Fields

§condition: BtValue

§target: BtLabelIdentifier

Label

Fields

§id: BtLabelIdentifier

Switch

Fields

§controlling_value: BtValue

§cases: Vec<BtSwitchCase>

§default_label: Option<BtLabelIdentifier>

§break_label: BtLabelIdentifier

FunctionCall

Fields

§designator: BtValue

§args: Vec<BtValue>

§dst: Option<BtValue>

Trait Implementations§

impl Debug for BtInstruction

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for BtInstruction

impl RefUnwindSafe for BtInstruction

impl Send for BtInstruction

impl Sync for BtInstruction

impl Unpin for BtInstruction

impl UnwindSafe for BtInstruction

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

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

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.