Function creusot_contracts::std::intrinsics::nontemporal_store

pub unsafe extern "rust-intrinsic" fn nontemporal_store<T>(
    ptr: *mut T,
    val: T,
)

🔬This is a nightly-only experimental API. (core_intrinsics)

Emits a !nontemporal store according to LLVM (see their docs). Probably will never become stable.

Do NOT use this intrinsic; “nontemporal” operations do not exist in our memory model! It exists to support current stdarch, but the plan is to change stdarch and remove this intrinsic. See https://github.com/rust-lang/rust/issues/114582 for some more discussion.