https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70708
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Petr from comment #3) > Is there any workaround guys? > > I was looking for some built-in that would allow me just cast `double` to > `__m128d` without going through `_mm_set_sd()`, but leaving the high part > undefined. See PR68211.