Coverage Report

Created: 2026-05-20 07:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl/crypto/sha/sha_local.h
Line
Count
Source
1
/*
2
 * Copyright 1995-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#if !defined(OSSL_LIBCRYPTO_SHA_SHA_LOCAL_H)
11
#define OSSL_LIBCRYPTO_SHA_SHA_LOCAL_H
12
13
#include <stdlib.h>
14
#include <string.h>
15
16
#include <openssl/opensslconf.h>
17
#include <openssl/sha.h>
18
#include "internal/endian.h"
19
20
#define DATA_ORDER_IS_BIG_ENDIAN
21
22
15.9k
#define HASH_LONG SHA_LONG
23
15.9k
#define HASH_CTX SHA_CTX
24
112k
#define HASH_CBLOCK SHA_CBLOCK
25
#define HASH_MAKE_STRING(c, s)   \
26
15.9k
    do {                         \
27
15.9k
        unsigned long ll;        \
28
15.9k
        ll = (c)->h0;            \
29
15.9k
        (void)HOST_l2c(ll, (s)); \
30
15.9k
        ll = (c)->h1;            \
31
15.9k
        (void)HOST_l2c(ll, (s)); \
32
15.9k
        ll = (c)->h2;            \
33
15.9k
        (void)HOST_l2c(ll, (s)); \
34
15.9k
        ll = (c)->h3;            \
35
15.9k
        (void)HOST_l2c(ll, (s)); \
36
15.9k
        ll = (c)->h4;            \
37
15.9k
        (void)HOST_l2c(ll, (s)); \
38
15.9k
    } while (0)
39
40
#define HASH_UPDATE_THUNK
41
#define HASH_UPDATE SHA1_Update_thunk
42
#define HASH_TRANSFORM SHA1_Transform
43
#define HASH_FINAL SHA1_Final
44
#define HASH_INIT SHA1_Init
45
32.6k
#define HASH_BLOCK_DATA_ORDER sha1_block_data_order
46
#define Xupdate(a, ix, ia, ib, ic, id) ((a) = (ia ^ ib ^ ic ^ id), \
47
    ix = (a) = ROTATE((a), 1))
48
49
#ifndef SHA1_ASM
50
static void sha1_block_data_order(SHA_CTX *c, const void *p, size_t num);
51
#else
52
void sha1_block_data_order(SHA_CTX *c, const void *p, size_t num);
53
#endif
54
55
/* clang-format off */
56
#include "crypto/md32_common.inc"
57
/* clang-format on */
58
#undef HASH_UPDATE_THUNK
59
60
int SHA1_Update(SHA_CTX *c, const void *data, size_t len)
61
0
{
62
0
    return SHA1_Update_thunk((void *)c, (const unsigned char *)data, len);
63
0
}
64
65
15.9k
#define INIT_DATA_h0 0x67452301UL
66
15.9k
#define INIT_DATA_h1 0xefcdab89UL
67
15.9k
#define INIT_DATA_h2 0x98badcfeUL
68
15.9k
#define INIT_DATA_h3 0x10325476UL
69
15.9k
#define INIT_DATA_h4 0xc3d2e1f0UL
70
71
int HASH_INIT(SHA_CTX *c)
72
15.9k
{
73
15.9k
    memset(c, 0, sizeof(*c));
74
15.9k
    c->h0 = INIT_DATA_h0;
75
15.9k
    c->h1 = INIT_DATA_h1;
76
15.9k
    c->h2 = INIT_DATA_h2;
77
15.9k
    c->h3 = INIT_DATA_h3;
78
15.9k
    c->h4 = INIT_DATA_h4;
79
15.9k
    return 1;
80
15.9k
}
81
82
#define K_00_19 0x5a827999UL
83
#define K_20_39 0x6ed9eba1UL
84
#define K_40_59 0x8f1bbcdcUL
85
#define K_60_79 0xca62c1d6UL
86
87
/*
88
 * As pointed out by Wei Dai, F() below can be simplified to the code in
89
 * F_00_19.  Wei attributes these optimizations to Peter Gutmann's SHS code,
90
 * and he attributes it to Rich Schroeppel.
91
 *      #define F(x,y,z) (((x) & (y)) | ((~(x)) & (z)))
92
 * I've just become aware of another tweak to be made, again from Wei Dai,
93
 * in F_40_59, (x&a)|(y&a) -> (x|y)&a
94
 */
