https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70708
--- Comment #16 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Marc Glisse from comment #15) > MyMinV2 returns a double, not a __m128d. I tried to read what the ABI says > about the unused upper part of SSE registers when passing/returning a double > and couldn't find any information. Could you explain in more details what > makes MyMinV2 so different from MyMinV1? I appear to be missing some crucial > piece of information here :-( I opened PR 70721 for the _mm_min_sd issue.