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§
sourcefn 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 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
sourcefn type_test(
&mut self,
pointer: Self::Value,
typeid: Self::Value,
) -> 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.
sourcefn type_checked_load(
&mut self,
llvtable: Self::Value,
vtable_byte_offset: u64,
typeid: Self::Value,
) -> Self::Value
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.