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
))