1/* { dg-do run } */
2/* { dg-require-effective-target avx } */
3/* { dg-options "-O2 -mavx" } */
4
5#include "avx-check.h"
6
7void static
8avx_test (void)
9{
10  int i;
11  union256d u, s1, s2;
12  double e [4];
13
14  s1.x = _mm256_set_pd (2134.3343,1234.635654,453.345635,54646.464356);
15  s2.x = _mm256_set_pd (41124.234,2344.2354,8653.65635,856.43576);
16  u.x = _mm256_add_pd (s1.x, s2.x);
17
18  for (i = 0; i < 4; i++)
19    e[i] = s1.a[i] + s2.a[i];
20
21  if (check_union256d (u, e))
22    abort ();
23}
24