1 /* { dg-do compile } */
2 /* { dg-options "-mavx512vbmi2 -mno-avx512f" } */
3 
4 typedef long long __v8di __attribute__((vector_size (64)));
5 void
foo(__v8di * a,__v8di * b,__v8di * c,__v8di * d)6 foo (__v8di *a, __v8di *b, __v8di *c, __v8di *d)
7 {
8   *d = __builtin_ia32_vpshldv_v8di (*a, *b, *c); /* { dg-warning "implicit" } */
9 } /* { dg-error "incompatible types when assigning to type" "" { target *-*-* } .-1 } */
10