1use std::assert_matches::assert_matches;
6
7use either::{Either, Left, Right};
8use rustc_abi::{BackendRepr, HasDataLayout, Size};
9use rustc_middle::ty::Ty;
10use rustc_middle::ty::layout::TyAndLayout;
11use rustc_middle::{bug, mir, span_bug};
12use tracing::field::Empty;
13use tracing::{instrument, trace};
14
15use super::{
16 AllocInit, AllocRef, AllocRefMut, CheckAlignMsg, CtfeProvenance, ImmTy, Immediate, InterpCx,
17 InterpResult, Machine, MemoryKind, Misalignment, OffsetMode, OpTy, Operand, Pointer,
18 Projectable, Provenance, Scalar, alloc_range, interp_ok, mir_assign_valid_types,
19};
20use crate::enter_trace_span;
21
22#[derive(Copy, Clone, Hash, PartialEq, Eq, Debug)]
23pub enum MemPlaceMeta<Prov: Provenance = CtfeProvenance> {
25 Meta(Scalar<Prov>),
27 None,
29}
30
31impl<Prov: Provenance> MemPlaceMeta<Prov> {
32 #[cfg_attr(debug_assertions, track_caller)] pub fn unwrap_meta(self) -> Scalar<Prov> {
34 match self {
35 Self::Meta(s) => s,
36 Self::None => {
37 bug!("expected wide pointer extra data (e.g. slice length or trait object vtable)")
38 }
39 }
40 }
41
42 #[inline(always)]
43 pub fn has_meta(self) -> bool {
44 match self {
45 Self::Meta(_) => true,
46 Self::None => false,
47 }
48 }
49}
50
51#[derive(Copy, Clone, Hash, PartialEq, Eq, Debug)]
52pub(super) struct MemPlace<Prov: Provenance = CtfeProvenance> {
53 pub ptr: Pointer<Option<Prov>>,
55 pub meta: MemPlaceMeta<Prov>,
59 misaligned: Option<Misalignment>,
61}
62
63impl<Prov: Provenance> MemPlace<Prov> {
64 fn map_provenance(self, f: impl FnOnce(Prov) -> Prov) -> Self {
66 MemPlace { ptr: self.ptr.map_provenance(|p| p.map(f)), ..self }
67 }
68
69 #[inline]
71 fn to_ref(self, cx: &impl HasDataLayout) -> Immediate<Prov> {
72 Immediate::new_pointer_with_meta(self.ptr, self.meta, cx)
73 }
74
75 #[inline]
76 fn offset_with_meta_<'tcx, M: Machine<'tcx, Provenance = Prov>>(
78 self,
79 offset: Size,
80 mode: OffsetMode,
81 meta: MemPlaceMeta<Prov>,
82 ecx: &InterpCx<'tcx, M>,
83 ) -> InterpResult<'tcx, Self> {
84 debug_assert!(
85 !meta.has_meta() || self.meta.has_meta(),
86 "cannot use `offset_with_meta` to add metadata to a place"
87 );
88 let ptr = match mode {
89 OffsetMode::Inbounds => {
90 ecx.ptr_offset_inbounds(self.ptr, offset.bytes().try_into().unwrap())?
91 }
92 OffsetMode::Wrapping => self.ptr.wrapping_offset(offset, ecx),
93 };
94 interp_ok(MemPlace { ptr, meta, misaligned: self.misaligned })
95 }
96}
97
98#[derive(Clone, Hash, Eq, PartialEq)]
100pub struct MPlaceTy<'tcx, Prov: Provenance = CtfeProvenance> {
101 mplace: MemPlace<Prov>,
102 pub layout: TyAndLayout<'tcx>,
103}
104
105impl<Prov: Provenance> std::fmt::Debug for MPlaceTy<'_, Prov> {
106 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
107 f.debug_struct("MPlaceTy")
109 .field("mplace", &self.mplace)
110 .field("ty", &format_args!("{}", self.layout.ty))
111 .finish()
112 }
113}
114
115impl<'tcx, Prov: Provenance> MPlaceTy<'tcx, Prov> {
116 #[inline]
120 pub fn fake_alloc_zst(layout: TyAndLayout<'tcx>) -> Self {
121 assert!(layout.is_zst());
122 let align = layout.align.abi;
123 let ptr = Pointer::without_provenance(align.bytes()); MPlaceTy { mplace: MemPlace { ptr, meta: MemPlaceMeta::None, misaligned: None }, layout }
125 }
126
127 pub fn map_provenance(self, f: impl FnOnce(Prov) -> Prov) -> Self {
129 MPlaceTy { mplace: self.mplace.map_provenance(f), ..self }
130 }
131
132 #[inline(always)]
133 pub(super) fn mplace(&self) -> &MemPlace<Prov> {
134 &self.mplace
135 }
136
137 #[inline(always)]
138 pub fn ptr(&self) -> Pointer<Option<Prov>> {
139 self.mplace.ptr
140 }
141
142 #[inline(always)]
143 pub fn to_ref(&self, cx: &impl HasDataLayout) -> Immediate<Prov> {
144 self.mplace.to_ref(cx)
145 }
146}
147
148impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for MPlaceTy<'tcx, Prov> {
149 #[inline(always)]
150 fn layout(&self) -> TyAndLayout<'tcx> {
151 self.layout
152 }
153
154 #[inline(always)]
155 fn meta(&self) -> MemPlaceMeta<Prov> {
156 self.mplace.meta
157 }
158
159 fn offset_with_meta<M: Machine<'tcx, Provenance = Prov>>(
160 &self,
161 offset: Size,
162 mode: OffsetMode,
163 meta: MemPlaceMeta<Prov>,
164 layout: TyAndLayout<'tcx>,
165 ecx: &InterpCx<'tcx, M>,
166 ) -> InterpResult<'tcx, Self> {
167 interp_ok(MPlaceTy {
168 mplace: self.mplace.offset_with_meta_(offset, mode, meta, ecx)?,
169 layout,
170 })
171 }
172
173 #[inline(always)]
174 fn to_op<M: Machine<'tcx, Provenance = Prov>>(
175 &self,
176 _ecx: &InterpCx<'tcx, M>,
177 ) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>> {
178 interp_ok(self.clone().into())
179 }
180}
181
182#[derive(Copy, Clone, Debug)]
183pub(super) enum Place<Prov: Provenance = CtfeProvenance> {
184 Ptr(MemPlace<Prov>),
186
187 Local { local: mir::Local, offset: Option<Size>, locals_addr: usize },
199}
200
201#[derive(Clone)]
208pub struct PlaceTy<'tcx, Prov: Provenance = CtfeProvenance> {
209 place: Place<Prov>, pub layout: TyAndLayout<'tcx>,
211}
212
213impl<Prov: Provenance> std::fmt::Debug for PlaceTy<'_, Prov> {
214 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
215 f.debug_struct("PlaceTy")
217 .field("place", &self.place)
218 .field("ty", &format_args!("{}", self.layout.ty))
219 .finish()
220 }
221}
222
223impl<'tcx, Prov: Provenance> From<MPlaceTy<'tcx, Prov>> for PlaceTy<'tcx, Prov> {
224 #[inline(always)]
225 fn from(mplace: MPlaceTy<'tcx, Prov>) -> Self {
226 PlaceTy { place: Place::Ptr(mplace.mplace), layout: mplace.layout }
227 }
228}
229
230impl<'tcx, Prov: Provenance> PlaceTy<'tcx, Prov> {
231 #[inline(always)]
232 pub(super) fn place(&self) -> &Place<Prov> {
233 &self.place
234 }
235
236 #[inline(always)]
244 pub fn as_mplace_or_local(
245 &self,
246 ) -> Either<MPlaceTy<'tcx, Prov>, (mir::Local, Option<Size>, usize, TyAndLayout<'tcx>)> {
247 match self.place {
248 Place::Ptr(mplace) => Left(MPlaceTy { mplace, layout: self.layout }),
249 Place::Local { local, offset, locals_addr } => {
250 Right((local, offset, locals_addr, self.layout))
251 }
252 }
253 }
254
255 #[inline(always)]
256 #[cfg_attr(debug_assertions, track_caller)] pub fn assert_mem_place(&self) -> MPlaceTy<'tcx, Prov> {
258 self.as_mplace_or_local().left().unwrap_or_else(|| {
259 bug!(
260 "PlaceTy of type {} was a local when it was expected to be an MPlace",
261 self.layout.ty
262 )
263 })
264 }
265}
266
267impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for PlaceTy<'tcx, Prov> {
268 #[inline(always)]
269 fn layout(&self) -> TyAndLayout<'tcx> {
270 self.layout
271 }
272
273 #[inline]
274 fn meta(&self) -> MemPlaceMeta<Prov> {
275 match self.as_mplace_or_local() {
276 Left(mplace) => mplace.meta(),
277 Right(_) => {
278 debug_assert!(self.layout.is_sized(), "unsized locals should live in memory");
279 MemPlaceMeta::None
280 }
281 }
282 }
283
284 fn offset_with_meta<M: Machine<'tcx, Provenance = Prov>>(
285 &self,
286 offset: Size,
287 mode: OffsetMode,
288 meta: MemPlaceMeta<Prov>,
289 layout: TyAndLayout<'tcx>,
290 ecx: &InterpCx<'tcx, M>,
291 ) -> InterpResult<'tcx, Self> {
292 interp_ok(match self.as_mplace_or_local() {
293 Left(mplace) => mplace.offset_with_meta(offset, mode, meta, layout, ecx)?.into(),
294 Right((local, old_offset, locals_addr, _)) => {
295 debug_assert!(layout.is_sized(), "unsized locals should live in memory");
296 assert_matches!(meta, MemPlaceMeta::None); assert!(offset + layout.size <= self.layout.size);
301
302 let new_offset = old_offset.unwrap_or(Size::ZERO) + offset;
304
305 PlaceTy {
306 place: Place::Local { local, offset: Some(new_offset), locals_addr },
307 layout,
308 }
309 }
310 })
311 }
312
313 #[inline(always)]
314 fn to_op<M: Machine<'tcx, Provenance = Prov>>(
315 &self,
316 ecx: &InterpCx<'tcx, M>,
317 ) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>> {
318 ecx.place_to_op(self)
319 }
320}
321
322impl<'tcx, Prov: Provenance> OpTy<'tcx, Prov> {
324 #[inline(always)]
325 pub fn as_mplace_or_imm(&self) -> Either<MPlaceTy<'tcx, Prov>, ImmTy<'tcx, Prov>> {
326 match self.op() {
327 Operand::Indirect(mplace) => Left(MPlaceTy { mplace: *mplace, layout: self.layout }),
328 Operand::Immediate(imm) => Right(ImmTy::from_immediate(*imm, self.layout)),
329 }
330 }
331
332 #[inline(always)]
333 #[cfg_attr(debug_assertions, track_caller)] pub fn assert_mem_place(&self) -> MPlaceTy<'tcx, Prov> {
335 self.as_mplace_or_imm().left().unwrap_or_else(|| {
336 bug!(
337 "OpTy of type {} was immediate when it was expected to be an MPlace",
338 self.layout.ty
339 )
340 })
341 }
342}
343
344pub trait Writeable<'tcx, Prov: Provenance>: Projectable<'tcx, Prov> {
346 fn to_place(&self) -> PlaceTy<'tcx, Prov>;
347
348 fn force_mplace<M: Machine<'tcx, Provenance = Prov>>(
349 &self,
350 ecx: &mut InterpCx<'tcx, M>,
351 ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>>;
352}
353
354impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for PlaceTy<'tcx, Prov> {
355 #[inline(always)]
356 fn to_place(&self) -> PlaceTy<'tcx, Prov> {
357 self.clone()
358 }
359
360 #[inline(always)]
361 fn force_mplace<M: Machine<'tcx, Provenance = Prov>>(
362 &self,
363 ecx: &mut InterpCx<'tcx, M>,
364 ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>> {
365 ecx.force_allocation(self)
366 }
367}
368
369impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for MPlaceTy<'tcx, Prov> {
370 #[inline(always)]
371 fn to_place(&self) -> PlaceTy<'tcx, Prov> {
372 self.clone().into()
373 }
374
375 #[inline(always)]
376 fn force_mplace<M: Machine<'tcx, Provenance = Prov>>(
377 &self,
378 _ecx: &mut InterpCx<'tcx, M>,
379 ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>> {
380 interp_ok(self.clone())
381 }
382}
383
384impl<'tcx, Prov, M> InterpCx<'tcx, M>
386where
387 Prov: Provenance,
388 M: Machine<'tcx, Provenance = Prov>,
389{
390 fn ptr_with_meta_to_mplace(
391 &self,
392 ptr: Pointer<Option<M::Provenance>>,
393 meta: MemPlaceMeta<M::Provenance>,
394 layout: TyAndLayout<'tcx>,
395 unaligned: bool,
396 ) -> MPlaceTy<'tcx, M::Provenance> {
397 let misaligned =
398 if unaligned { None } else { self.is_ptr_misaligned(ptr, layout.align.abi) };
399 MPlaceTy { mplace: MemPlace { ptr, meta, misaligned }, layout }
400 }
401
402 pub fn ptr_to_mplace(
403 &self,
404 ptr: Pointer<Option<M::Provenance>>,
405 layout: TyAndLayout<'tcx>,
406 ) -> MPlaceTy<'tcx, M::Provenance> {
407 assert!(layout.is_sized());
408 self.ptr_with_meta_to_mplace(ptr, MemPlaceMeta::None, layout, false)
409 }
410
411 pub fn ptr_to_mplace_unaligned(
412 &self,
413 ptr: Pointer<Option<M::Provenance>>,
414 layout: TyAndLayout<'tcx>,
415 ) -> MPlaceTy<'tcx, M::Provenance> {
416 assert!(layout.is_sized());
417 self.ptr_with_meta_to_mplace(ptr, MemPlaceMeta::None, layout, true)
418 }
419
420 pub fn ref_to_mplace(
427 &self,
428 val: &ImmTy<'tcx, M::Provenance>,
429 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
430 let pointee_type =
431 val.layout.ty.builtin_deref(true).expect("`ref_to_mplace` called on non-ptr type");
432 let layout = self.layout_of(pointee_type)?;
433 let (ptr, meta) = val.to_scalar_and_meta();
434
435 let ptr = ptr.to_pointer(self)?;
438 interp_ok(self.ptr_with_meta_to_mplace(ptr, meta, layout, false))
439 }
440
441 pub fn mplace_to_ref(
445 &self,
446 mplace: &MPlaceTy<'tcx, M::Provenance>,
447 ) -> InterpResult<'tcx, ImmTy<'tcx, M::Provenance>> {
448 let imm = mplace.mplace.to_ref(self);
449 let layout = self.layout_of(Ty::new_mut_ptr(self.tcx.tcx, mplace.layout.ty))?;
450 interp_ok(ImmTy::from_immediate(imm, layout))
451 }
452
453 #[instrument(skip(self), level = "trace")]
456 pub fn deref_pointer(
457 &self,
458 src: &impl Projectable<'tcx, M::Provenance>,
459 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
460 if src.layout().ty.is_box() {
461 bug!("dereferencing {}", src.layout().ty);
465 }
466
467 let val = self.read_immediate(src)?;
468 trace!("deref to {} on {:?}", val.layout.ty, *val);
469
470 let mplace = self.ref_to_mplace(&val)?;
471 interp_ok(mplace)
472 }
473
474 #[inline]
475 pub(super) fn get_place_alloc(
476 &self,
477 mplace: &MPlaceTy<'tcx, M::Provenance>,
478 ) -> InterpResult<'tcx, Option<AllocRef<'_, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>>
479 {
480 let (size, _align) = self
481 .size_and_align_of_val(mplace)?
482 .unwrap_or((mplace.layout.size, mplace.layout.align.abi));
483 let a = self.get_ptr_alloc(mplace.ptr(), size)?;
486 self.check_misalign(mplace.mplace.misaligned, CheckAlignMsg::BasedOn)?;
487 interp_ok(a)
488 }
489
490 #[inline]
491 pub(super) fn get_place_alloc_mut(
492 &mut self,
493 mplace: &MPlaceTy<'tcx, M::Provenance>,
494 ) -> InterpResult<'tcx, Option<AllocRefMut<'_, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>>
495 {
496 let (size, _align) = self
497 .size_and_align_of_val(mplace)?
498 .unwrap_or((mplace.layout.size, mplace.layout.align.abi));
499 let misalign_res = self.check_misalign(mplace.mplace.misaligned, CheckAlignMsg::BasedOn);
503 let (a, ()) = self.get_ptr_alloc_mut(mplace.ptr(), size).and(misalign_res)?;
505 interp_ok(a)
506 }
507
508 pub fn local_to_place(
510 &self,
511 local: mir::Local,
512 ) -> InterpResult<'tcx, PlaceTy<'tcx, M::Provenance>> {
513 let frame = self.frame();
514 let layout = self.layout_of_local(frame, local, None)?;
515 let place = if layout.is_sized() {
516 Place::Local { local, offset: None, locals_addr: frame.locals_addr() }
518 } else {
519 match frame.locals[local].access()? {
521 Operand::Immediate(_) => bug!(),
522 Operand::Indirect(mplace) => Place::Ptr(*mplace),
523 }
524 };
525 interp_ok(PlaceTy { place, layout })
526 }
527
528 #[instrument(skip(self), level = "trace")]
531 pub fn eval_place(
532 &self,
533 mir_place: mir::Place<'tcx>,
534 ) -> InterpResult<'tcx, PlaceTy<'tcx, M::Provenance>> {
535 let _trace =
536 enter_trace_span!(M, step::eval_place, ?mir_place, tracing_separate_thread = Empty);
537
538 let mut place = self.local_to_place(mir_place.local)?;
539 for elem in mir_place.projection.iter() {
541 place = self.project(&place, elem)?
542 }
543
544 trace!("{:?}", self.dump_place(&place));
545 if cfg!(debug_assertions) {
547 let normalized_place_ty = self
548 .instantiate_from_current_frame_and_normalize_erasing_regions(
549 mir_place.ty(&self.frame().body.local_decls, *self.tcx).ty,
550 )?;
551 if !mir_assign_valid_types(
552 *self.tcx,
553 self.typing_env,
554 self.layout_of(normalized_place_ty)?,
555 place.layout,
556 ) {
557 span_bug!(
558 self.cur_span(),
559 "eval_place of a MIR place with type {} produced an interpreter place with type {}",
560 normalized_place_ty,
561 place.layout.ty,
562 )
563 }
564 }
565 interp_ok(place)
566 }
567
568 #[inline(always)]
571 fn as_mplace_or_mutable_local(
572 &mut self,
573 place: &PlaceTy<'tcx, M::Provenance>,
574 ) -> InterpResult<
575 'tcx,
576 Either<
577 MPlaceTy<'tcx, M::Provenance>,
578 (&mut Immediate<M::Provenance>, TyAndLayout<'tcx>, mir::Local),
579 >,
580 > {
581 interp_ok(match place.to_place().as_mplace_or_local() {
582 Left(mplace) => Left(mplace),
583 Right((local, offset, locals_addr, layout)) => {
584 if offset.is_some() {
585 Left(place.force_mplace(self)?)
588 } else {
589 debug_assert_eq!(locals_addr, self.frame().locals_addr());
590 debug_assert_eq!(self.layout_of_local(self.frame(), local, None)?, layout);
591 match self.frame_mut().locals[local].access_mut()? {
592 Operand::Indirect(mplace) => {
593 Left(MPlaceTy { mplace: *mplace, layout })
595 }
596 Operand::Immediate(local_val) => {
597 Right((local_val, layout, local))
599 }
600 }
601 }
602 }
603 })
604 }
605
606 #[inline(always)]
608 #[instrument(skip(self), level = "trace")]
609 pub fn write_immediate(
610 &mut self,
611 src: Immediate<M::Provenance>,
612 dest: &impl Writeable<'tcx, M::Provenance>,
613 ) -> InterpResult<'tcx> {
614 self.write_immediate_no_validate(src, dest)?;
615
616 if M::enforce_validity(self, dest.layout()) {
617 self.validate_operand(
620 &dest.to_place(),
621 M::enforce_validity_recursively(self, dest.layout()),
622 true,
623 )?;
624 }
625
626 interp_ok(())
627 }
628
629 #[inline(always)]
631 pub fn write_scalar(
632 &mut self,
633 val: impl Into<Scalar<M::Provenance>>,
634 dest: &impl Writeable<'tcx, M::Provenance>,
635 ) -> InterpResult<'tcx> {
636 self.write_immediate(Immediate::Scalar(val.into()), dest)
637 }
638
639 #[inline(always)]
641 pub fn write_pointer(
642 &mut self,
643 ptr: impl Into<Pointer<Option<M::Provenance>>>,
644 dest: &impl Writeable<'tcx, M::Provenance>,
645 ) -> InterpResult<'tcx> {
646 self.write_scalar(Scalar::from_maybe_pointer(ptr.into(), self), dest)
647 }
648
649 pub(super) fn write_immediate_no_validate(
653 &mut self,
654 src: Immediate<M::Provenance>,
655 dest: &impl Writeable<'tcx, M::Provenance>,
656 ) -> InterpResult<'tcx> {
657 assert!(dest.layout().is_sized(), "Cannot write unsized immediate data");
658
659 match self.as_mplace_or_mutable_local(&dest.to_place())? {
660 Right((local_val, local_layout, local)) => {
661 *local_val = src;
663 if !self.validation_in_progress() {
665 M::after_local_write(self, local, false)?;
666 }
667 if cfg!(debug_assertions) {
671 src.assert_matches_abi(
672 local_layout.backend_repr,
673 "invalid immediate for given destination place",
674 self,
675 );
676 }
677 }
678 Left(mplace) => {
679 self.write_immediate_to_mplace_no_validate(src, mplace.layout, mplace.mplace)?;
680 }
681 }
682 interp_ok(())
683 }
684
685 fn write_immediate_to_mplace_no_validate(
689 &mut self,
690 value: Immediate<M::Provenance>,
691 layout: TyAndLayout<'tcx>,
692 dest: MemPlace<M::Provenance>,
693 ) -> InterpResult<'tcx> {
694 value.assert_matches_abi(
697 layout.backend_repr,
698 "invalid immediate for given destination place",
699 self,
700 );
701 let tcx = *self.tcx;
707 let Some(mut alloc) = self.get_place_alloc_mut(&MPlaceTy { mplace: dest, layout })? else {
708 return interp_ok(());
710 };
711
712 match value {
713 Immediate::Scalar(scalar) => {
714 alloc.write_scalar(alloc_range(Size::ZERO, scalar.size()), scalar)?;
715 }
716 Immediate::ScalarPair(a_val, b_val) => {
717 let BackendRepr::ScalarPair(a, b) = layout.backend_repr else {
718 span_bug!(
719 self.cur_span(),
720 "write_immediate_to_mplace: invalid ScalarPair layout: {:#?}",
721 layout
722 )
723 };
724 let b_offset = a.size(&tcx).align_to(b.align(&tcx).abi);
725 assert!(b_offset.bytes() > 0); alloc.write_scalar(alloc_range(Size::ZERO, a_val.size()), a_val)?;
732 alloc.write_scalar(alloc_range(b_offset, b_val.size()), b_val)?;
733 }
735 Immediate::Uninit => alloc.write_uninit_full(),
736 }
737 interp_ok(())
738 }
739
740 pub fn write_uninit(
741 &mut self,
742 dest: &impl Writeable<'tcx, M::Provenance>,
743 ) -> InterpResult<'tcx> {
744 match self.as_mplace_or_mutable_local(&dest.to_place())? {
745 Right((local_val, _local_layout, local)) => {
746 *local_val = Immediate::Uninit;
747 if !self.validation_in_progress() {
749 M::after_local_write(self, local, false)?;
750 }
751 }
752 Left(mplace) => {
753 let Some(mut alloc) = self.get_place_alloc_mut(&mplace)? else {
754 return interp_ok(());
756 };
757 alloc.write_uninit_full();
758 }
759 }
760 interp_ok(())
761 }
762
763 pub fn clear_provenance(
765 &mut self,
766 dest: &impl Writeable<'tcx, M::Provenance>,
767 ) -> InterpResult<'tcx> {
768 if let Right(imm) = dest.to_op(self)?.as_mplace_or_imm() {
771 if !imm.has_provenance() {
772 return interp_ok(());
773 }
774 }
775 match self.as_mplace_or_mutable_local(&dest.to_place())? {
776 Right((local_val, _local_layout, local)) => {
777 local_val.clear_provenance()?;
778 if !self.validation_in_progress() {
780 M::after_local_write(self, local, false)?;
781 }
782 }
783 Left(mplace) => {
784 let Some(mut alloc) = self.get_place_alloc_mut(&mplace)? else {
785 return interp_ok(());
787 };
788 alloc.clear_provenance();
789 }
790 }
791 interp_ok(())
792 }
793
794 #[inline(always)]
797 pub fn copy_op_allow_transmute(
798 &mut self,
799 src: &impl Projectable<'tcx, M::Provenance>,
800 dest: &impl Writeable<'tcx, M::Provenance>,
801 ) -> InterpResult<'tcx> {
802 self.copy_op_inner(src, dest, true)
803 }
804
805 #[inline(always)]
808 pub fn copy_op(
809 &mut self,
810 src: &impl Projectable<'tcx, M::Provenance>,
811 dest: &impl Writeable<'tcx, M::Provenance>,
812 ) -> InterpResult<'tcx> {
813 self.copy_op_inner(src, dest, false)
814 }
815
816 #[inline(always)]
819 #[instrument(skip(self), level = "trace")]
820 fn copy_op_inner(
821 &mut self,
822 src: &impl Projectable<'tcx, M::Provenance>,
823 dest: &impl Writeable<'tcx, M::Provenance>,
824 allow_transmute: bool,
825 ) -> InterpResult<'tcx> {
826 self.copy_op_no_validate(src, dest, allow_transmute)?;
833
834 if M::enforce_validity(self, dest.layout()) {
835 let dest = dest.to_place();
836 if src.layout().ty != dest.layout().ty {
840 self.validate_operand(
841 &dest.transmute(src.layout(), self)?,
842 M::enforce_validity_recursively(self, src.layout()),
843 true,
844 )?;
845 }
846 self.validate_operand(
847 &dest,
848 M::enforce_validity_recursively(self, dest.layout()),
849 true,
850 )?;
851 }
852
853 interp_ok(())
854 }
855
856 #[instrument(skip(self), level = "trace")]
861 fn copy_op_no_validate(
862 &mut self,
863 src: &impl Projectable<'tcx, M::Provenance>,
864 dest: &impl Writeable<'tcx, M::Provenance>,
865 allow_transmute: bool,
866 ) -> InterpResult<'tcx> {
867 let layout_compat =
870 mir_assign_valid_types(*self.tcx, self.typing_env, src.layout(), dest.layout());
871 if !allow_transmute && !layout_compat {
872 span_bug!(
873 self.cur_span(),
874 "type mismatch when copying!\nsrc: {},\ndest: {}",
875 src.layout().ty,
876 dest.layout().ty,
877 );
878 }
879
880 let src = match self.read_immediate_raw(src)? {
883 Right(src_val) => {
884 assert!(!src.layout().is_unsized());
885 assert!(!dest.layout().is_unsized());
886 assert_eq!(src.layout().size, dest.layout().size);
887 return if layout_compat {
889 self.write_immediate_no_validate(*src_val, dest)
890 } else {
891 let dest_mem = dest.force_mplace(self)?;
896 self.write_immediate_to_mplace_no_validate(
897 *src_val,
898 src.layout(),
899 dest_mem.mplace,
900 )
901 };
902 }
903 Left(mplace) => mplace,
904 };
905 trace!("copy_op: {:?} <- {:?}: {}", *dest, src, dest.layout().ty);
907
908 let dest = dest.force_mplace(self)?;
909 let Some((dest_size, _)) = self.size_and_align_of_val(&dest)? else {
910 span_bug!(self.cur_span(), "copy_op needs (dynamically) sized values")
911 };
912 if cfg!(debug_assertions) {
913 let src_size = self.size_and_align_of_val(&src)?.unwrap().0;
914 assert_eq!(src_size, dest_size, "Cannot copy differently-sized data");
915 } else {
916 assert_eq!(src.layout.size, dest.layout.size);
918 }
919
920 self.mem_copy(src.ptr(), dest.ptr(), dest_size, true)?;
928 self.check_misalign(src.mplace.misaligned, CheckAlignMsg::BasedOn)?;
929 self.check_misalign(dest.mplace.misaligned, CheckAlignMsg::BasedOn)?;
930 interp_ok(())
931 }
932
933 #[instrument(skip(self), level = "trace")]
938 pub fn force_allocation(
939 &mut self,
940 place: &PlaceTy<'tcx, M::Provenance>,
941 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
942 let mplace = match place.place {
943 Place::Local { local, offset, locals_addr } => {
944 debug_assert_eq!(locals_addr, self.frame().locals_addr());
945 let whole_local = match self.frame_mut().locals[local].access_mut()? {
946 &mut Operand::Immediate(local_val) => {
947 let local_layout = self.layout_of_local(&self.frame(), local, None)?;
953 assert!(local_layout.is_sized(), "unsized locals cannot be immediate");
954 let mplace = self.allocate(local_layout, MemoryKind::Stack)?;
955 if !matches!(local_val, Immediate::Uninit) {
957 self.write_immediate_to_mplace_no_validate(
961 local_val,
962 local_layout,
963 mplace.mplace,
964 )?;
965 }
966 M::after_local_moved_to_memory(self, local, &mplace)?;
967 *self.frame_mut().locals[local].access_mut().unwrap() =
971 Operand::Indirect(mplace.mplace);
972 mplace.mplace
973 }
974 &mut Operand::Indirect(mplace) => mplace, };
976 if let Some(offset) = offset {
977 whole_local.offset_with_meta_(
979 offset,
980 OffsetMode::Wrapping,
981 MemPlaceMeta::None,
982 self,
983 )?
984 } else {
985 whole_local
987 }
988 }
989 Place::Ptr(mplace) => mplace,
990 };
991 interp_ok(MPlaceTy { mplace, layout: place.layout })
993 }
994
995 pub fn allocate_dyn(
996 &mut self,
997 layout: TyAndLayout<'tcx>,
998 kind: MemoryKind<M::MemoryKind>,
999 meta: MemPlaceMeta<M::Provenance>,
1000 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
1001 let Some((size, align)) = self.size_and_align_from_meta(&meta, &layout)? else {
1002 span_bug!(self.cur_span(), "cannot allocate space for `extern` type, size is not known")
1003 };
1004 let ptr = self.allocate_ptr(size, align, kind, AllocInit::Uninit)?;
1005 interp_ok(self.ptr_with_meta_to_mplace(ptr.into(), meta, layout, false))
1006 }
1007
1008 pub fn allocate(
1009 &mut self,
1010 layout: TyAndLayout<'tcx>,
1011 kind: MemoryKind<M::MemoryKind>,
1012 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
1013 assert!(layout.is_sized());
1014 self.allocate_dyn(layout, kind, MemPlaceMeta::None)
1015 }
1016
1017 pub fn allocate_bytes_dedup(
1020 &mut self,
1021 bytes: &[u8],
1022 ) -> InterpResult<'tcx, Pointer<M::Provenance>> {
1023 let salt = M::get_global_alloc_salt(self, None);
1024 let id = self.tcx.allocate_bytes_dedup(bytes, salt);
1025
1026 M::adjust_alloc_root_pointer(
1028 &self,
1029 Pointer::from(id),
1030 M::GLOBAL_KIND.map(MemoryKind::Machine),
1031 )
1032 }
1033
1034 pub fn allocate_str_dedup(
1037 &mut self,
1038 s: &str,
1039 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
1040 let bytes = s.as_bytes();
1041 let ptr = self.allocate_bytes_dedup(bytes)?;
1042
1043 let meta = Scalar::from_target_usize(u64::try_from(bytes.len()).unwrap(), self);
1045
1046 let layout = self.layout_of(self.tcx.types.str_).unwrap();
1048
1049 interp_ok(self.ptr_with_meta_to_mplace(
1051 ptr.into(),
1052 MemPlaceMeta::Meta(meta),
1053 layout,
1054 false,
1055 ))
1056 }
1057
1058 pub fn raw_const_to_mplace(
1059 &self,
1060 raw: mir::ConstAlloc<'tcx>,
1061 ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
1062 let _ = self.tcx.global_alloc(raw.alloc_id);
1064 let ptr = self.global_root_pointer(Pointer::from(raw.alloc_id))?;
1065 let layout = self.layout_of(raw.ty)?;
1066 interp_ok(self.ptr_to_mplace(ptr.into(), layout))
1067 }
1068}
1069
1070#[cfg(target_pointer_width = "64")]
1072mod size_asserts {
1073 use rustc_data_structures::static_assert_size;
1074
1075 use super::*;
1076 static_assert_size!(MPlaceTy<'_>, 64);
1078 static_assert_size!(MemPlace, 48);
1079 static_assert_size!(MemPlaceMeta, 24);
1080 static_assert_size!(Place, 48);
1081 static_assert_size!(PlaceTy<'_>, 64);
1082 }