miri::shims::x86

Function convert_float_to_int

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

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.