Enum CallConv

pub enum CallConv {
    Fast,
    Cold,
    Tail,
    SystemV,
    WindowsFastcall,
    AppleAarch64,
    Probestack,
    Winch,
}
Expand description

Calling convention identifiers.

Variants§

§

Fast

Best performance, not ABI-stable.

§

Cold

Smallest caller code size, not ABI-stable.

§

Tail

Supports tail calls, not ABI-stable except for exception payload registers.

On exception resume, a caller to a tail-convention function assumes that the exception payload values are in the following registers (per platform):

  • x86-64: rax, rdx
  • aarch64: x0, x1
  • riscv64: a0, a1
  • pulley{32,64}: x0, x1
§

SystemV

System V-style convention used on many platforms.

§

WindowsFastcall

Windows “fastcall” convention, also used for x64 and ARM.

§

AppleAarch64

Mac aarch64 calling convention, which is a tweaked aarch64 ABI.

§

Probestack

Specialized convention for the probestack function.

§

Winch

The winch calling convention, not ABI-stable.

The main difference to SystemV is that the winch calling convention defines no callee-save registers, and restricts the number of return registers to one integer, and one floating point.

Implementations§

§

impl CallConv

pub fn triple_default(triple: &Triple) -> CallConv

Return the default calling convention for the given target triple.

pub fn for_libcall(flags: &Flags, default_call_conv: CallConv) -> CallConv

Returns the calling convention used for libcalls according to the current flags.

pub fn supports_tail_calls(&self) -> bool

Does this calling convention support tail calls?

pub fn supports_exceptions(&self) -> bool

Does this calling convention support exceptions?

pub fn exception_payload_types(&self, pointer_ty: Type) -> &[Type]

What types do the exception payload value(s) have?

Note that this function applies to the callee of a try_call instruction. The calling convention of the callee may differ from the caller, but the exceptional payload types available are defined by the callee calling convention.

Also note that individual backends are responsible for reporting register destinations for exceptional types. Internally Cranelift asserts that the backend supports the exact same number of register destinations as this return value.

Trait Implementations§

§

impl Clone for CallConv

§

fn clone(&self) -> CallConv

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
§

impl Debug for CallConv

§

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

Formats the value using the given formatter. Read more
§

impl<'de> Deserialize<'de> for CallConv

§

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

Deserialize this value from the given Serde deserializer. Read more
§

impl Display for CallConv

§

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

Formats the value using the given formatter. Read more
§

impl FromStr for CallConv

§

type Err = ()

The associated error which can be returned from parsing.
§

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

Parses a string s to return a value of this type. Read more
§

impl Hash for CallConv

§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
§

impl PartialEq for CallConv

§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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 Serialize for CallConv

§

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. Read more
§

impl Copy for CallConv

§

impl Eq for CallConv

§

impl StructuralPartialEq for CallConv

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
§

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

§

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

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

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

§

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

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. 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> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,