Enum llhd::ir::InstData[−][src]

pub enum InstData {
Show 16 variants    ConstInt {
        opcode: Opcode,
        imm: IntValue,
    },
    ConstTime {
        opcode: Opcode,
        imm: TimeValue,
    },
    Array {
        opcode: Opcode,
        imms: [usize; 1],
        args: [Value; 1],
    },
    Aggregate {
        opcode: Opcode,
        args: Vec<Value>,
    },
    Nullary {
        opcode: Opcode,
    },
    Unary {
        opcode: Opcode,
        args: [Value; 1],
    },
    Binary {
        opcode: Opcode,
        args: [Value; 2],
    },
    Ternary {
        opcode: Opcode,
        args: [Value; 3],
    },
    Quaternary {
        opcode: Opcode,
        args: [Value; 4],
    },
    Jump {
        opcode: Opcode,
        bbs: [Block; 1],
    },
    Phi {
        opcode: Opcode,
        args: Vec<Value>,
        bbs: Vec<Block>,
    },
    Branch {
        opcode: Opcode,
        args: [Value; 1],
        bbs: [Block; 2],
    },
    Wait {
        opcode: Opcode,
        bbs: [Block; 1],
        args: Vec<Value>,
    },
    Call {
        opcode: Opcode,
        unit: ExtUnit,
        ins: u16,
        args: Vec<Value>,
    },
    InsExt {
        opcode: Opcode,
        args: [Value; 2],
        imms: [usize; 2],
    },
    Reg {
        opcode: Opcode,
        args: Vec<Value>,
        modes: Vec<RegMode>,
    },
}

Expand description

An instruction format.

Variants

ConstInt

a = const iN imm

Fields of ConstInt

opcode: Opcodeimm: IntValue

ConstTime

a = const time imm

Fields of ConstTime

opcode: Opcodeimm: TimeValue

Array

opcode imm, type x

Fields of Array

opcode: Opcodeimms: [usize; 1]args: [Value; 1]

Aggregate

opcode args

Fields of Aggregate

opcode: Opcodeargs: Vec<Value>

Nullary

opcode

Fields of Nullary

opcode: Opcode

Unary

opcode type x

Fields of Unary

opcode: Opcodeargs: [Value; 1]

Binary

opcode type x, y

Fields of Binary

opcode: Opcodeargs: [Value; 2]

Ternary

opcode type x, y, z

Fields of Ternary

opcode: Opcodeargs: [Value; 3]

Quaternary

opcode type x, y, z, w

Fields of Quaternary

opcode: Opcodeargs: [Value; 4]

Jump

opcode bb

Fields of Jump

opcode: Opcodebbs: [Block; 1]

Phi

opcode type [x, bb],*

Fields of Phi

opcode: Opcodeargs: Vec<Value>bbs: Vec<Block>

Branch

opcode x, bb0, bb1

Fields of Branch

opcode: Opcodeargs: [Value; 1]bbs: [Block; 2]

Wait

opcode bb, args

Fields of Wait

opcode: Opcodebbs: [Block; 1]args: Vec<Value>

Call

a = opcode type unit (inputs) -> (outputs)

Fields of Call

opcode: Opcodeunit: ExtUnitins: u16args: Vec<Value>

InsExt

a = opcode type x, y, imm0, imm1

Fields of InsExt

opcode: Opcodeargs: [Value; 2]imms: [usize; 2]

Reg

a = reg type x (, data mode trigger)*

Fields of Reg

opcode: Opcodeargs: Vec<Value>modes: Vec<RegMode>

Implementations

[src]

impl InstData

[src]

pub fn opcode(&self) -> Opcode

Get the opcode of the instruction.

[src]

pub fn args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

Get the arguments of an instruction.

[src]

