Trait miri::intrinsics::atomic::EvalContextExt
source · pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn emulate_atomic_intrinsic(
&mut self,
intrinsic_name: &str,
args: &[OpTy<'tcx>],
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, EmulateItemResult> { ... }
}
Provided Methods§
sourcefn emulate_atomic_intrinsic(
&mut self,
intrinsic_name: &str,
args: &[OpTy<'tcx>],
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, EmulateItemResult>
fn emulate_atomic_intrinsic( &mut self, intrinsic_name: &str, args: &[OpTy<'tcx>], dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx, EmulateItemResult>
Calls the atomic intrinsic intrinsic
; the atomic_
prefix has already been removed.
Returns Ok(true)
if the intrinsic was handled.