1 /* { dg-do compile } */
2 /* { dg-options "-msse4.2 -O3" } */
3 /* { dg-final { scan-assembler-times "(?:vmovd|movd)\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]" 3 } } */
4 /* { dg-final { scan-assembler-times "(?:vpaddd|paddd)\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]" 2 } } */
5 /* { dg-final { scan-assembler-times "(?:vpinsrd|pinsrd)\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]" 1 } } */
6 /* { dg-final { scan-assembler-not "vmovss" } } */
7
8 #include <immintrin.h>
9
10 int
main(int a,int b)11 main (int a, int b)
12 {
13 int res;
14
15 __m128i xa, xb, xres;
16
17 xa = _mm_insert_epi32 (xa, a, 0);
18 xb = _mm_insert_epi32 (xb, b, 0);
19
20 xres = _mm_add_epi32 (xa, xb);
21
22 res = _mm_extract_epi32 (xres, 0);
23
24 xres = _mm_insert_epi32 (xres, res, 0);
25 xb = _mm_insert_epi32 (xb, b, 0);
26
27 xres = _mm_add_epi32 (xres, xb);
28
29 res = _mm_extract_epi32 (xres, 0);
30
31 return res;
32 }
33
34