1  /* { dg-do run { target aarch64_sve256_hw } } */
       2  /* { dg-options "-O2 -msve-vector-bits=256" } */
       3  
       4  #include "init_2.c"
       5  
       6  int main()
       7  {
       8    int a = 10;
       9    int b = 11;
      10  
      11    vnx4si v = foo (a, b);
      12    int expected[] = { a, b, 2, 3, 2, 3, 2, 3 };
      13  
      14    for (int i = 0; i < 8; i++)
      15      if (v[i] != expected[i])
      16        __builtin_abort ();
      17  
      18    return 0;
      19  }