95
#define F_00_19(b, c, d) ((((c) ^ (d)) & (b)) ^ (d))
96
#define F_20_39(b, c, d) ((b) ^ (c) ^ (d))
97
#define F_40_59(b, c, d) (((b) & (c)) | (((b) | (c)) & (d)))
98
#define F_60_79(b, c, d) F_20_39(b, c, d)
99
100
#ifndef OPENSSL_SMALL_FOOTPRINT
101
102
#define BODY_00_15(i, a, b, c, d, e, f, xi)                             \
103
    (f) = xi + (e) + K_00_19 + ROTATE((a), 5) + F_00_19((b), (c), (d)); \
104
    (b) = ROTATE((b), 30);
105
106
#define BODY_16_19(i, a, b, c, d, e, f, xi, xa, xb, xc, xd)         \
107
    Xupdate(f, xi, xa, xb, xc, xd);                                 \
108
    (f) += (e) + K_00_19 + ROTATE((a), 5) + F_00_19((b), (c), (d)); \
109
    (b) = ROTATE((b), 30);
110
111
#define BODY_20_31(i, a, b, c, d, e, f, xi, xa, xb, xc, xd)         \
112
    Xupdate(f, xi, xa, xb, xc, xd);                                 \
113
    (f) += (e) + K_20_39 + ROTATE((a), 5) + F_20_39((b), (c), (d)); \
114
    (b) = ROTATE((b), 30);
115
116
#define BODY_32_39(i, a, b, c, d, e, f, xa, xb, xc, xd)             \
117
    Xupdate(f, xa, xa, xb, xc, xd);                                 \
118
    (f) += (e) + K_20_39 + ROTATE((a), 5) + F_20_39((b), (c), (d)); \
119
    (b) = ROTATE((b), 30);
120
121
#define BODY_40_59(i, a, b, c, d, e, f, xa, xb, xc, xd)             \
122
    Xupdate(f, xa, xa, xb, xc, xd);                                 \
123
    (f) += (e) + K_40_59 + ROTATE((a), 5) + F_40_59((b), (c), (d)); \
124
    (b) = ROTATE((b), 30);
125
126
#define BODY_60_79(i, a, b, c, d, e, f, xa, xb, xc, xd)                 \
127
    Xupdate(f, xa, xa, xb, xc, xd);                                     \
128
    (f) = xa + (e) + K_60_79 + ROTATE((a), 5) + F_60_79((b), (c), (d)); \
129
    (b) = ROTATE((b), 30);
130
131
#ifdef X
132
#undef X
133
#endif
134
#ifndef MD32_XARRAY
135
/*
136
 * Originally X was an array. As it's automatic it's natural
137
 * to expect RISC compiler to accommodate at least part of it in
138
 * the register bank, isn't it? Unfortunately not all compilers
139
 * "find" this expectation reasonable:-( On order to make such
140
 * compilers generate better code I replace X[] with a bunch of
141
 * X0, X1, etc. See the function body below...
142
 */
143
#define X(i) XX##i
144
#else
145
/*
146
 * However! Some compilers (most notably HP C) get overwhelmed by
147
 * that many local variables so that we have to have the way to
148
 * fall down to the original behavior.
149
 */
