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
fatal(void)8 fatal (void)
9 {
10   exit (1);
11 }
12 
13 /* { dg-final { scan-assembler-not "avx_vzeroupper" } } */
14