Function miri::shims::x86::round_first
source · fn round_first<'tcx, F: Float>(
this: &mut MiriInterpCx<'_, 'tcx>,
left: &OpTy<'tcx, Provenance>,
right: &OpTy<'tcx, Provenance>,
rounding: &OpTy<'tcx, Provenance>,
dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>