Skip to main content

LoweringTable

Struct LoweringTable 

Source
pub struct LoweringTable {
    pub cpu_ref: ReferenceKind,
    pub primary_text: Option<PrimaryTextBuilder>,
    pub primary_binary: Option<PrimaryBinaryBuilder>,
    pub secondary_text: Option<SecondaryTextBuilder>,
    pub native_module: Option<NativeModuleBuilder>,
    pub extensions: FxHashMap<&'static str, ExtensionLoweringFn>,
}
Expand description

Lowering function table attached to an operation definition.

The named fields are terminal 0.6 in-tree slots. extensions is the open-ended slot: any out-of-tree backend registers its builder under its stable backend-id string. Look up by id via LoweringTable::extension.

Not #[non_exhaustive] so static registrations can use functional record update (..LoweringTable::empty()) from inventory::submit! closures. Additive fields must carry defaults so the spread form keeps working without a breaking change.

Fields§

§cpu_ref: ReferenceKind

Portable CPU reference implementation.

§primary_text: Option<PrimaryTextBuilder>

Primary text builder. None in v0.6 pure-IR ops.

§primary_binary: Option<PrimaryBinaryBuilder>

Primary binary builder. None in v0.6 pure-IR ops.

§secondary_text: Option<SecondaryTextBuilder>

Secondary text builder. None unless a concrete backend owns it.

§native_module: Option<NativeModuleBuilder>

Native native-module builder. None until native-module support lands.

§extensions: FxHashMap<&'static str, ExtensionLoweringFn>

Open extension map for out-of-tree backends. Keyed by backend id (matches the string a VyreBackend::id returns). Builders are by-value function pointers so lookup is allocation-free and the map stays Clone + Send + Sync without interior locking.

Implementations§

Source§

impl LoweringTable

Source

pub fn new(cpu_ref: ReferenceKind) -> Self

Build a CPU-only lowering table.

Source

pub fn empty() -> Self

Empty table whose CPU path reports the structured intrinsic fallback.

Source

pub fn with_extension( self, backend_id: &'static str, builder: ExtensionLoweringFn, ) -> Self

Register an out-of-tree backend’s lowering. Stable backend id is the key DialectRegistry::get_lowering uses for lookup; pick it carefully, it is a wire-like identifier.

Source

pub fn extension(&self, backend_id: &str) -> Option<ExtensionLoweringFn>

Look up an extension builder by backend id.

Trait Implementations§

Source§

impl Clone for LoweringTable

Source§

fn clone(&self) -> LoweringTable

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for LoweringTable

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for LoweringTable

Source§

fn default() -> Self

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

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

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

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

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

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

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

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more