Enum IntrinsicOp 

pub enum IntrinsicOp {
    Abort,
    Assume,
    Exit,
    PrintStdout,
    PrintStderr,
    Allocate,
    Deallocate,
    Spawn,
    Join,
    RawEq,
    AtomicStore,
    AtomicLoad,
    AtomicCompareExchange,
    AtomicFetchAndOp(IntBinOp),
    Lock(IntrinsicLockOp),
    PointerExposeProvenance,
    PointerWithExposedProvenance,
    GetUnwindPayload,
}

The intrinsic operations supported by MiniRust. Generally we only make things intrinsics if they cannot be operands, i.e. they are non-deterministic or mutate the global state. We also make them intrinsic if they return (), because an operand that does not return anything is kind of odd.

Variants

Abort

Assume

Exit

PrintStdout

PrintStderr

Allocate

Deallocate

Spawn

Join

RawEq

Determines whether the raw bytes pointed to by two pointers are equal. (Can’t be an operand because it reads from memory.)

AtomicStore

AtomicLoad

AtomicCompareExchange

AtomicFetchAndOp(IntBinOp)

Lock(IntrinsicLockOp)

PointerExposeProvenance

‘Expose’ the provenance a pointer so that it can later be cast to an integer. The address part of the pointer is stored in destination.

PointerWithExposedProvenance

Create a new pointer from the given address with some previously exposed provenance.

GetUnwindPayload

Access the current unwinding payload. UB if not currently unwinding.

Trait Implementations

impl Clone for IntrinsicOp

fn clone(&self) -> IntrinsicOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IntrinsicOp

impl Debug for IntrinsicOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntrinsicOp

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IntrinsicOp

impl Hash for IntrinsicOp

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

where __H: Hasher,

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 Ord for IntrinsicOp

fn cmp(&self, other: &IntrinsicOp) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

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

Restrict a value to a certain range.

impl PartialEq for IntrinsicOp

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for IntrinsicOp

fn partial_cmp(&self, other: &IntrinsicOp) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for IntrinsicOp

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for IntrinsicOp