1  /* { dg-do run } */
       2  /* { dg-require-effective-target avx } */
       3  /* { dg-options "-O2 -mavx" } */
       4  
       5  #include "avx-check.h"
       6  
       7  void static
       8  avx_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_mul_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  }