1  /* PR target/83488 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-mno-avx -mavx512vnni -mno-avx512vl" } */
       4  
       5  typedef int __v8si __attribute__((vector_size (32)));
       6  
       7  void
       8  foo (__v8si *a, __v8si *b, __v8si *c, __v8si *d)
       9  {
      10    *a = __builtin_ia32_vpdpbusd_v8si (*b, *c, *d);	/* { dg-error "needs isa option" } */
      11  }