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