Skip to main content

invoke_linked_function

shape_vm::executor::native_abi

Function invoke_linked_function 

Source 
pub fn invoke_linked_function(
    _linked: &NativeLinkedFunction,
    _args: &[KindedSlot],
    _raw_invoker: Option<RawCallableInvoker>,
    _vm_stack_data: Option<&mut [u64]>,
    _vm_stack_kinds: Option<&mut [NativeKind]>,
) -> Result<KindedSlot, String>
Expand description

Phase-2c surface stub. Pre-rebuild body marshalled &[ValueWord] args into libffi argument buffers per CType arm, called libffi via Cif::call::<T>, and decoded the return value into a ValueWord via the deleted from_native_* / from_string / from_array(vmarray_from_vec(...)) constructors. Rebuild target signature: &[KindedSlot] -> Result<KindedSlot, String> with per-NativeKind arg dispatch at the body site (§2.7.6) and a kinded result whose NativeKind is sourced from the FFI return CType (post-proof per §2.7.5.1). The vm_stack writeback path for cmut_slice<T> argument writebacks rebuilds against the §2.7.7 parallel (stack: &mut [u64], kinds: &mut [NativeKind]) pair.