extract_first_u64

miri::shims::x86

Function extract_first_u64 

Source 
fn extract_first_u64<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    op: &OpTy<'tcx>,
) -> InterpResult<'tcx, u64>
Expand description

Takes a 128-bit vector, transmutes it to [u64; 2] and extracts the first value.