Function _mm256_castps128_ps256

Casts vector of type __m128 to type __m256; the upper 128 bits of the result are indeterminate.

In the Intel documentation, the upper bits are declared to be "undefined". This is not equivalent to mem::MaybeUninit; instead, these bits are non-deterministically set to some valid value. In practice, this is typically equivalent to mem::zeroed.

Intel's documentation