/src/zlib-ng/arch/x86/adler32_ssse3.c
Line | Count | Source |
1 | | /* adler32_ssse3.c -- compute the Adler-32 checksum of a data stream |
2 | | * Copyright (C) 1995-2011 Mark Adler |
3 | | * Authors: |
4 | | * Adam Stylinski <kungfujesus06@gmail.com> |
5 | | * Brian Bockelman <bockelman@gmail.com> |
6 | | * For conditions of distribution and use, see copyright notice in zlib.h |
7 | | */ |
8 | | |
9 | | #ifdef X86_SSSE3 |
10 | | |
11 | | #include "zbuild.h" |
12 | | #include "adler32_p.h" |
13 | | #include "adler32_ssse3_p.h" |
14 | | |
15 | | #include <immintrin.h> |
16 | | |
17 | 10.2k | Z_INTERNAL uint32_t adler32_ssse3(uint32_t adler, const uint8_t *buf, size_t len) { |
18 | | /* split Adler-32 into component sums */ |
19 | 10.2k | uint32_t sum2 = (adler >> 16) & 0xffff; |
20 | 10.2k | adler &= 0xffff; |
21 | | |
22 | | /* in case user likes doing a byte at a time, keep it fast */ |
23 | 10.2k | if (UNLIKELY(len == 1)) |
24 | 0 | return adler32_copy_tail(adler, NULL, buf, 1, sum2, 1, 1, 0); |
25 | | |
26 | | /* in case short lengths are provided, keep it somewhat fast */ |
27 | 10.2k | if (UNLIKELY(len < 16)) |
28 | 0 | return adler32_copy_tail(adler, NULL, buf, len, sum2, 1, 15, 0); |
29 | | |
30 | 10.2k | const __m128i dot2v = _mm_setr_epi8(32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17); |
31 | 10.2k | const __m128i dot2v_0 = _mm_setr_epi8(16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1); |
32 | 10.2k | const __m128i dot3v = _mm_set1_epi16(1); |
33 | 10.2k | const __m128i zero = _mm_setzero_si128(); |
34 | | |
35 | 10.2k | __m128i vbuf, vs1_0, vs3, vs1, vs2, vs2_0, v_sad_sum1, v_short_sum2, v_short_sum2_0, |
36 | 10.2k | vbuf_0, v_sad_sum2, vsum2, vsum2_0; |
37 | | |
38 | | /* If our buffer is unaligned (likely), make the determination whether |
39 | | * or not there's enough of a buffer to consume to make the scalar, aligning |
40 | | * additions worthwhile or if it's worth it to just eat the cost of an unaligned |
41 | | * load. This is a pretty simple test, just test if len < 32 */ |
42 | 10.2k | size_t n = NMAX; |
43 | 10.2k | size_t k = 0; |
44 | | |
45 | 10.2k | if (len < 32) { |
46 | | /* Let's eat the cost of this one unaligned load so that |
47 | | * we don't completely skip over the vectorization. Doing |
48 | | * 16 bytes at a time unaligned is better than 16 + <= 15 |
49 | | * sums */ |
50 | 10.2k | vbuf = _mm_loadu_si128((__m128i*)buf); |
51 | 10.2k | len -= 16; |
52 | 10.2k | buf += 16; |
53 | 10.2k | vs1 = _mm_cvtsi32_si128(adler); |
54 | 10.2k | vs2 = _mm_cvtsi32_si128(sum2); |
55 | 10.2k | vs3 = _mm_setzero_si128(); |
56 | 10.2k | vs1_0 = vs1; |
57 | 10.2k | goto unaligned_jmp; |
58 | 10.2k | } |
59 | | |
60 | 0 | size_t align_diff = MIN(ALIGN_DIFF(buf, 16), len); |
61 | 0 | if (align_diff) { |
62 | 0 | adler32_copy_align(&adler, NULL, buf, align_diff, &sum2, 15, 0); |
63 | |
|
64 | 0 | buf += align_diff; |
65 | 0 | len -= align_diff; |
66 | 0 | n -= align_diff; |
67 | 0 | } |
68 | |
|
69 | 10.2k | while (len >= 16) { |
70 | 0 | vs1 = _mm_cvtsi32_si128(adler); |
71 | 0 | vs2 = _mm_cvtsi32_si128(sum2); |
72 | 0 | vs3 = _mm_setzero_si128(); |
73 | 0 | vs2_0 = _mm_setzero_si128(); |
74 | 0 | vs1_0 = vs1; |
75 | |
|
76 | 0 | k = ALIGN_DOWN(MIN(len, n), 16); |
77 | 0 | len -= k; |
78 | |
|
79 | 0 | while (k >= 32) { |
80 | | /* |
81 | | vs1 = adler + sum(c[i]) |
82 | | vs2 = sum2 + 16 vs1 + sum( (16-i+1) c[i] ) |
83 | | */ |
84 | 0 | vbuf = _mm_load_si128((__m128i*)buf); |
85 | 0 | vbuf_0 = _mm_load_si128((__m128i*)(buf + 16)); |
86 | 0 | buf += 32; |
87 | 0 | k -= 32; |
88 | |
|
89 | 0 | v_sad_sum1 = _mm_sad_epu8(vbuf, zero); |
90 | 0 | v_sad_sum2 = _mm_sad_epu8(vbuf_0, zero); |
91 | 0 | vs1 = _mm_add_epi32(v_sad_sum1, vs1); |
92 | 0 | vs3 = _mm_add_epi32(vs1_0, vs3); |
93 | |
|
94 | 0 | vs1 = _mm_add_epi32(v_sad_sum2, vs1); |
95 | 0 | v_short_sum2 = _mm_maddubs_epi16(vbuf, dot2v); |
96 | 0 | vsum2 = _mm_madd_epi16(v_short_sum2, dot3v); |
97 | 0 | v_short_sum2_0 = _mm_maddubs_epi16(vbuf_0, dot2v_0); |
98 | 0 | vs2 = _mm_add_epi32(vsum2, vs2); |
99 | 0 | vsum2_0 = _mm_madd_epi16(v_short_sum2_0, dot3v); |
100 | 0 | vs2_0 = _mm_add_epi32(vsum2_0, vs2_0); |
101 | 0 | vs1_0 = vs1; |
102 | 0 | } |
103 | |
|
104 | 0 | vs2 = _mm_add_epi32(vs2_0, vs2); |
105 | 0 | vs3 = _mm_slli_epi32(vs3, 5); |
106 | 0 | vs2 = _mm_add_epi32(vs3, vs2); |
107 | 0 | vs3 = _mm_setzero_si128(); |
108 | |
|
109 | 10.2k | while (k >= 16) { |
110 | | /* |
111 | | vs1 = adler + sum(c[i]) |
112 | | vs2 = sum2 + 16 vs1 + sum( (16-i+1) c[i] ) |
113 | | */ |
114 | 0 | vbuf = _mm_load_si128((__m128i*)buf); |
115 | 0 | buf += 16; |
116 | 0 | k -= 16; |
117 | |
|
118 | 10.2k | unaligned_jmp: |
119 | 10.2k | v_sad_sum1 = _mm_sad_epu8(vbuf, zero); |
120 | 10.2k | vs1 = _mm_add_epi32(v_sad_sum1, vs1); |
121 | 10.2k | vs3 = _mm_add_epi32(vs1_0, vs3); |
122 | 10.2k | v_short_sum2 = _mm_maddubs_epi16(vbuf, dot2v_0); |
123 | 10.2k | vsum2 = _mm_madd_epi16(v_short_sum2, dot3v); |
124 | 10.2k | vs2 = _mm_add_epi32(vsum2, vs2); |
125 | 10.2k | vs1_0 = vs1; |
126 | 10.2k | } |
127 | |
|
128 | 10.2k | vs3 = _mm_slli_epi32(vs3, 4); |
129 | 10.2k | vs2 = _mm_add_epi32(vs2, vs3); |
130 | | |
131 | | /* We don't actually need to do a full horizontal sum, since psadbw is actually doing |
132 | | * a partial reduction sum implicitly and only summing to integers in vector positions |
133 | | * 0 and 2. This saves us some contention on the shuffle port(s) */ |
134 | 10.2k | adler = partial_hsum(vs1) % BASE; |
135 | 10.2k | sum2 = hsum(vs2) % BASE; |
136 | 10.2k | n = NMAX; |
137 | 10.2k | } |
138 | | |
139 | | /* Process tail (len < 16). */ |
140 | 10.2k | return adler32_copy_tail(adler, NULL, buf, len, sum2, len != 0, 15, 0); |
141 | 0 | } |
142 | | |
143 | | /* SSSE3 unaligned stores have a huge penalty, so we use memcpy. */ |
144 | 0 | Z_INTERNAL uint32_t adler32_copy_ssse3(uint32_t adler, uint8_t *dst, const uint8_t *src, size_t len) { |
145 | 0 | adler = adler32_ssse3(adler, src, len); |
146 | 0 | memcpy(dst, src, len); |
147 | 0 | return adler; |
148 | 0 | } |
149 | | #endif |