1  /* { dg-do run } */
       2  /* { dg-require-effective-target sse2 } */
       3  /* { dg-options "-O2 -msse2" } */
       4  
       5  #ifndef CHECK_H
       6  #define CHECK_H "sse2-check.h"
       7  #endif
       8  
       9  #ifndef TEST
      10  #define TEST sse2_test
      11  #endif
      12  
      13  #include CHECK_H
      14  
      15  #include <emmintrin.h>
      16  #include <string.h>
      17  
      18  typedef short T __attribute__((may_alias));
      19  struct S { __m128i d; };
      20  
      21  __m128i
      22  __attribute__((noinline))
      23  foo (__m128i y, short x)
      24  {
      25    struct S s;
      26  
      27    s.d = y;
      28    ((T *) &s.d)[1] = x;
      29    return s.d;
      30  }
      31  
      32  static void
      33  TEST (void)
      34  {
      35    union
      36      {
      37        __m128i x;
      38        unsigned int i[4];
      39        unsigned short s[8];
      40      } res, val, tmp;
      41    unsigned short ins[4] = { 3, 4, 5, 6 };
      42  
      43    val.i[0] = 0x35251505;
      44    val.i[1] = 0x75655545;
      45    val.i[2] = 0xB5A59585;
      46    val.i[3] = 0xF5E5D5C5;
      47  
      48    res.x = foo (val.x, ins[3]);
      49  
      50    tmp.x = val.x;
      51    tmp.s[1] = ins[3];
      52    if (memcmp (&tmp, &res, sizeof (tmp)))
      53      abort ();
      54  }