presolve_compiler::intermediate_representation

Enum IrInstructionKind

pub enum IrInstructionKind {
Show 19 variants    Nop,
    Constant {
        value: IrConstant,
    },
    Copy {
        source: IrOperand,
    },
    InitializeStorage {
        storage: IrStorageId,
    },
    InitializeContextSlot {
        slot: ContextValueSlotId,
        value: IrValueId,
    },
    LoadStorage {
        storage: IrStorageId,
    },
    LoadContextSlot {
        slot: ContextValueSlotId,
    },
    LoadComputed {
        computed: SemanticId,
    },
    LoadResource {
        declaration: SemanticId,
    },
    GetMember {
        object: IrOperand,
        property: String,
        optional: bool,
    },
    GetIndex {
        object: IrOperand,
        index: IrOperand,
    },
    Select {
        condition: IrOperand,
        when_true: IrOperand,
        when_false: IrOperand,
    },
    Template {
        quasis: Vec<String>,
        expressions: Vec<IrValueId>,
    },
    PurePackageCall {
        package: String,
        version: String,
        integrity: String,
        export: String,
        runtime_module: String,
        resume_policy: String,
        operation: SemanticPackagePureOperation,
        arguments: Vec<IrValueId>,
    },
    StoreStorage {
        storage: IrStorageId,
        value: IrOperand,
    },
    CapabilityCall {
        operation: CapabilityOperationId,
        arguments: Vec<IrValueId>,
    },
    CapabilityAssign {
        operation: CapabilityOperationId,
        value: IrValueId,
    },
    Binary {
        operation: IrBinaryOperation,
        left: IrOperand,
        right: IrOperand,
    },
    Unary {
        operation: IrUnaryOperation,
        operand: IrOperand,
    },
}

Expand description

Instruction forms available to canonical IR lowering.

Variants§

§

Nop

§

Constant

Fields

§value: IrConstant

§

Copy

Fields

§source: IrOperand

§

InitializeStorage

Fields

§storage: IrStorageId

§

InitializeContextSlot

Observable initialization of one compiler-owned Context value slot.

Fields

§slot: ContextValueSlotId

§value: IrValueId

§

LoadStorage

Fields

§storage: IrStorageId

§

LoadContextSlot

Typed read from one exact compiler-selected Context value slot.

Fields

§slot: ContextValueSlotId

§

LoadComputed

Fields

§computed: SemanticId

§

LoadResource

Direct load of one compiler-selected Resource declaration record. The generated runtime resolves the concrete activation from the current component instance; there is no authored dynamic Resource lookup.

Fields

§declaration: SemanticId

§

GetMember

Fields

§object: IrOperand

§property: String

§optional: bool

§

GetIndex

Fields

§object: IrOperand

§index: IrOperand

§

Select

Fields

§condition: IrOperand

§when_true: IrOperand

§when_false: IrOperand

§

Template

Compiler-lowered interpolation with source-retained cooked literal segments.

Fields

§quasis: Vec<String>

§expressions: Vec<IrValueId>

§

PurePackageCall

A deterministic pure operation declared by an integrity-checked package contract.

Fields

§package: String

§version: String

§integrity: String

§export: String

§runtime_module: String

§resume_policy: String

§operation: SemanticPackagePureOperation

§arguments: Vec<IrValueId>

§

StoreStorage

Fields

§storage: IrStorageId

§value: IrOperand

§

CapabilityCall

One compiler-recognized, observable void capability invocation.

Fields

§operation: CapabilityOperationId

§arguments: Vec<IrValueId>

§

CapabilityAssign

One compiler-recognized, observable void capability-member assignment.

Fields

§operation: CapabilityOperationId

§value: IrValueId

§

Binary

Fields

§operation: IrBinaryOperation

§left: IrOperand

§right: IrOperand

§

Unary

Fields

§operation: IrUnaryOperation

§operand: IrOperand

Implementations§

Source §

impl IrInstructionKind

Source

pub const fn is_observable_side_effect(&self) -> bool

Whether this instruction is an observable operation that optimization passes must preserve and keep ordered.

Trait Implementations§

Source §

impl Clone for IrInstructionKind

Source §

fn clone(&self) -> IrInstructionKind

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for IrInstructionKind

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Eq for IrInstructionKind

Source §

impl PartialEq for IrInstructionKind

Source §

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

Source §

impl StructuralPartialEq for IrInstructionKind

Auto Trait Implementations§

§

impl UnwindSafe for IrInstructionKind

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<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source §

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<'a, T> FromIn<'a, T> for T

Source §