pub fn imms(&self) -> &[usize ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

Get the immediates of an instruction.

[src]

pub fn input_args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

Get the input arguments of a call instruction.

[src]

pub fn output_args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

Get the output arguments of a call instruction.

[src]

pub fn data_args(&self) -> impl Iterator<Item = Value> + '_

Get the data arguments of a register instruction.

[src]

pub fn trigger_args(&self) -> impl Iterator<Item = Value> + '_

Get the trigger arguments of a register instruction.

[src]

pub fn gating_args(&self) -> impl Iterator<Item = Option<Value>> + '_

Get the gating arguments of a register instruction.

[src]

pub fn mode_args(&self) -> impl Iterator<Item = RegMode> + '_

Get the modes of a register instruction.

[src]

pub fn triggers(&self) -> impl Iterator<Item = RegTrigger> + '_

Get the register triggers.

[src]

pub fn blocks(&self) -> &[Block ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

Get the BBs of an instruction.

[src]

pub fn get_const_int(&self) -> Option<&IntValue>

Return the const int constructed by this instruction.

[src]

pub fn get_const_time(&self) -> Option<&TimeValue>

Return the const time constructed by this instruction.

[src]

pub fn get_ext_unit(&self) -> Option<ExtUnit>

Return the external unit being called or instantiated by this instruction.

Trait Implementations

[src]

impl Clone for InstData

[src]

fn clone(&self) -> InstData

Returns a copy of the value. Read more

1.0.0[src]

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

Performs copy-assignment from source. Read more

[src]

impl Debug for InstData

[src]

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

Formats the value using the given formatter. Read more

[src]

impl Default for InstData

[src]

fn default() -> InstData

Returns the “default value” for a type. Read more

[src]

impl<'de> Deserialize<'de> for InstData

[src]

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
__D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

[src]

impl Hash for InstData

[src]

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

Feeds this value into the given Hasher. Read more

1.3.0[src]

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

Feeds a slice of this type into the given Hasher. Read more

[src]

impl PartialEq<InstData> for InstData

[src]

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

This method tests for self and other values to be equal, and is used by ==. Read more

[src]

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

This method tests for !=.

[src]

impl Serialize for InstData

[src]

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
S: Serializer,

Serialize this value into the given Serde serializer. Read more

[src]

impl Eq for InstData

[src]

impl StructuralEq for InstData

[src]

impl StructuralPartialEq for InstData

Auto Trait Implementations

impl RefUnwindSafe for InstData

impl Send for InstData

impl Sync for InstData

impl Unpin for InstData

impl UnwindSafe for InstData

Blanket Implementations

[src]

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

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

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

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

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

[src]

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

Mutably borrows from an owned value. Read more

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

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

[src]

pub fn into(self) -> U

Performs the conversion.

impl<T> Pointable for T

pub const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

pub unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

pub unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

pub unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

[src]

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

[src]

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

[src]

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

[src]

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

type Error = >::Error

The type returned in the event of a conversion error.

[src]

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

[src]

Enum llhd::ir::InstData[−][src]

Variants

Fields of ConstInt

Fields of ConstTime

Fields of Array

Fields of Aggregate

Fields of Nullary

Fields of Unary

Fields of Binary

Fields of Ternary

Fields of Quaternary

Fields of Jump

Fields of Phi

Fields of Branch

Fields of Wait

Fields of Call

Fields of InsExt

Fields of Reg

Implementations

impl InstData

pub fn opcode(&self) -> Opcode

pub fn args(&self) -> &[Value]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

pub fn imms(&self) -> &[usize]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

pub fn input_args(&self) -> &[Value]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

pub fn output_args(&self) -> &[Value]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

pub fn data_args(&self) -> impl Iterator<Item = Value> + '_

pub fn trigger_args(&self) -> impl Iterator<Item = Value> + '_

pub fn gating_args(&self) -> impl Iterator<Item = Option<Value>> + '_

pub fn mode_args(&self) -> impl Iterator<Item = RegMode> + '_

pub fn triggers(&self) -> impl Iterator<Item = RegTrigger> + '_

pub fn blocks(&self) -> &[Block]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

pub fn get_const_int(&self) -> Option<&IntValue>

pub fn get_const_time(&self) -> Option<&TimeValue>

pub fn get_ext_unit(&self) -> Option<ExtUnit>

Trait Implementations

impl Clone for InstData

fn clone(&self) -> InstData

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

impl Debug for InstData

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

impl Default for InstData

fn default() -> InstData

impl<'de> Deserialize<'de> for InstData

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where __D: Deserializer<'de>,

impl Hash for InstData

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

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

impl PartialEq<InstData> for InstData

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

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

impl Serialize for InstData

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where __S: Serializer,

impl Eq for InstData

impl StructuralEq for InstData

impl StructuralPartialEq for InstData

Auto Trait Implementations

impl RefUnwindSafe for InstData

impl Send for InstData

impl Sync for InstData

impl Unpin for InstData

impl UnwindSafe for InstData

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<T> Pointable for T

pub const ALIGN: usize

type Init = T

pub unsafe fn init(init: <T as Pointable>::Init) -> usize

pub unsafe fn deref<'a>(ptr: usize) -> &'a T

pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

pub unsafe fn drop(ptr: usize)

impl<T> ToOwned for T where T: Clone,

pub fn args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

pub fn imms(&self) -> &[usize ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

pub fn input_args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

pub fn output_args(&self) -> &[Value ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

pub fn blocks(&self) -> &[Block ]ⓘ
Notable traits for &'_ [u8 ]
`impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]`

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
__D: Deserializer<'de>,

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

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

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
S: Serializer,

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

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

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

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

impl<T> ToOwned for T where
T: Clone,

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

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

impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,