Skip to main content

Module operand

Module operand 

Source
Expand description

Functions concerning immediate values and operands, and reading from operands. All high-level functions to read from memory work on operands as sources.

Re-exportsยง

use std::assert_matches; ๐Ÿ”’
use either::Either; ๐Ÿ”’
use either::Left; ๐Ÿ”’
use either::Right; ๐Ÿ”’
use rustc_abi as abi; ๐Ÿ”’
use rustc_abi as abi; ๐Ÿ”’
use rustc_abi::BackendRepr; ๐Ÿ”’
use rustc_abi::HasDataLayout; ๐Ÿ”’
use rustc_abi::Size; ๐Ÿ”’
use rustc_hir::def::Namespace; ๐Ÿ”’
use rustc_middle::ty::layout::HasTyCtxt; ๐Ÿ”’
use rustc_middle::ty::layout::HasTypingEnv; ๐Ÿ”’
use rustc_middle::ty::layout::TyAndLayout; ๐Ÿ”’
use rustc_middle::ty::print::FmtPrinter; ๐Ÿ”’
use rustc_middle::ty::print::PrettyPrinter; ๐Ÿ”’
use rustc_middle::ty::ConstInt; ๐Ÿ”’
use rustc_middle::ty::ScalarInt; ๐Ÿ”’
use rustc_middle::ty::Ty; ๐Ÿ”’
use rustc_middle::ty::TyCtxt; ๐Ÿ”’
use rustc_middle::mir; ๐Ÿ”’
use rustc_middle::ty; ๐Ÿ”’
use rustc_span::DUMMY_SP; ๐Ÿ”’
use rustc_span::bug; ๐Ÿ”’
use rustc_span::span_bug; ๐Ÿ”’
use tracing::field::Empty; ๐Ÿ”’
use tracing::trace; ๐Ÿ”’
use super::CtfeProvenance; ๐Ÿ”’
use super::Frame; ๐Ÿ”’
use super::InterpCx; ๐Ÿ”’
use super::InterpResult; ๐Ÿ”’
use super::MPlaceTy; ๐Ÿ”’
use super::Machine; ๐Ÿ”’
use super::MemPlace; ๐Ÿ”’
use super::MemPlaceMeta; ๐Ÿ”’
use super::OffsetMode; ๐Ÿ”’
use super::PlaceTy; ๐Ÿ”’
use super::Pointer; ๐Ÿ”’
use super::Projectable; ๐Ÿ”’
use super::Provenance; ๐Ÿ”’
use super::Scalar; ๐Ÿ”’
use super::alloc_range; ๐Ÿ”’
use super::err_ub; ๐Ÿ”’
use super::from_known_layout; ๐Ÿ”’
use super::interp_ok; ๐Ÿ”’
use super::mir_assign_valid_types; ๐Ÿ”’
use super::throw_ub; ๐Ÿ”’
use crate::enter_trace_span; ๐Ÿ”’

Modulesยง

size_asserts ๐Ÿ”’

Structsยง

ImmTy
OpTy

Enumsยง

Immediate
An Immediate represents a single immediate self-contained Rust value.
Operand ๐Ÿ”’
An Operand is the result of computing a mir::Operand. It can be immediate, or still in memory. The latter is an optimization, to delay reading that chunk of memory and to avoid having to store arbitrary-sized data here.