1  /* { dg-require-effective-target vect_int } */
       2  /* { dg-additional-options "-Wno-psabi" } */
       3  
       4  typedef __INT32_TYPE__   int32_t;
       5  typedef int32_t vnx4si __attribute__((vector_size (32)));
       6  
       7  __attribute__((noipa))
       8  vnx4si foo(int a, int b)
       9  {
      10    return (vnx4si) { 1, 2, 3, 4, 5, 6, a, b };
      11  }