1 /* PR target/78451 */ 2 /* { dg-options "-O2 -mno-avx512f" } */ 3 4 #pragma GCC push_options 5 #pragma GCC target ("avx512bw") 6 7 static inline int __attribute__ ((__always_inline__)) bar(void)8bar (void) 9 { 10 return 0; 11 } 12 13 #pragma GCC push_options 14 #pragma GCC target ("avx512vl") 15 16 int foo(void)17foo (void) 18 { 19 return bar (); 20 } 21 22 #pragma GCC pop_options 23 #pragma GCC pop_options 24 25 #pragma GCC push_options 26 #pragma GCC target ("avx512vl") 27 #pragma GCC target ("avx512bw") 28 29 int baz(void)30baz (void) 31 { 32 return bar (); 33 } 34 35 #pragma GCC pop_options 36