https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92190
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Is CLOBBER the right representation of what vzeroupper does anyway? I mean, for AVX512F+, shouldn't it be (set (reg:V8DI xmm0) (vec_merge:V8DI (reg:V8DI xmm0) (const_vector:V8DI 0) (const_int 3))) ... and similarly for AVX/AVX2 (in that case V4DI instead of V8DI)? And, as mentioned earlier, it could leave out register that aren't ever live in the function, as long as it can't be introduced into the function later on.