150
#define X(i) XX[i]
151
#endif
152
153
#if !defined(SHA1_ASM)
154
static void HASH_BLOCK_DATA_ORDER(SHA_CTX *c, const void *p, size_t num)
155
{
156
    const unsigned char *data = p;
157
    register unsigned MD32_REG_T A, B, C, D, E, T, l;
158
#ifndef MD32_XARRAY
159
    unsigned MD32_REG_T XX0, XX1, XX2, XX3, XX4, XX5, XX6, XX7,
160
        XX8, XX9, XX10, XX11, XX12, XX13, XX14, XX15;
161
#else
162
    SHA_LONG XX[16];
163
#endif
164
165
    A = c->h0;
166
    B = c->h1;
167
    C = c->h2;
168
    D = c->h3;
169
    E = c->h4;
170
171
    for (;;) {
172
        DECLARE_IS_ENDIAN;
173
174
        if (!IS_LITTLE_ENDIAN && sizeof(SHA_LONG) == 4
175
            && ((size_t)p % 4) == 0) {
176
            const SHA_LONG *W = (const SHA_LONG *)data;
177
178
            X(0) = W[0];
179
            X(1) = W[1];
180
            BODY_00_15(0, A, B, C, D, E, T, X(0));
181
            X(2) = W[2];
182
            BODY_00_15(1, T, A, B, C, D, E, X(1));
183
            X(3) = W[3];
184
            BODY_00_15(2, E, T, A, B, C, D, X(2));
185
            X(4) = W[4];
186
            BODY_00_15(3, D, E, T, A, B, C, X(3));
187
            X(5) = W[5];
188
            BODY_00_15(4, C, D, E, T, A, B, X(4));
189
            X(6) = W[6];
190
            BODY_00_15(5, B, C, D, E, T, A, X(5));
191
            X(7) = W[7];
192
            BODY_00_15(6, A, B, C, D, E, T, X(6));
193
            X(8) = W[8];
194
            BODY_00_15(7, T, A, B, C, D, E, X(7));
195
            X(9) = W[9];
196
            BODY_00_15(8, E, T, A, B, C, D, X(8));
197
            X(10) = W[10];
198
            BODY_00_15(9, D, E, T, A, B, C, X(9));
199
            X(11) = W[11];
200
            BODY_00_15(10, C, D, E, T, A, B, X(10));
201
            X(12) = W[12];
202
            BODY_00_15(11, B, C, D, E, T, A, X(11));
203
            X(13) = W[13];
204
            BODY_00_15(12, A, B, C, D, E, T, X(12));
205
            X(14) = W[14];
206
            BODY_00_15(13, T, A, B, C, D, E, X(13));
207
            X(15) = W[15];
208
            BODY_00_15(14, E, T, A, B, C, D, X(14));
209
            BODY_00_15(15, D, E, T, A, B, C, X(15));
210
211
            data += SHA_CBLOCK;
212
        } else {
213
            (void)HOST_c2l(data, l);
214
            X(0) = l;
215
            (void)HOST_c2l(data, l);
216
            X(1) = l;
217
            BODY_00_15(0, A, B, C, D, E, T, X(0));
218
            (void)HOST_c2l(data, l);
219
            X(2) = l;
220
            BODY_00_15(1, T, A, B, C, D, E, X(1));
221
            (void)HOST_c2l(data, l);
222
            X(3) = l;
223
            BODY_00_15(2, E, T, A, B, C, D, X(2));
224
            (void)HOST_c2l(data, l);
225
            X(4) = l;
226
            BODY_00_15(3, D, E, T, A, B, C, X(3));
227
            (void)HOST_c2l(data, l);
228
            X(5) = l;
229
            BODY_00_15(4, C, D, E, T, A, B, X(4));
230
            (void)HOST_c2l(data, l);
231
            X(6) = l;
232
            BODY_00_15(5, B, C, D, E, T, A, X(5));
233
            (void)HOST_c2l(data, l);
234
            X(7) = l;
235
            BODY_00_15(6, A, B, C, D, E, T, X(6));
236
            (void)HOST_c2l(data, l);
237
            X(8) = l;
238
            BODY_00_15(7, T, A, B, C, D, E, X(7));
239
            (void)HOST_c2l(data, l);
240
            X(9) = l;
241
            BODY_00_15(8, E, T, A, B, C, D, X(8));
242
            (void)HOST_c2l(data, l);
243
            X(10) = l;
244
            BODY_00_15(9, D, E, T, A, B, C, X(9));
245
            (void)HOST_c2l(data, l);
246
            X(11) = l;
247
            BODY_00_15(10, C, D, E, T, A, B, X(10));
248
            (void)HOST_c2l(data, l);
249
            X(12) = l;
250
            BODY_00_15(11, B, C, D, E, T, A, X(11));
251
            (void)HOST_c2l(data, l);
252
            X(13) = l;
253
            BODY_00_15(12, A, B, C, D, E, T, X(12));
254
            (void)HOST_c2l(data, l);
255
            X(14) = l;
256
            BODY_00_15(13, T, A, B, C, D, E, X(13));
257
            (void)HOST_c2l(data, l);
258
            X(15) = l;
259
            BODY_00_15(14, E, T, A, B, C, D, X(14));
260
            BODY_00_15(15, D, E, T, A, B, C, X(15));
261
        }
262
263
        BODY_16_19(16, C, D, E, T, A, B, X(0), X(0), X(2), X(8), X(13));
264
        BODY_16_19(17, B, C, D, E, T, A, X(1), X(1), X(3), X(9), X(14));
265
        BODY_16_19(18, A, B, C, D, E, T, X(2), X(2), X(4), X(10), X(15));
266
        BODY_16_19(19, T, A, B, C, D, E, X(3), X(3), X(5), X(11), X(0));
267
268
        BODY_20_31(20, E, T, A, B, C, D, X(4), X(4), X(6), X(12), X(1));
269
        BODY_20_31(21, D, E, T, A, B, C, X(5), X(5), X(7), X(13), X(2));
270
        BODY_20_31(22, C, D, E, T, A, B, X(6), X(6), X(8), X(14), X(3));
271
        BODY_20_31(23, B, C, D, E, T, A, X(7), X(7), X(9), X(15), X(4));
272
        BODY_20_31(24, A, B, C, D, E, T, X(8), X(8), X(10), X(0), X(5));
273
        BODY_20_31(25, T, A, B, C, D, E, X(9), X(9), X(11), X(1), X(6));
274
        BODY_20_31(26, E, T, A, B, C, D, X(10), X(10), X(12), X(2), X(7));
275
        BODY_20_31(27, D, E, T, A, B, C, X(11), X(11), X(13), X(3), X(8));
276
        BODY_20_31(28, C, D, E, T, A, B, X(12), X(12), X(14), X(4), X(9));
277
        BODY_20_31(29, B, C, D, E, T, A, X(13), X(13), X(15), X(5), X(10));
278
        BODY_20_31(30, A, B, C, D, E, T, X(14), X(14), X(0), X(6), X(11));
279
        BODY_20_31(31, T, A, B, C, D, E, X(15), X(15), X(1), X(7), X(12));
280
281
        BODY_32_39(32, E, T, A, B, C, D, X(0), X(2), X(8), X(13));
282
        BODY_32_39(33, D, E, T, A, B, C, X(1), X(3), X(9), X(14));
283
        BODY_32_39(34, C, D, E, T, A, B, X(2), X(4), X(10), X(15));
284
        BODY_32_39(35, B, C, D, E, T, A, X(3), X(5), X(11), X(0));
285
        BODY_32_39(36, A, B, C, D, E, T, X(4), X(6), X(12), X(1));
286
        BODY_32_39(37, T, A, B, C, D, E, X(5), X(7), X(13), X(2));
287
        BODY_32_39(38, E, T, A, B, C, D, X(6), X(8), X(14), X(3));
288
        BODY_32_39(39, D, E, T, A, B, C, X(7), X(9), X(15), X(4));
289
290
        BODY_40_59(40, C, D, E, T, A, B, X(8), X(10), X(0), X(5));
291
        BODY_40_59(41, B, C, D, E, T, A, X(9), X(11), X(1), X(6));
292
        BODY_40_59(42, A, B, C, D, E, T, X(10), X(12), X(2), X(7));
293
        BODY_40_59(43, T, A, B, C, D, E, X(11), X(13), X(3), X(8));
294
        BODY_40_59(44, E, T, A, B, C, D, X(12), X(14), X(4), X(9));
295
        BODY_40_59(45, D, E, T, A, B, C, X(13), X(15), X(5), X(10));
296
        BODY_40_59(46, C, D, E, T, A, B, X(14), X(0), X(6), X(11));
297
        BODY_40_59(47, B, C, D, E, T, A, X(15), X(1), X(7), X(12));
298
        BODY_40_59(48, A, B, C, D, E, T, X(0), X(2), X(8), X(13));
299
        BODY_40_59(49, T, A, B, C, D, E, X(1), X(3), X(9), X(14));
300
        BODY_40_59(50, E, T, A, B, C, D, X(2), X(4), X(10), X(15));
301
        BODY_40_59(51, D, E, T, A, B, C, X(3), X(5), X(11), X(0));
302
        BODY_40_59(52, C, D, E, T, A, B, X(4), X(6), X(12), X(1));
303
        BODY_40_59(53, B, C, D, E, T, A, X(5), X(7), X(13), X(2));
304
        BODY_40_59(54, A, B, C, D, E, T, X(6), X(8), X(14), X(3));
305
        BODY_40_59(55, T, A, B, C, D, E, X(7), X(9), X(15), X(4));
306
        BODY_40_59(56, E, T, A, B, C, D, X(8), X(10), X(0), X(5));
307
        BODY_40_59(57, D, E, T, A, B, C, X(9), X(11), X(1), X(6));
308
        BODY_40_59(58, C, D, E, T, A, B, X(10), X(12), X(2), X(7));
309
        BODY_40_59(59, B, C, D, E, T, A, X(11), X(13), X(3), X(8));
310
311
        BODY_60_79(60, A, B, C, D, E, T, X(12), X(14), X(4), X(9));
312
        BODY_60_79(61, T, A, B, C, D, E, X(13), X(15), X(5), X(10));
313
        BODY_60_79(62, E, T, A, B, C, D, X(14), X(0), X(6), X(11));
314
        BODY_60_79(63, D, E, T, A, B, C, X(15), X(1), X(7), X(12));
315
        BODY_60_79(64, C, D, E, T, A, B, X(0), X(2), X(8), X(13));
316
        BODY_60_79(65, B, C, D, E, T, A, X(1), X(3), X(9), X(14));
317
        BODY_60_79(66, A, B, C, D, E, T, X(2), X(4), X(10), X(15));
318
        BODY_60_79(67, T, A, B, C, D, E, X(3), X(5), X(11), X(0));
319
        BODY_60_79(68, E, T, A, B, C, D, X(4), X(6), X(12), X(1));
320
        BODY_60_79(69, D, E, T, A, B, C, X(5), X(7), X(13), X(2));
321
        BODY_60_79(70, C, D, E, T, A, B, X(6), X(8), X(14), X(3));
322
        BODY_60_79(71, B, C, D, E, T, A, X(7), X(9), X(15), X(4));
323
        BODY_60_79(72, A, B, C, D, E, T, X(8), X(10), X(0), X(5));
324
        BODY_60_79(73, T, A, B, C, D, E, X(9), X(11), X(1), X(6));
325
        BODY_60_79(74, E, T, A, B, C, D, X(10), X(12), X(2), X(7));
326
        BODY_60_79(75, D, E, T, A, B, C, X(11), X(13), X(3), X(8));
327
        BODY_60_79(76, C, D, E, T, A, B, X(12), X(14), X(4), X(9));
328
        BODY_60_79(77, B, C, D, E, T, A, X(13), X(15), X(5), X(10));
329
        BODY_60_79(78, A, B, C, D, E, T, X(14), X(0), X(6), X(11));
330
        BODY_60_79(79, T, A, B, C, D, E, X(15), X(1), X(7), X(12));
331
332
        c->h0 = (c->h0 + E) & 0xffffffffL;
333
        c->h1 = (c->h1 + T) & 0xffffffffL;
334
        c->h2 = (c->h2 + A) & 0xffffffffL;
335
        c->h3 = (c->h3 + B) & 0xffffffffL;
336
        c->h4 = (c->h4 + C) & 0xffffffffL;
337
338
        if (--num == 0)
339
            break;
340
341
        A = c->h0;
342
        B = c->h1;
343
        C = c->h2;
344
        D = c->h3;
345
        E = c->h4;
346
    }
347
}
348
#endif
349
350
#else /* OPENSSL_SMALL_FOOTPRINT */
351
352
#define BODY_00_15(xi)                          \
353
    do {                                        \
354
        T = E + K_00_19 + F_00_19(B, C, D);     \
355
        E = D, D = C, C = ROTATE(B, 30), B = A; \
356
        A = ROTATE(A, 5) + T + xi;              \
357
    } while (0)
