2 /* { dg-do compile } */
3 /* { dg-options "-mno-avx -mavx512vnni" } */
5 typedef int __v16si
__attribute__((vector_size (64)));
8 foo (__v16si
*a
, __v16si
*b
, __v16si
*c
, __v16si
*d
)
10 *a
= __builtin_ia32_vpdpbusd_v16si (*b
, *c
, *d
);