Function miri::shims::x86::convert_float_to_int

fn convert_float_to_int<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    op: &OpTy<'tcx, Provenance>,
    rnd: Round,
    dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>

Converts each element of op from floating point to signed integer.

When the input value is NaN or out of range, fall back to minimum value.

If op has more elements than dest, extra elements are ignored. If op has less elements than dest, the rest is filled with zeros.