Trait rustc_codegen_ssa::traits::IntrinsicCallMethods

pub trait IntrinsicCallMethods<'tcx>: BackendTypes {
    // Required methods
    fn codegen_intrinsic_call(
        &mut self,
        instance: Instance<'tcx>,
        fn_abi: &FnAbi<'tcx, Ty<'tcx>>,
        args: &[OperandRef<'tcx, Self::Value>],
        llresult: Self::Value,
        span: Span,
    ) -> Result<(), Instance<'tcx>>;
    fn abort(&mut self);
    fn assume(&mut self, val: Self::Value);
    fn expect(&mut self, cond: Self::Value, expected: bool) -> Self::Value;
    fn type_test(
        &mut self,
        pointer: Self::Value,
        typeid: Self::Value,
    ) -> Self::Value;
    fn type_checked_load(
        &mut self,
        llvtable: Self::Value,
        vtable_byte_offset: u64,
        typeid: Self::Value,
    ) -> Self::Value;
    fn va_start(&mut self, val: Self::Value) -> Self::Value;
    fn va_end(&mut self, val: Self::Value) -> Self::Value;
}

Required Methods

fn codegen_intrinsic_call( &mut self, instance: Instance<'tcx>, fn_abi: &FnAbi<'tcx, Ty<'tcx>>, args: &[OperandRef<'tcx, Self::Value>], llresult: Self::Value, span: Span, ) -> Result<(), Instance<'tcx>>

Remember to add all intrinsics here, in compiler/rustc_hir_analysis/src/check/mod.rs, and in library/core/src/intrinsics.rs; if you need access to any LLVM intrinsics, add them to compiler/rustc_codegen_llvm/src/context.rs. Returns Err if another instance should be called instead. This is used to invoke intrinsic default bodies in case an intrinsic is not implemented by the backend.

fn abort(&mut self)

fn assume(&mut self, val: Self::Value)

fn expect(&mut self, cond: Self::Value, expected: bool) -> Self::Value

fn type_test( &mut self, pointer: Self::Value, typeid: Self::Value, ) -> Self::Value

Trait method used to test whether a given pointer is associated with a type identifier.

fn type_checked_load( &mut self, llvtable: Self::Value, vtable_byte_offset: u64, typeid: Self::Value, ) -> Self::Value

Trait method used to load a function while testing if it is associated with a type identifier.

fn va_start(&mut self, val: Self::Value) -> Self::Value

Trait method used to inject va_start on the “spoofed” VaListImpl in Rust defined C-variadic functions.

fn va_end(&mut self, val: Self::Value) -> Self::Value

Trait method used to inject va_end on the “spoofed” VaListImpl before Rust defined C-variadic functions return.

Implementors