Struct CallInfo

pub struct CallInfo<T> {
    pub dest: T,
    pub uses: SmallVec<[CallArgPair; 8]>,
    pub defs: SmallVec<[CallRetPair; 8]>,
    pub clobbers: PRegSet,
    pub callee_conv: CallConv,
    pub caller_conv: CallConv,
    pub callee_pop_size: u32,
    pub try_call_info: Option<TryCallInfo>,
}

Out-of-line data for calls, to keep the size of Inst down.

Fields

dest: T

Receiver of this call

uses: SmallVec<[CallArgPair; 8]>

Register uses of this call.

defs: SmallVec<[CallRetPair; 8]>

Register defs of this call.

clobbers: PRegSet

Registers clobbered by this call, as per its calling convention.

callee_conv: CallConv

The calling convention of the callee.

caller_conv: CallConv

The calling convention of the caller.

callee_pop_size: u32

The number of bytes that the callee will pop from the stack for the caller, if any. (Used for popping stack arguments with the tail calling convention.)

try_call_info: Option<TryCallInfo>

Information for a try-call, if this is one. We combine handling of calls and try-calls as much as possible to share argument/return logic; they mostly differ in the metadata that they emit, which this information feeds into.

Implementations

impl<T> CallInfo<T>

pub fn empty(dest: T, call_conv: CallConv) -> CallInfo<T>

Creates an empty set of info with no clobbers/uses/etc with the specified ABI

pub fn map<U>(self, f: impl FnOnce(T) -> U) -> CallInfo<U>

Change the T payload on this info to U.

impl<T> CallInfo<T>

pub fn emit_retval_loads<M: ABIMachineSpec, EmitFn: FnMut(M::I), IslandFn: Fn(u32) -> Option<M::I>>( &self, stackslots_size: u32, emit: EmitFn, emit_island: IslandFn, )

Emit loads for any stack-carried return values using the call info and allocations.

Trait Implementations

impl<T: Clone> Clone for CallInfo<T>

fn clone(&self) -> CallInfo<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for CallInfo<T>

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

Formats the value using the given formatter.