1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512vbmi2 -mno-avx512f" } */
       3  
       4  typedef long long __v8di __attribute__((vector_size (64)));
       5  void
       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 } */