2 /* { dg-require-effective-target avx } */
3 /* { dg-options "-O2 -mavx" } */
13 s1.x = _mm256_set_pd (2134.3343,1234.635654,453.345635,54646.464356);
14 s2.x = _mm256_set_pd (41124.234,2344.2354,8653.65635,856.43576);
15 u.x = _mm256_hsub_pd (s1.x, s2.x);
17 e[0] = s1.a[0] - s1.a[1];
18 e[1] = s2.a[0] - s2.a[1];
19 e[2] = s1.a[2] - s1.a[3];
20 e[3] = s2.a[2] - s2.a[3];
22 if (check_union256d (u, e))