1  /* { dg-do compile } */
       2  /* { dg-options "-O0 -mavxvnni -mno-avx512vnni" } */
       3  typedef int v8si __attribute__ ((vector_size (32)));
       4  v8si
       5  foo (v8si a, v8si b, v8si c)
       6  {
       7    return __builtin_ia32_vpdpbusd_v8si (a, b, c);
       8  }