Skip to content

Commit 625fa74

Browse files
Shim intrinsics::atomic_singlethreadfence, etc.
1 parent a737ea6 commit 625fa74

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/shims/intrinsics.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -113,6 +113,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
113113
| "atomic_fence_rel"
114114
| "atomic_fence_acqrel"
115115
| "atomic_fence"
116+
| "atomic_singlethreadfence_acq"
117+
| "atomic_singlethreadfence_rel"
118+
| "atomic_singlethreadfence_acqrel"
119+
| "atomic_singlethreadfence"
116120
=> {
117121
// we are inherently singlethreaded and singlecored, this is a nop
118122
}

0 commit comments

Comments
 (0)