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)8 bar (void)
9 {
10   return 0;
11 }
12 
13 #pragma GCC push_options
14 #pragma GCC target ("avx512vl")
15 
16 int
foo(void)17 foo (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)30 baz (void)
31 {
32   return bar ();
33 }
34 
35 #pragma GCC pop_options
36