From 625fa742bca46f992c347c438658d6b747e03c51 Mon Sep 17 00:00:00 2001 From: David Cook Date: Fri, 24 Jan 2020 19:02:58 -0600 Subject: [PATCH] Shim intrinsics::atomic_singlethreadfence, etc. --- src/shims/intrinsics.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs index 151edfda4318..04e724ff1d34 100644 --- a/src/shims/intrinsics.rs +++ b/src/shims/intrinsics.rs @@ -113,6 +113,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx | "atomic_fence_rel" | "atomic_fence_acqrel" | "atomic_fence" + | "atomic_singlethreadfence_acq" + | "atomic_singlethreadfence_rel" + | "atomic_singlethreadfence_acqrel" + | "atomic_singlethreadfence" => { // we are inherently singlethreaded and singlecored, this is a nop }