| /* { dg-do compile } */ |
| /* { dg-options "-O2 -msse2 -mfpmath=sse" } */ |
| /* { dg-final { scan-assembler-times "addsd" 1 } } */ |
| /* { dg-final { scan-assembler-not "movapd" } } */ |
| /* { dg-final { scan-assembler-not "movsd" } } */ |
| |
| typedef double __v2df __attribute__ ((__vector_size__ (16))); |
| typedef double __m128d __attribute__ ((__vector_size__ (16), __may_alias__)); |
| |
| __m128d |
| _mm_add_sd (__m128d x, __m128d y) |
| { |
| __m128d z = __extension__ (__m128d)(__v2df) |
| { (((__v2df) x)[0] + ((__v2df) y)[0]), ((__v2df) x)[1] }; |
| return z; |
| } |
