1 /* { dg-do run } */
2 /* { dg-options "-O3 -mpower8-vector" } */
3 /* { dg-require-effective-target p8vector_hw } */
4
5 #include "sse2-check.h"
6
7 #ifndef TEST
8 #define TEST sse2_test_mmx_1
9 #endif
10
11 #include <mmintrin.h>
12
13 #define N 4
14
15 unsigned long long a[N], b[N], result[N];
16
17 unsigned long long check_data[N] =
18 { 0x101010101010100full,
19 0x1010101010101010ull,
20 0x1010101010101010ull,
21 0x1010101010101010ull };
22
23 __m64
unsigned_add3(const __m64 * a,const __m64 * b,__m64 * result,unsigned int count)24 unsigned_add3 (const __m64 * a, const __m64 * b,
25 __m64 * result, unsigned int count)
26 {
27 __m64 _a, _b, one, sum, carry, onesCarry;
28
29 unsigned int i;
30
31 carry = _mm_setzero_si64 ();
32
33 one = _mm_cmpeq_pi8 (carry, carry);
34 one = _mm_sub_si64 (carry, one);
35
36 for (i = 0; i < count; i++)
37 {
38 _a = a[i];
39 _b = b[i];
40
41 sum = _mm_add_si64 (_a, _b);
42 sum = _mm_add_si64 (sum, carry);
43
44 result[i] = sum;
45
46 onesCarry = _mm_and_si64 (_mm_xor_si64 (_a, _b), carry);
47 onesCarry = _mm_or_si64 (_mm_and_si64 (_a, _b), onesCarry);
48 onesCarry = _mm_and_si64 (onesCarry, one);
49
50 _a = _mm_srli_si64 (_a, 1);
51 _b = _mm_srli_si64 (_b, 1);
52
53 carry = _mm_add_si64 (_mm_add_si64 (_a, _b), onesCarry);
54 carry = _mm_srli_si64 (carry, 63);
55 }
56
57 return carry;
58 }
59
60 void __attribute__((noinline))
TEST(void)61 TEST (void)
62 {
63 unsigned long long carry;
64 int i;
65
66 /* Really long numbers. */
67 a[3] = a[2] = a[1] = a[0] = 0xd3d3d3d3d3d3d3d3ull;
68 b[3] = b[2] = b[1] = b[0] = 0x3c3c3c3c3c3c3c3cull;
69
70 carry = (unsigned long long) unsigned_add3
71 ((__m64 *)a, (__m64 *)b, (__m64 *)result, N);
72
73 _mm_empty ();
74
75 if (carry != 1)
76 abort ();
77
78 for (i = 0; i < N; i++)
79 if (result [i] != check_data[i])
80 abort ();
81 }
82