]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_middle/src/mir/interpret/mod.rs
New upstream version 1.62.1+dfsg1
[rustc.git] / compiler / rustc_middle / src / mir / interpret / mod.rs
CommitLineData
e1599b0c 1//! An interpreter for MIR used in CTFE and by miri.
ff7c6d11
XL
2
3#[macro_export]
416331ca
XL
4macro_rules! err_unsup {
5 ($($tt:tt)*) => {
6 $crate::mir::interpret::InterpError::Unsupported(
7 $crate::mir::interpret::UnsupportedOpInfo::$($tt)*
8 )
9 };
10}
11
12#[macro_export]
13macro_rules! err_unsup_format {
14 ($($tt:tt)*) => { err_unsup!(Unsupported(format!($($tt)*))) };
15}
16
17#[macro_export]
18macro_rules! err_inval {
19 ($($tt:tt)*) => {
20 $crate::mir::interpret::InterpError::InvalidProgram(
21 $crate::mir::interpret::InvalidProgramInfo::$($tt)*
22 )
23 };
24}
25
26#[macro_export]
27macro_rules! err_ub {
28 ($($tt:tt)*) => {
29 $crate::mir::interpret::InterpError::UndefinedBehavior(
30 $crate::mir::interpret::UndefinedBehaviorInfo::$($tt)*
31 )
32 };
33}
34
35#[macro_export]
36macro_rules! err_ub_format {
37 ($($tt:tt)*) => { err_ub!(Ub(format!($($tt)*))) };
38}
39
416331ca
XL
40#[macro_export]
41macro_rules! err_exhaust {
42 ($($tt:tt)*) => {
43 $crate::mir::interpret::InterpError::ResourceExhaustion(
44 $crate::mir::interpret::ResourceExhaustionInfo::$($tt)*
45 )
46 };
47}
48
ba9703b0
XL
49#[macro_export]
50macro_rules! err_machine_stop {
51 ($($tt:tt)*) => {
52 $crate::mir::interpret::InterpError::MachineStop(Box::new($($tt)*))
53 };
54}
55
56// In the `throw_*` macros, avoid `return` to make them work with `try {}`.
416331ca
XL
57#[macro_export]
58macro_rules! throw_unsup {
ba9703b0 59 ($($tt:tt)*) => { Err::<!, _>(err_unsup!($($tt)*))? };
416331ca
XL
60}
61
62#[macro_export]
63macro_rules! throw_unsup_format {
64 ($($tt:tt)*) => { throw_unsup!(Unsupported(format!($($tt)*))) };
65}
66
67#[macro_export]
68macro_rules! throw_inval {
ba9703b0 69 ($($tt:tt)*) => { Err::<!, _>(err_inval!($($tt)*))? };
416331ca
XL
70}
71
72#[macro_export]
73macro_rules! throw_ub {
ba9703b0 74 ($($tt:tt)*) => { Err::<!, _>(err_ub!($($tt)*))? };
416331ca
XL
75}
76
77#[macro_export]
78macro_rules! throw_ub_format {
79 ($($tt:tt)*) => { throw_ub!(Ub(format!($($tt)*))) };
80}
81
416331ca
XL
82#[macro_export]
83macro_rules! throw_exhaust {
ba9703b0 84 ($($tt:tt)*) => { Err::<!, _>(err_exhaust!($($tt)*))? };
ff7c6d11
XL
85}
86
60c5eb7d
XL
87#[macro_export]
88macro_rules! throw_machine_stop {
ba9703b0 89 ($($tt:tt)*) => { Err::<!, _>(err_machine_stop!($($tt)*))? };
60c5eb7d
XL
90}
91
a1dfa0c6 92mod allocation;
dfeec247 93mod error;
a1dfa0c6 94mod pointer;
dfeec247
XL
95mod queries;
96mod value;
ff7c6d11 97
ba9703b0
XL
98use std::convert::TryFrom;
99use std::fmt;
100use std::io;
1b1a35ee 101use std::io::{Read, Write};
136023e0 102use std::num::{NonZeroU32, NonZeroU64};
ba9703b0 103use std::sync::atomic::{AtomicU32, Ordering};
ff7c6d11 104
3dfed10e 105use rustc_ast::LitKind;
94b46f34 106use rustc_data_structures::fx::FxHashMap;
dfeec247 107use rustc_data_structures::sync::{HashMapExt, Lock};
94b46f34 108use rustc_data_structures::tiny_list::TinyList;
dfeec247 109use rustc_hir::def_id::DefId;
532ac7d7 110use rustc_macros::HashStable;
1b1a35ee 111use rustc_middle::ty::print::with_no_trimmed_paths;
3dfed10e 112use rustc_serialize::{Decodable, Encodable};
29967ef6 113use rustc_target::abi::Endian;
ba9703b0
XL
114
115use crate::mir;
3dfed10e 116use crate::ty::codec::{TyDecoder, TyEncoder};
ba9703b0
XL
117use crate::ty::subst::GenericArgKind;
118use crate::ty::{self, Instance, Ty, TyCtxt};
119
120pub use self::error::{
1b1a35ee
XL
121 struct_error, CheckInAllocMsg, ErrorHandled, EvalToAllocationRawResult, EvalToConstValueResult,
122 InterpError, InterpErrorInfo, InterpResult, InvalidProgramInfo, MachineStopType,
04454e1e
FG
123 ResourceExhaustionInfo, ScalarSizeMismatch, UndefinedBehaviorInfo, UninitBytesAccess,
124 UnsupportedOpInfo,
ba9703b0
XL
125};
126
1b1a35ee 127pub use self::value::{get_slice_bytes, ConstAlloc, ConstValue, Scalar, ScalarMaybeUninit};
ba9703b0 128
94222f64 129pub use self::allocation::{
5e7ed085
FG
130 alloc_range, AllocRange, Allocation, ConstAllocation, InitChunk, InitChunkIter, InitMask,
131 Relocations,
94222f64 132};
ba9703b0 133
136023e0 134pub use self::pointer::{Pointer, PointerArithmetic, Provenance};
ff7c6d11 135
60c5eb7d
XL
136/// Uniquely identifies one of the following:
137/// - A constant
138/// - A static
3dfed10e 139#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash, TyEncodable, TyDecodable)]
60c5eb7d 140#[derive(HashStable, Lift)]
ff7c6d11
XL
141pub struct GlobalId<'tcx> {
142 /// For a constant or static, the `Instance` of the item itself.
143 /// For a promoted global, the `Instance` of the function they belong to.
144 pub instance: ty::Instance<'tcx>,
145
dc9dc135 146 /// The index for promoted globals within their function's `mir::Body`.
ff7c6d11
XL
147 pub promoted: Option<mir::Promoted>,
148}
149
a2a8927a 150impl<'tcx> GlobalId<'tcx> {
3dfed10e 151 pub fn display(self, tcx: TyCtxt<'tcx>) -> String {
5e7ed085 152 let instance_name = with_no_trimmed_paths!(tcx.def_path_str(self.instance.def.def_id()));
3dfed10e
XL
153 if let Some(promoted) = self.promoted {
154 format!("{}::{:?}", instance_name, promoted)
155 } else {
156 instance_name
157 }
158 }
159}
160
dfeec247
XL
161/// Input argument for `tcx.lit_to_const`.
162#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash, HashStable)]
163pub struct LitToConstInput<'tcx> {
164 /// The absolute value of the resultant constant.
165 pub lit: &'tcx LitKind,
166 /// The type of the constant.
167 pub ty: Ty<'tcx>,
168 /// If the constant is negative.
169 pub neg: bool,
170}
171
172/// Error type for `tcx.lit_to_const`.
173#[derive(Copy, Clone, Debug, Eq, PartialEq, HashStable)]
174pub enum LitToConstError {
175 /// The literal's inferred type did not match the expected `ty` in the input.
176 /// This is used for graceful error handling (`delay_span_bug`) in
ba9703b0 177 /// type checking (`Const::from_anon_const`).
dfeec247 178 TypeError,
dfeec247
XL
179 Reported,
180}
181
182#[derive(Copy, Clone, Eq, Hash, Ord, PartialEq, PartialOrd)]
136023e0 183pub struct AllocId(pub NonZeroU64);
ff7c6d11 184
f9f354fc
XL
185// We want the `Debug` output to be readable as it is used by `derive(Debug)` for
186// all the Miri types.
dfeec247 187impl fmt::Debug for AllocId {
f9f354fc
XL
188 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
189 if f.alternate() { write!(f, "a{}", self.0) } else { write!(f, "alloc{}", self.0) }
ba9703b0
XL
190 }
191}
192
193impl fmt::Display for AllocId {
194 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
f9f354fc 195 fmt::Debug::fmt(self, f)
dfeec247
XL
196 }
197}
198
3dfed10e 199#[derive(TyDecodable, TyEncodable)]
0731742a 200enum AllocDiscriminant {
0531ce1d
XL
201 Alloc,
202 Fn,
203 Static,
204}
205
3dfed10e 206pub fn specialized_encode_alloc_id<'tcx, E: TyEncoder<'tcx>>(
0531ce1d 207 encoder: &mut E,
dc9dc135 208 tcx: TyCtxt<'tcx>,
0531ce1d
XL
209 alloc_id: AllocId,
210) -> Result<(), E::Error> {
f9f354fc 211 match tcx.global_alloc(alloc_id) {
dc9dc135 212 GlobalAlloc::Memory(alloc) => {
94b46f34 213 trace!("encoding {:?} with {:#?}", alloc_id, alloc);
0731742a 214 AllocDiscriminant::Alloc.encode(encoder)?;
94b46f34
XL
215 alloc.encode(encoder)?;
216 }
dc9dc135 217 GlobalAlloc::Function(fn_instance) => {
94b46f34 218 trace!("encoding {:?} with {:#?}", alloc_id, fn_instance);
0731742a 219 AllocDiscriminant::Fn.encode(encoder)?;
94b46f34
XL
220 fn_instance.encode(encoder)?;
221 }
dc9dc135 222 GlobalAlloc::Static(did) => {
f9f354fc 223 assert!(!tcx.is_thread_local_static(did));
e1599b0c
XL
224 // References to statics doesn't need to know about their allocations,
225 // just about its `DefId`.
0731742a 226 AllocDiscriminant::Static.encode(encoder)?;
94b46f34
XL
227 did.encode(encoder)?;
228 }
0531ce1d
XL
229 }
230 Ok(())
231}
232
94b46f34
XL
233// Used to avoid infinite recursion when decoding cyclic allocations.
234type DecodingSessionId = NonZeroU32;
235
236#[derive(Clone)]
237enum State {
238 Empty,
239 InProgressNonAlloc(TinyList<DecodingSessionId>),
240 InProgress(TinyList<DecodingSessionId>, AllocId),
241 Done(AllocId),
242}
243
244pub struct AllocDecodingState {
e1599b0c
XL
245 // For each `AllocId`, we keep track of which decoding state it's currently in.
246 decoding_state: Vec<Lock<State>>,
94b46f34
XL
247 // The offsets of each allocation in the data stream.
248 data_offsets: Vec<u32>,
249}
250
251impl AllocDecodingState {
17df50a5 252 #[inline]
0bf4aa26 253 pub fn new_decoding_session(&self) -> AllocDecodingSession<'_> {
94b46f34
XL
254 static DECODER_SESSION_ID: AtomicU32 = AtomicU32::new(0);
255 let counter = DECODER_SESSION_ID.fetch_add(1, Ordering::SeqCst);
256
e1599b0c 257 // Make sure this is never zero.
94b46f34
XL
258 let session_id = DecodingSessionId::new((counter & 0x7FFFFFFF) + 1).unwrap();
259
dfeec247 260 AllocDecodingSession { state: self, session_id }
94b46f34
XL
261 }
262
e1599b0c
XL
263 pub fn new(data_offsets: Vec<u32>) -> Self {
264 let decoding_state = vec![Lock::new(State::Empty); data_offsets.len()];
94b46f34 265
dfeec247 266 Self { decoding_state, data_offsets }
94b46f34
XL
267 }
268}
269
270#[derive(Copy, Clone)]
271pub struct AllocDecodingSession<'s> {
272 state: &'s AllocDecodingState,
273 session_id: DecodingSessionId,
274}
275
276impl<'s> AllocDecodingSession<'s> {
e1599b0c 277 /// Decodes an `AllocId` in a thread-safe way.
5099ac24 278 pub fn decode_alloc_id<'tcx, D>(&self, decoder: &mut D) -> AllocId
dc9dc135
XL
279 where
280 D: TyDecoder<'tcx>,
94b46f34 281 {
e1599b0c 282 // Read the index of the allocation.
5099ac24 283 let idx = usize::try_from(decoder.read_u32()).unwrap();
ba9703b0 284 let pos = usize::try_from(self.state.data_offsets[idx]).unwrap();
94b46f34 285
e1599b0c
XL
286 // Decode the `AllocDiscriminant` now so that we know if we have to reserve an
287 // `AllocId`.
94b46f34 288 let (alloc_kind, pos) = decoder.with_position(pos, |decoder| {
5099ac24
FG
289 let alloc_kind = AllocDiscriminant::decode(decoder);
290 (alloc_kind, decoder.position())
291 });
94b46f34 292
e1599b0c 293 // Check the decoding state to see if it's already decoded or if we should
94b46f34
XL
294 // decode it here.
295 let alloc_id = {
296 let mut entry = self.state.decoding_state[idx].lock();
297
298 match *entry {
299 State::Done(alloc_id) => {
5099ac24 300 return alloc_id;
94b46f34
XL
301 }
302 ref mut entry @ State::Empty => {
e1599b0c 303 // We are allowed to decode.
94b46f34 304 match alloc_kind {
0731742a 305 AllocDiscriminant::Alloc => {
94b46f34 306 // If this is an allocation, we need to reserve an
e1599b0c 307 // `AllocId` so we can decode cyclic graphs.
f9f354fc 308 let alloc_id = decoder.tcx().reserve_alloc_id();
dfeec247
XL
309 *entry =
310 State::InProgress(TinyList::new_single(self.session_id), alloc_id);
94b46f34 311 Some(alloc_id)
dfeec247 312 }
0731742a 313 AllocDiscriminant::Fn | AllocDiscriminant::Static => {
e1599b0c
XL
314 // Fns and statics cannot be cyclic, and their `AllocId`
315 // is determined later by interning.
dfeec247
XL
316 *entry =
317 State::InProgressNonAlloc(TinyList::new_single(self.session_id));
94b46f34
XL
318 None
319 }
320 }
321 }
322 State::InProgressNonAlloc(ref mut sessions) => {
323 if sessions.contains(&self.session_id) {
e1599b0c 324 bug!("this should be unreachable");
94b46f34 325 } else {
e1599b0c 326 // Start decoding concurrently.
94b46f34
XL
327 sessions.insert(self.session_id);
328 None
329 }
330 }
331 State::InProgress(ref mut sessions, alloc_id) => {
332 if sessions.contains(&self.session_id) {
333 // Don't recurse.
5099ac24 334 return alloc_id;
94b46f34 335 } else {
e1599b0c 336 // Start decoding concurrently.
94b46f34
XL
337 sessions.insert(self.session_id);
338 Some(alloc_id)
339 }
340 }
341 }
342 };
343
e1599b0c 344 // Now decode the actual data.
94b46f34
XL
345 let alloc_id = decoder.with_position(pos, |decoder| {
346 match alloc_kind {
0731742a 347 AllocDiscriminant::Alloc => {
5e7ed085 348 let alloc = <ConstAllocation<'tcx> as Decodable<_>>::decode(decoder);
e1599b0c 349 // We already have a reserved `AllocId`.
94b46f34 350 let alloc_id = alloc_id.unwrap();
e1599b0c 351 trace!("decoded alloc {:?}: {:#?}", alloc_id, alloc);
f9f354fc 352 decoder.tcx().set_alloc_id_same_memory(alloc_id, alloc);
5099ac24 353 alloc_id
dfeec247 354 }
0731742a 355 AllocDiscriminant::Fn => {
94b46f34 356 assert!(alloc_id.is_none());
e1599b0c 357 trace!("creating fn alloc ID");
5099ac24 358 let instance = ty::Instance::decode(decoder);
94b46f34 359 trace!("decoded fn alloc instance: {:?}", instance);
f9f354fc 360 let alloc_id = decoder.tcx().create_fn_alloc(instance);
5099ac24 361 alloc_id
dfeec247 362 }
0731742a 363 AllocDiscriminant::Static => {
94b46f34 364 assert!(alloc_id.is_none());
e1599b0c 365 trace!("creating extern static alloc ID");
5099ac24 366 let did = <DefId as Decodable<D>>::decode(decoder);
e1599b0c 367 trace!("decoded static def-ID: {:?}", did);
f9f354fc 368 let alloc_id = decoder.tcx().create_static_alloc(did);
5099ac24 369 alloc_id
94b46f34
XL
370 }
371 }
5099ac24 372 });
94b46f34
XL
373
374 self.state.decoding_state[idx].with_lock(|entry| {
375 *entry = State::Done(alloc_id);
376 });
377
5099ac24 378 alloc_id
0531ce1d
XL
379 }
380}
381
dc9dc135
XL
382/// An allocation in the global (tcx-managed) memory can be either a function pointer,
383/// a static, or a "real" allocation with some data in it.
3dfed10e 384#[derive(Debug, Clone, Eq, PartialEq, Hash, TyDecodable, TyEncodable, HashStable)]
dc9dc135 385pub enum GlobalAlloc<'tcx> {
e1599b0c 386 /// The alloc ID is used as a function pointer.
94b46f34 387 Function(Instance<'tcx>),
9fa01778 388 /// The alloc ID points to a "lazy" static variable that did not get computed (yet).
b7449926 389 /// This is also used to break the cycle in recursive statics.
94b46f34 390 Static(DefId),
9fa01778 391 /// The alloc ID points to memory.
5e7ed085 392 Memory(ConstAllocation<'tcx>),
94b46f34
XL
393}
394
a2a8927a 395impl<'tcx> GlobalAlloc<'tcx> {
f9f354fc
XL
396 /// Panics if the `GlobalAlloc` does not refer to an `GlobalAlloc::Memory`
397 #[track_caller]
398 #[inline]
5e7ed085 399 pub fn unwrap_memory(&self) -> ConstAllocation<'tcx> {
f9f354fc
XL
400 match *self {
401 GlobalAlloc::Memory(mem) => mem,
402 _ => bug!("expected memory, got {:?}", self),
403 }
404 }
405
406 /// Panics if the `GlobalAlloc` is not `GlobalAlloc::Function`
407 #[track_caller]
408 #[inline]
409 pub fn unwrap_fn(&self) -> Instance<'tcx> {
410 match *self {
411 GlobalAlloc::Function(instance) => instance,
412 _ => bug!("expected function, got {:?}", self),
413 }
414 }
415}
416
417crate struct AllocMap<'tcx> {
e1599b0c 418 /// Maps `AllocId`s to their corresponding allocations.
dc9dc135 419 alloc_map: FxHashMap<AllocId, GlobalAlloc<'tcx>>,
94b46f34 420
dc9dc135
XL
421 /// Used to ensure that statics and functions only get one associated `AllocId`.
422 /// Should never contain a `GlobalAlloc::Memory`!
e1599b0c
XL
423 //
424 // FIXME: Should we just have two separate dedup maps for statics and functions each?
dc9dc135 425 dedup: FxHashMap<GlobalAlloc<'tcx>, AllocId>,
94b46f34 426
9fa01778 427 /// The `AllocId` to assign to the next requested ID.
e1599b0c 428 /// Always incremented; never gets smaller.
94b46f34
XL
429 next_id: AllocId,
430}
431
0731742a 432impl<'tcx> AllocMap<'tcx> {
f9f354fc 433 crate fn new() -> Self {
136023e0
XL
434 AllocMap {
435 alloc_map: Default::default(),
436 dedup: Default::default(),
437 next_id: AllocId(NonZeroU64::new(1).unwrap()),
438 }
94b46f34 439 }
f9f354fc 440 fn reserve(&mut self) -> AllocId {
94b46f34 441 let next = self.next_id;
dfeec247
XL
442 self.next_id.0 = self.next_id.0.checked_add(1).expect(
443 "You overflowed a u64 by incrementing by 1... \
444 You've just earned yourself a free drink if we ever meet. \
445 Seriously, how did you do that?!",
446 );
94b46f34
XL
447 next
448 }
f9f354fc
XL
449}
450
451impl<'tcx> TyCtxt<'tcx> {
452 /// Obtains a new allocation ID that can be referenced but does not
453 /// yet have an allocation backing it.
454 ///
455 /// Make sure to call `set_alloc_id_memory` or `set_alloc_id_same_memory` before returning such
456 /// an `AllocId` from a query.
1b1a35ee 457 pub fn reserve_alloc_id(self) -> AllocId {
f9f354fc
XL
458 self.alloc_map.lock().reserve()
459 }
94b46f34 460
e1599b0c 461 /// Reserves a new ID *if* this allocation has not been dedup-reserved before.
dc9dc135
XL
462 /// Should only be used for function pointers and statics, we don't want
463 /// to dedup IDs for "real" memory!
1b1a35ee 464 fn reserve_and_set_dedup(self, alloc: GlobalAlloc<'tcx>) -> AllocId {
f9f354fc 465 let mut alloc_map = self.alloc_map.lock();
dc9dc135 466 match alloc {
dfeec247 467 GlobalAlloc::Function(..) | GlobalAlloc::Static(..) => {}
dc9dc135
XL
468 GlobalAlloc::Memory(..) => bug!("Trying to dedup-reserve memory with real data!"),
469 }
f9f354fc 470 if let Some(&alloc_id) = alloc_map.dedup.get(&alloc) {
94b46f34
XL
471 return alloc_id;
472 }
f9f354fc 473 let id = alloc_map.reserve();
dc9dc135 474 debug!("creating alloc {:?} with id {}", alloc, id);
f9f354fc
XL
475 alloc_map.alloc_map.insert(id, alloc.clone());
476 alloc_map.dedup.insert(alloc, id);
94b46f34
XL
477 id
478 }
479
dc9dc135
XL
480 /// Generates an `AllocId` for a static or return a cached one in case this function has been
481 /// called on the same static before.
1b1a35ee 482 pub fn create_static_alloc(self, static_id: DefId) -> AllocId {
dc9dc135
XL
483 self.reserve_and_set_dedup(GlobalAlloc::Static(static_id))
484 }
485
486 /// Generates an `AllocId` for a function. Depending on the function type,
487 /// this might get deduplicated or assigned a new ID each time.
1b1a35ee 488 pub fn create_fn_alloc(self, instance: Instance<'tcx>) -> AllocId {
9fa01778
XL
489 // Functions cannot be identified by pointers, as asm-equal functions can get deduplicated
490 // by the linker (we set the "unnamed_addr" attribute for LLVM) and functions can be
491 // duplicated across crates.
492 // We thus generate a new `AllocId` for every mention of a function. This means that
493 // `main as fn() == main as fn()` is false, while `let x = main as fn(); x == x` is true.
494 // However, formatting code relies on function identity (see #58320), so we only do
495 // this for generic functions. Lifetime parameters are ignored.
29967ef6
XL
496 let is_generic = instance
497 .substs
498 .into_iter()
499 .any(|kind| !matches!(kind.unpack(), GenericArgKind::Lifetime(_)));
9fa01778 500 if is_generic {
e1599b0c 501 // Get a fresh ID.
f9f354fc
XL
502 let mut alloc_map = self.alloc_map.lock();
503 let id = alloc_map.reserve();
504 alloc_map.alloc_map.insert(id, GlobalAlloc::Function(instance));
9fa01778
XL
505 id
506 } else {
e1599b0c 507 // Deduplicate.
dc9dc135 508 self.reserve_and_set_dedup(GlobalAlloc::Function(instance))
9fa01778 509 }
94b46f34
XL
510 }
511
e1599b0c 512 /// Interns the `Allocation` and return a new `AllocId`, even if there's already an identical
dc9dc135
XL
513 /// `Allocation` with a different `AllocId`.
514 /// Statics with identical content will still point to the same `Allocation`, i.e.,
515 /// their data will be deduplicated through `Allocation` interning -- but they
516 /// are different places in memory and as such need different IDs.
5e7ed085 517 pub fn create_memory_alloc(self, mem: ConstAllocation<'tcx>) -> AllocId {
f9f354fc 518 let id = self.reserve_alloc_id();
dc9dc135
XL
519 self.set_alloc_id_memory(id, mem);
520 id
521 }
522
532ac7d7 523 /// Returns `None` in case the `AllocId` is dangling. An `InterpretCx` can still have a
0731742a
XL
524 /// local `Allocation` for that `AllocId`, but having such an `AllocId` in a constant is
525 /// illegal and will likely ICE.
526 /// This function exists to allow const eval to detect the difference between evaluation-
527 /// local dangling pointers and allocations in constants/statics.
dc9dc135 528 #[inline]
1b1a35ee 529 pub fn get_global_alloc(self, id: AllocId) -> Option<GlobalAlloc<'tcx>> {
f9f354fc 530 self.alloc_map.lock().alloc_map.get(&id).cloned()
94b46f34
XL
531 }
532
f9f354fc
XL
533 #[inline]
534 #[track_caller]
535 /// Panics in case the `AllocId` is dangling. Since that is impossible for `AllocId`s in
536 /// constants (as all constants must pass interning and validation that check for dangling
537 /// ids), this function is frequently used throughout rustc, but should not be used within
538 /// the miri engine.
1b1a35ee 539 pub fn global_alloc(self, id: AllocId) -> GlobalAlloc<'tcx> {
f9f354fc
XL
540 match self.get_global_alloc(id) {
541 Some(alloc) => alloc,
542 None => bug!("could not find allocation for {}", id),
e74abb32
XL
543 }
544 }
545
e1599b0c 546 /// Freezes an `AllocId` created with `reserve` by pointing it at an `Allocation`. Trying to
0731742a 547 /// call this function twice, even with the same `Allocation` will ICE the compiler.
5e7ed085 548 pub fn set_alloc_id_memory(self, id: AllocId, mem: ConstAllocation<'tcx>) {
f9f354fc 549 if let Some(old) = self.alloc_map.lock().alloc_map.insert(id, GlobalAlloc::Memory(mem)) {
e1599b0c 550 bug!("tried to set allocation ID {}, but it was already existing as {:#?}", id, old);
94b46f34
XL
551 }
552 }
553
e1599b0c 554 /// Freezes an `AllocId` created with `reserve` by pointing it at an `Allocation`. May be called
0731742a 555 /// twice for the same `(AllocId, Allocation)` pair.
5e7ed085 556 fn set_alloc_id_same_memory(self, id: AllocId, mem: ConstAllocation<'tcx>) {
f9f354fc 557 self.alloc_map.lock().alloc_map.insert_same(id, GlobalAlloc::Memory(mem));
94b46f34
XL
558 }
559}
560
94b46f34
XL
561////////////////////////////////////////////////////////////////////////////////
562// Methods to access integers in the target endianness
563////////////////////////////////////////////////////////////////////////////////
564
dc9dc135 565#[inline]
94b46f34 566pub fn write_target_uint(
ba9703b0 567 endianness: Endian,
94b46f34
XL
568 mut target: &mut [u8],
569 data: u128,
570) -> Result<(), io::Error> {
1b1a35ee
XL
571 // This u128 holds an "any-size uint" (since smaller uints can fits in it)
572 // So we do not write all bytes of the u128, just the "payload".
94b46f34 573 match endianness {
1b1a35ee
XL
574 Endian::Little => target.write(&data.to_le_bytes())?,
575 Endian::Big => target.write(&data.to_be_bytes()[16 - target.len()..])?,
576 };
577 debug_assert!(target.len() == 0); // We should have filled the target buffer.
578 Ok(())
94b46f34
XL
579}
580
dc9dc135 581#[inline]
ba9703b0 582pub fn read_target_uint(endianness: Endian, mut source: &[u8]) -> Result<u128, io::Error> {
1b1a35ee
XL
583 // This u128 holds an "any-size uint" (since smaller uints can fits in it)
584 let mut buf = [0u8; std::mem::size_of::<u128>()];
585 // So we do not read exactly 16 bytes into the u128, just the "payload".
586 let uint = match endianness {
587 Endian::Little => {
588 source.read(&mut buf)?;
589 Ok(u128::from_le_bytes(buf))
590 }
591 Endian::Big => {
592 source.read(&mut buf[16 - source.len()..])?;
593 Ok(u128::from_be_bytes(buf))
594 }
595 };
596 debug_assert!(source.len() == 0); // We should have consumed the source buffer.
597 uint
94b46f34 598}