pub struct FnAbi<'a, Ty> {
    pub args: Box<[ArgAbi<'a, Ty>], Global>,
    pub ret: ArgAbi<'a, Ty>,
    pub c_variadic: bool,
    pub fixed_count: u32,
    pub conv: Conv,
    pub can_unwind: bool,
}
Expand description

Metadata describing how the arguments to a native function should be passed in order to respect the native ABI.

I will do my best to describe this structure, but these comments are reverse-engineered and may be inaccurate. -NDM

Fields§

§args: Box<[ArgAbi<'a, Ty>], Global>

The LLVM types of each argument.

§ret: ArgAbi<'a, Ty>

LLVM return type.

§c_variadic: bool§fixed_count: u32

The count of non-variadic arguments.

Should only be different from args.len() when c_variadic is true. This can be used to know whether an argument is variadic or not.

§conv: Conv§can_unwind: bool

Trait Implementations§

source§

impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>>

source§

fn llvm_type(&self, cx: &CodegenCx<'ll, 'tcx>) -> &'ll Type

source§

fn ptr_to_llvm_type(&self, cx: &CodegenCx<'ll, 'tcx>) -> &'ll Type

source§

fn llvm_cconv(&self) -> CallConv

source§

fn apply_attrs_llfn(&self, cx: &CodegenCx<'ll, 'tcx>, llfn: &'ll Value)

source§

fn apply_attrs_callsite( &self, bx: &mut Builder<'_, 'll, 'tcx>, callsite: &'ll Value )

Auto Trait Implementations§

§

impl<'a, Ty> RefUnwindSafe for FnAbi<'a, Ty>where Ty: RefUnwindSafe,

§

impl<'a, Ty> Send for FnAbi<'a, Ty>where Ty: Send,

§

impl<'a, Ty> Sync for FnAbi<'a, Ty>where Ty: Sync,

§

impl<'a, Ty> Unpin for FnAbi<'a, Ty>where Ty: Unpin,

§

impl<'a, Ty> UnwindSafe for FnAbi<'a, Ty>where Ty: UnwindSafe,

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere 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> ToOwned for Twhere T: Clone,

§

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<U> for Twhere U: Into<T>,

§

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 Twhere U: TryFrom<T>,

§

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.

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.