Shim intrinsics::atomic_singlethreadfence, etc.

This commit is contained in:
David Cook 2020-01-24 19:02:58 -06:00 committed by GitHub
parent a737ea6ea2
commit 625fa742bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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
}