1/* PR target/70327 */
2/* { dg-do compile } */
3/* { dg-require-effective-target int128 } */
4/* { dg-options "-mavx512f" } */
5
6typedef unsigned __int128 v4ti __attribute__ ((vector_size (64)));
7
8void
9foo (v4ti v)
10{
11  foo(v);
12}
13