fn from_in(t: T, _: &'a Allocator) -> T

Converts to this type from the input type within the given allocator.

Source §

impl<T, U> Into 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<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

Source §

fn into_in(self, allocator: &'a Allocator) -> U

Converts this type into the (usually inferred) input type within the given allocator.

Source §

impl<D> OwoColorize for D

Source §

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

Set the foreground color generically Read more

Source §

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

Set the background color generically. Read more

Source §

fn black(&self) -> FgColorDisplay<'_, Black, Self>

Change the foreground color to black

Source §

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

Change the background color to black

Source §

fn red(&self) -> FgColorDisplay<'_, Red, Self>

Change the foreground color to red

Source §

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

Change the background color to red

Source §

fn green(&self) -> FgColorDisplay<'_, Green, Self>

Change the foreground color to green

Source §

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

Change the background color to green

Source §

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

Change the foreground color to yellow

Source §

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

Change the background color to yellow

Source §

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

Change the foreground color to blue

Source §

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

Change the background color to blue

Source §

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

Change the foreground color to magenta

Source §

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

Change the background color to magenta

Source §

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

Change the foreground color to purple

Source §

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

Change the background color to purple

Source §

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

Change the foreground color to cyan

Source §

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

Change the background color to cyan

Source §

fn white(&self) -> FgColorDisplay<'_, White, Self>

Change the foreground color to white

Source §

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

Change the background color to white

Source §

fn default_color(&self) -> FgColorDisplay<'_, Default, Self>

Change the foreground color to the terminal default

Source §

fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>

Change the background color to the terminal default

Source §

fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>

Change the foreground color to bright black

Source §

fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>

Change the background color to bright black

Source §

fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>

Change the foreground color to bright red

Source §

fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>

Change the background color to bright red

Source §

fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>

Change the foreground color to bright green

Source §

fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>

Change the background color to bright green

Source §

fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>

Change the foreground color to bright yellow

Source §

fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>

Change the background color to bright yellow

Source §

fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>

Change the foreground color to bright blue

Source §

fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>

Change the background color to bright blue

Source §

fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

Change the foreground color to bright magenta

Source §

fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

Change the background color to bright magenta

Source §

fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

Change the foreground color to bright purple

Source §

fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

Change the background color to bright purple

Source §

fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>

Change the foreground color to bright cyan

Source §

fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>

Change the background color to bright cyan

Source §

fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>

Change the foreground color to bright white

Source §

fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>

Change the background color to bright white

Source §

fn bold(&self) -> BoldDisplay<'_, Self>

Make the text bold

Source §

fn dimmed(&self) -> DimDisplay<'_, Self>

Make the text dim

Source §

fn italic(&self) -> ItalicDisplay<'_, Self>

Make the text italicized

Source §

fn underline(&self) -> UnderlineDisplay<'_, Self>

Make the text underlined

Source §

fn blink(&self) -> BlinkDisplay<'_, Self>

Make the text blink

Source §

fn blink_fast(&self) -> BlinkFastDisplay<'_, Self>

Make the text blink (but fast!)

Source §

fn reversed(&self) -> ReversedDisplay<'_, Self>

Swap the foreground and background colors

Source §

fn hidden(&self) -> HiddenDisplay<'_, Self>

Hide the text

Source §

fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>

Cross out the text

Source §

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

Set the foreground color at runtime. Only use if you do not know which color will be used at compile-time. If the color is constant, use either OwoColorize::fg or a color-specific method, such as OwoColorize::green, Read more

Source §

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

Set the background color at runtime. Only use if you do not know what color to use at compile-time. If the color is constant, use either OwoColorize::bg or a color-specific method, such as OwoColorize::on_yellow, Read more

Source §

fn fg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the foreground color to a specific RGB value.

Source §

fn bg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the background color to a specific RGB value.

Source §

fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>

Sets the foreground color to an RGB value.

Source §

fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>

Sets the background color to an RGB value.

Source §

fn style(&self, style: Style) -> Styled<&Self>

Apply a runtime-determined style

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 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Enum IrInstructionKind Copy item path

Variants§

Nop

Constant

Fields

Copy

Fields

InitializeStorage

Fields

InitializeContextSlot

Fields

LoadStorage

Fields

LoadContextSlot

Fields

LoadComputed

Fields

LoadResource

Fields

GetMember

Fields

GetIndex

Fields

Select

Fields

Template

Fields

PurePackageCall

Fields

StoreStorage

Fields

CapabilityCall

Fields

CapabilityAssign

Fields

Binary

Fields

Unary

Fields

Implementations§

impl IrInstructionKind

pub const fn is_observable_side_effect(&self) -> bool

Trait Implementations§

impl Clone for IrInstructionKind

fn clone(&self) -> IrInstructionKind

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

impl Debug for IrInstructionKind

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

impl Eq for IrInstructionKind

impl PartialEq for IrInstructionKind

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

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

impl StructuralPartialEq for IrInstructionKind

Auto Trait Implementations§

impl Freeze for IrInstructionKind

impl RefUnwindSafe for IrInstructionKind

impl Send for IrInstructionKind

impl Sync for IrInstructionKind

impl Unpin for IrInstructionKind

impl UnsafeUnpin for IrInstructionKind

impl UnwindSafe for IrInstructionKind

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

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

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<'a, T> FromIn<'a, T> for T

fn from_in(t: T, _: &'a Allocator) -> T

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

fn into(self) -> U

impl<'a, T, U> IntoIn<'a, U> for Twhere U: FromIn<'a, T>,

fn into_in(self, allocator: &'a Allocator) -> U

Enum IrInstructionKind

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> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

impl<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

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