http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52572
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13
07:54:14 UTC ---
Have you actually tried that? Mixing VEX encoded insns with legacy encoded
SSE* insns is very costly, for good performance there needs to be a vzeroupper
in between (but then you lose the upper bits). See e.g. 2.8 in the AVX
Programming Reference.
