1  int aa;
       2  
       3  static inline int __attribute__ ((target_clones ("default", "avx512f")))
       4  fast_clamp ()
       5  {}
       6  
       7  void
       8  b ()
       9  {
      10    aa = fast_clamp ();
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    return 0;
      17  }