[Bug target/116512] [12/13/14/15 Regression] vzeroupper emitted even though the upper half of the z registers are returned

[liuhongt at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116512

Hongtao Liu <liuhongt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2024-08-28 00:00:00         |
             Status|NEW                         |UNCONFIRMED
     Ever confirmed|1                           |0
      Known to work|6.1.0, 6.4.0, 7.2.0         |
           Keywords|wrong-code                  |
      Known to fail|6.5.0, 7.3.0, 7.5.0, 8.1.0  |

--- Comment #3 from Hongtao Liu <liuhongt at gcc dot gnu.org> ---
14881static bool                                                                
14882ix86_check_avx_upper_register (const_rtx exp)                              
14883{                                                                          
14884  return (SSE_REG_P (exp)                                                  
14885          && !EXT_REX_SSE_REG_P (exp)                                      
14886          && GET_MODE_BITSIZE (GET_MODE (exp)) > 128);                     
14887}                                                                          
14888      

But the code doesn't check modes.