358
359
#define BODY_16_19(xa, xb, xc, xd)              \
360
    do {                                        \
361
        Xupdate(T, xa, xa, xb, xc, xd);         \
362
        T += E + K_00_19 + F_00_19(B, C, D);    \
363
        E = D, D = C, C = ROTATE(B, 30), B = A; \
364
        A = ROTATE(A, 5) + T;                   \
365
    } while (0)
366
367
#define BODY_20_39(xa, xb, xc, xd)              \
368
    do {                                        \
369
        Xupdate(T, xa, xa, xb, xc, xd);         \
370
        T += E + K_20_39 + F_20_39(B, C, D);    \
371
        E = D, D = C, C = ROTATE(B, 30), B = A; \
372
        A = ROTATE(A, 5) + T;                   \
373
    } while (0)
374
375
#define BODY_40_59(xa, xb, xc, xd)              \
376
    do {                                        \
377
        Xupdate(T, xa, xa, xb, xc, xd);         \
378
        T += E + K_40_59 + F_40_59(B, C, D);    \
379
        E = D, D = C, C = ROTATE(B, 30), B = A; \
380
        A = ROTATE(A, 5) + T;                   \
381
    } while (0)
382
383
#define BODY_60_79(xa, xb, xc, xd)              \
384
    do {                                        \
385
        Xupdate(T, xa, xa, xb, xc, xd);         \
386
        T = E + K_60_79 + F_60_79(B, C, D);     \
387
        E = D, D = C, C = ROTATE(B, 30), B = A; \
388
        A = ROTATE(A, 5) + T + xa;              \
389
    } while (0)
