Skip to main content

Module intrinsics

rustc_const_eval::interpret

Module intrinsics 

Source
Expand description

Intrinsics and other functions that the interpreter executes without looking at their MIR. Intrinsics/functions supported here are shared by CTFE and miri.

Re-exports§

use std::assert_matches; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_abi::HasDataLayout; 🔒
use rustc_abi::Size; 🔒
use rustc_abi::VariantIdx; 🔒
use rustc_apfloat::ieee::Double; 🔒
use rustc_apfloat::ieee::Half; 🔒
use rustc_apfloat::ieee::Quad; 🔒
use rustc_apfloat::ieee::Single; 🔒
use rustc_ast::IntTy; 🔒
use rustc_ast::UintTy; 🔒
use rustc_middle::mir::interpret::CTFE_ALLOC_SALT; 🔒
use rustc_middle::mir::interpret::read_target_uint; 🔒
use rustc_middle::mir::interpret::write_target_uint; 🔒
use rustc_middle::mir; 🔒
use rustc_middle::mir::BinOp; 🔒
use rustc_middle::mir::ConstValue; 🔒
use rustc_middle::mir::NonDivergingIntrinsic; 🔒
use rustc_middle::ty::layout::TyAndLayout; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::FloatTy; 🔒
use rustc_middle::ty::ScalarInt; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_span::Symbol; 🔒
use rustc_span::bug; 🔒
use rustc_span::kw; 🔒
use rustc_span::span_bug; 🔒
use rustc_span::sym; 🔒
use tracing::trace; 🔒
use super::memory::MemoryKind; 🔒
use super::util::ensure_monomorphic_enough; 🔒
use super::AllocId; 🔒
use super::AtomicRmwOp; 🔒
use super::CheckInAllocMsg; 🔒
use super::ImmTy; 🔒
use super::Immediate; 🔒
use super::InterpCx; 🔒
use super::InterpResult; 🔒
use super::Machine; 🔒
use super::OpTy; 🔒
use super::PlaceTy; 🔒
use super::Pointer; 🔒
use super::PointerArithmetic; 🔒
use super::Projectable; 🔒
use super::Provenance; 🔒
use super::Scalar; 🔒
use super::err_ub_format; 🔒
use super::err_unsup_format; 🔒
use super::interp_ok; 🔒
use super::throw_inval; 🔒
use super::throw_ub; 🔒
use super::throw_ub_format; 🔒
use crate::interpret::MPlaceTy; 🔒
use crate::interpret::Writeable; 🔒

Modules§

atomic 🔒
simd 🔒

Enums§

MinMax 🔒
MulAddType 🔒
VarArgCompatible
Whether two types T and U are compatible when a value of type T is passed as a c-variadic argument and read as a value of type U.

Functions§

alloc_type_name 🔒
Directly returns an Allocation containing an absolute path representation of the given type.