Function read_u32x4 

fn read_u32x4<'c>(
    ecx: &mut MiriInterpCx<'c>,
    vec: &OpTy<'c>,
) -> InterpResult<'c, [u32; 4]>

Reads a [u32; 4] array.