1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx -mtune=generic -dp" } */
       3  
       4  extern void fatal (void) __attribute__ ((__noreturn__));
       5  extern void exit (int) __attribute__ ((__noreturn__));
       6  
       7  void
       8  fatal (void)
       9  {
      10    exit (1);
      11  }
      12  
      13  /* { dg-final { scan-assembler-not "avx_vzeroupper" } } */