2 /* { dg-require-effective-target avx } */
3 /* { dg-options "-O2 -mavx" } */
8 __attribute__((noinline))
11 return _mm256_set_epi64x (v[3], v[2], v[1], v[0]);
18 = { 0x12e9e94645ad8LL, 0x851c0b39446LL,
19 0x786784645245LL, 0x9487731234LL };
23 if (check_union256i_q (u, v))