https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70708
--- Comment #3 from Petr <kobalicek.petr at gmail dot com> --- 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.
