Module helpers

Structs§

MaybeEnteredTraceSpan: This struct is needed to enforce #[must_use] on values produced by enter_trace_span even when the “tracing” feature is not enabled.

EvalContextExt
ToHost: Convert a softfloat type to its corresponding hostfloat type.
ToSoft: Convert a hostfloat type to its corresponding softfloat type.
ToU64: Similarly, a maximum address size of u64 is assumed widely here, so let’s have ergonomic converion from usize to u64.
ToUsize: We don’t support 16-bit systems, so let’s have ergonomic conversion from u32 to usize.

bool_to_simd_element 🔒
check_intrinsic_arg_count: Check that the number of args is what we expect.
check_min_vararg_count: Check that the number of varargs is at least the minimum what we expect. Fixed args should not be included.
get_local_crates: Retrieve the list of local crates that should have been passed by cargo-miri in MIRI_LOCAL_CRATES and turn them into CrateNums.
isolation_abort_error
iter_exported_symbols: Call f for each exported symbol.
path_ty_layout: Gets the layout of a type at a path.
resolve_path: Gets an instance for a path.
simd_element_to_bool 🔒
try_resolve_did 🔒: Gets an instance for a path.
try_resolve_path: Gets an instance for a path; fails gracefully if the path does not exist.
windows_check_buffer_size 🔒: Check whether an operation that writes to a target buffer was successful. Accordingly select return value. Local helper function to be used in Windows shims.