| /* { dg-do run } */ |
| /* { dg-require-effective-target sse2 } */ |
| /* { dg-options "-O2 -msse2" } */ |
| |
| #ifndef CHECK_H |
| #define CHECK_H "sse2-check.h" |
| #endif |
| |
| #ifndef TEST |
| #define TEST sse2_test |
| #endif |
| |
| #include CHECK_H |
| |
| #include <emmintrin.h> |
| #include <string.h> |
| |
| typedef short T __attribute__((may_alias)); |
| struct S { __m128i d; }; |
| |
| __m128i |
| __attribute__((noinline)) |
| foo (__m128i y, short x) |
| { |
| struct S s; |
| |
| s.d = y; |
| ((T *) &s.d)[1] = x; |
| return s.d; |
| } |
| |
| static void |
| TEST (void) |
| { |
| union |
| { |
| __m128i x; |
| unsigned int i[4]; |
| unsigned short s[8]; |
| } res, val, tmp; |
| unsigned short ins[4] = { 3, 4, 5, 6 }; |
| |
| val.i[0] = 0x35251505; |
| val.i[1] = 0x75655545; |
| val.i[2] = 0xB5A59585; |
| val.i[3] = 0xF5E5D5C5; |
| |
| res.x = foo (val.x, ins[3]); |
| |
| tmp.x = val.x; |
| tmp.s[1] = ins[3]; |
| if (memcmp (&tmp, &res, sizeof (tmp))) |
| abort (); |
| } |