Coverage Report

Created: 2026-05-30 06:45

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/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