1  /* PR target/60205 */
       2  /* { dg-do compile } */
       3  /* { dg-prune-output "ABI for passing parameters" } */
       4  /* { dg-options "-O2 -mno-avx512f" } */
       5  /* { dg-skip-if "no AVX512F vector" { *-*-mingw* } } */
       6  
       7  typedef int __v16si __attribute__ ((__vector_size__ (64)));
       8  
       9  extern __v16si x;
      10  
      11  extern void bar (__v16si);
      12  void
      13  foo (void)
      14  {
      15    bar (x); /* { dg-message "warning: AVX512F vector argument without AVX512F enabled changes the ABI" } */
      16  }