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