390
391
#if !defined(SHA1_ASM)
392
static void HASH_BLOCK_DATA_ORDER(SHA_CTX *c, const void *p, size_t num)
393
{
394
    const unsigned char *data = p;
395
    register unsigned MD32_REG_T A, B, C, D, E, T, l;
396
    int i;
397
    SHA_LONG X[16];
398
399
    A = c->h0;
400
    B = c->h1;
401
    C = c->h2;
402
    D = c->h3;
403
    E = c->h4;
404
405
    for (;;) {
406
        for (i = 0; i < 16; i++) {
407
            (void)HOST_c2l(data, l);
408
            X[i] = l;
409
            BODY_00_15(X[i]);
410
        }
411
        for (i = 0; i < 4; i++) {
412
            BODY_16_19(X[i], X[i + 2], X[i + 8], X[(i + 13) & 15]);
413
        }
414
        for (; i < 24; i++) {
415
            BODY_20_39(X[i & 15], X[(i + 2) & 15], X[(i + 8) & 15],
416
                X[(i + 13) & 15]);
417
        }
418
        for (i = 0; i < 20; i++) {
419
            BODY_40_59(X[(i + 8) & 15], X[(i + 10) & 15], X[i & 15],
420
                X[(i + 5) & 15]);
421
        }
422
        for (i = 4; i < 24; i++) {
423
            BODY_60_79(X[(i + 8) & 15], X[(i + 10) & 15], X[i & 15],
424
                X[(i + 5) & 15]);
425
        }
426
427
        c->h0 = (c->h0 + A) & 0xffffffffL;
428
        c->h1 = (c->h1 + B) & 0xffffffffL;
429
        c->h2 = (c->h2 + C) & 0xffffffffL;
430
        c->h3 = (c->h3 + D) & 0xffffffffL;
431
        c->h4 = (c->h4 + E) & 0xffffffffL;
432
433
        if (--num == 0)
434
            break;
435
436
        A = c->h0;
437
        B = c->h1;
438
        C = c->h2;
439
        D = c->h3;
440
        E = c->h4;
441
    }
442
}
443
#endif
444
445
#endif
446
447
#endif /* !defined(OSSL_LIBCRYPTO_SHA_SHA_LOCAL_H) */