Enum Lowering 

#[non_exhaustive]
pub enum Lowering {
    Lsb(LsbOp),
    Host {
        module: String,
        name: String,
    },
    Fast {
        fast: Fast,
        module: String,
        name: String,
    },
    Class {
        op: ClassOp,
        module: String,
        name: String,
    },
}

How one named intrinsic compiles.

Examples

use bcgen_lang::{Fast, Lowering};

let l = Lowering::Fast { fast: Fast::Concat, module: "mox".into(), name: "concat".into() };
assert_eq!(l.host(), Some(("mox", "concat")));

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.

Lsb(LsbOp)

An LSB sequence, with LSB’s semantics (hooks included).

Host

A call to the host function module.name (an LSB import taking the operands as dyn and returning a dyn), always.

Fields

module: String

The import module.

name: String

The function name.

Fast

The fast path inline on its domain, the host function module.name everywhere else.

Fields

fast: Fast

The guarded fast path.

module: String

The import module of the slow path.

name: String

The function name of the slow path.

Class

A class operation, inline for the unit’s classes, the host function module.name for everything else. A call of the extern path of the same name compiles the same way (lowering templates call host symbols, not intrinsics).

Fields

op: ClassOp

The operation.

module: String

The import module of the fallback.

name: String

The function name of the fallback.

Implementations

impl Lowering

pub fn host(&self) -> Option<(&str, &str)>

The host function this lowering may call, as (module, name).

Examples

use bcgen_lang::{Lowering, LsbOp};

assert_eq!(Lowering::Lsb(LsbOp::Len).host(), None);

Trait Implementations

impl Clone for Lowering

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lowering

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

Formats the value using the given formatter.

impl Eq for Lowering

impl Hash for Lowering

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 Lowering

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Lowering