Function creusot_contracts::std::arch::x86_64::_mm_store1_ps

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

Available on x86-64 only.

Stores the lowest 32 bit float of a repeated four times into aligned memory.

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):

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

Intel’s documentation