Enum IntOpDef

#[non_exhaustive]
pub enum IntOpDef {
    iwiden_u,
    iwiden_s,
    inarrow_u,
    inarrow_s,
    ieq,
    ine,
    ilt_u,
    ilt_s,
    igt_u,
    igt_s,
    ile_u,
    ile_s,
    ige_u,
    ige_s,
    imax_u,
    imax_s,
    imin_u,
    imin_s,
    iadd,
    isub,
    ineg,
    imul,
    idivmod_checked_u,
    idivmod_u,
    idivmod_checked_s,
    idivmod_s,
    idiv_checked_u,
    idiv_u,
    imod_checked_u,
    imod_u,
    idiv_checked_s,
    idiv_s,
    imod_checked_s,
    imod_s,
    ipow,
    iabs,
    iand,
    ior,
    ixor,
    inot,
    ishl,
    ishr,
    irotl,
    irotr,
    iu_to_s,
    is_to_u,
}

Integer extension operation definitions.

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.

iwiden_u

iwiden_s

inarrow_u

inarrow_s

ieq

ine

ilt_u

ilt_s

igt_u

igt_s

ile_u

ile_s

ige_u

ige_s

imax_u

imax_s

imin_u

imin_s

iadd

isub

ineg

imul

idivmod_checked_u

idivmod_u

idivmod_checked_s

idivmod_s

idiv_checked_u

idiv_u

imod_checked_u

imod_u

idiv_checked_s

idiv_s

imod_checked_s

imod_s

ipow

iabs

iand

ior

ixor

inot

ishl

ishr

irotl

irotr

iu_to_s

is_to_u

Implementations

impl IntOpDef

pub fn without_log_width(self) -> ConcreteIntOp

Initialize a ConcreteIntOp from a IntOpDef which requires no integer widths set.

pub fn with_log_width(self, log_width: u8) -> ConcreteIntOp

Initialize a ConcreteIntOp from a IntOpDef which requires one integer width set.

pub fn with_two_log_widths( self, first_log_width: u8, second_log_width: u8, ) -> ConcreteIntOp

Initialize a ConcreteIntOp from a IntOpDef which requires two integer widths set.

Trait Implementations

impl Clone for IntOpDef

fn clone(&self) -> IntOpDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntOpDef

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

Formats the value using the given formatter.

impl<'_derivative_strum> From<&'_derivative_strum IntOpDef> for &'static str

fn from(x: &'_derivative_strum IntOpDef) -> &'static str

Converts to this type from the input type.

impl From<IntOpDef> for &'static str

fn from(x: IntOpDef) -> &'static str

Converts to this type from the input type.

impl FromStr for IntOpDef

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<IntOpDef, <Self as FromStr>::Err>

Parses a string s to return a value of this type.

impl HasConcrete for IntOpDef

type Concrete = ConcreteIntOp

Associated concrete type.

fn instantiate( &self, type_args: &[TypeArg], ) -> Result<Self::Concrete, OpLoadError>

Instantiate the operation with type arguments.

impl Hash for IntOpDef

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 IntoEnumIterator for IntOpDef

type Iterator = IntOpDefIter

fn iter() -> IntOpDefIter

impl MakeOpDef for IntOpDef

fn opdef_id(&self) -> OpName

The OpDef::name which will be used when Self is added to an Extension or when Self is loaded from an OpDef.

fn from_def(op_def: &OpDef) -> Result<Self, OpLoadError>

Try to load one of the operations of this set from an OpDef.

fn extension(&self) -> ExtensionId

The ID of the extension this operation is defined in.

fn extension_ref(&self) -> Weak<Extension>

Returns a weak reference to the extension this operation is defined in.

fn init_signature(&self, _extension_ref: &Weak<Extension>) -> SignatureFunc

Compute the signature of the operation while the extension definition is being built.

fn description(&self) -> String

Description of the operation. By default, the same as self.opdef_id().

fn post_opdef(&self, def: &mut OpDef)

Edit the opdef before finalising. By default does nothing.

fn signature(&self) -> SignatureFunc

Return the signature (polymorphic function type) of the operation.

fn add_to_extension( &self, extension: &mut Extension, extension_ref: &Weak<Extension>, ) -> Result<(), ExtensionBuildError>

Add an operation implemented as an MakeOpDef, which can provide the data required to define an OpDef, to an extension.

fn load_all_ops( extension: &mut Extension, extension_ref: &Weak<Extension>, ) -> Result<(), ExtensionBuildError>

where Self: IntoEnumIterator,

Load all variants of an enum of op definitions in to an extension as op defs. See strum::IntoEnumIterator.

fn from_op(ext_op: &ExtensionOp) -> Result<Self, OpLoadError>

where Self: Sized + FromStr,

If the definition can be loaded from a string, load from an ExtensionOp.

impl PartialEq for IntOpDef

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<&str> for IntOpDef

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(s: &str) -> Result<IntOpDef, <Self as TryFrom<&str>>::Error>

Performs the conversion.

impl Copy for IntOpDef

impl Eq for IntOpDef

impl StructuralPartialEq for IntOpDef