Function creusot_contracts::std::arch::x86_64::_mm_storer_ps

pub unsafe fn _mm_storer_ps(p: *mut f32, a: __m128)

Available on x86-64 only.

Stores four 32-bit floats into aligned memory in reverse order.

If the pointer is not aligned to a 128-bit boundary (16 bytes) a general protection fault will be triggered (fatal program crash).

Functionally equivalent to the following code sequence (assuming p satisfies the alignment restrictions):

*p = a.extract(3);
*p.add(1) = a.extract(2);
*p.add(2) = a.extract(1);
*p.add(3) = a.extract(0);

Intel’s documentation