Coverage Report

Created: 2022-08-24 06:30

/src/libressl/crypto/md32_common.h
Line
Count
Source (jump to first uncovered line)
1
/* $OpenBSD: md32_common.h,v 1.22 2016/11/04 13:56:04 miod Exp $ */
2
/* ====================================================================
3
 * Copyright (c) 1999-2007 The OpenSSL Project.  All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * 1. Redistributions of source code must retain the above copyright
10
 *    notice, this list of conditions and the following disclaimer.
11
 *
12
 * 2. Redistributions in binary form must reproduce the above copyright
13
 *    notice, this list of conditions and the following disclaimer in
14
 *    the documentation and/or other materials provided with the
15
 *    distribution.
16
 *
17
 * 3. All advertising materials mentioning features or use of this
18
 *    software must display the following acknowledgment:
19
 *    "This product includes software developed by the OpenSSL Project
20
 *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
21
 *
22
 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
23
 *    endorse or promote products derived from this software without
24
 *    prior written permission. For written permission, please contact
25
 *    licensing@OpenSSL.org.
26
 *
27
 * 5. Products derived from this software may not be called "OpenSSL"
28
 *    nor may "OpenSSL" appear in their names without prior written
29
 *    permission of the OpenSSL Project.
30
 *
31
 * 6. Redistributions of any form whatsoever must retain the following
32
 *    acknowledgment:
33
 *    "This product includes software developed by the OpenSSL Project
34
 *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
35
 *
36
 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
37
 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
38
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
39
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
40
 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
41
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
42
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
43
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
44
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
45
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
46
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
47
 * OF THE POSSIBILITY OF SUCH DAMAGE.
48
 * ====================================================================
49
 *
50
 */
51
52
/*
53
 * This is a generic 32 bit "collector" for message digest algorithms.
54
 * Whenever needed it collects input character stream into chunks of
55
 * 32 bit values and invokes a block function that performs actual hash
56
 * calculations.
57
 *
58
 * Porting guide.
59
 *
60
 * Obligatory macros:
61
 *
62
 * DATA_ORDER_IS_BIG_ENDIAN or DATA_ORDER_IS_LITTLE_ENDIAN
63
 *  this macro defines byte order of input stream.
64
 * HASH_CBLOCK
65
 *  size of a unit chunk HASH_BLOCK operates on.
66
 * HASH_LONG
67
 *  has to be at least 32 bit wide.
68
 * HASH_CTX
69
 *  context structure that at least contains following
70
 *  members:
71
 *    typedef struct {
72
 *      ...
73
 *      HASH_LONG Nl,Nh;
74
 *      either {
75
 *      HASH_LONG data[HASH_LBLOCK];
76
 *      unsigned char data[HASH_CBLOCK];
77
 *      };
78
 *      unsigned int  num;
79
 *      ...
80
 *      } HASH_CTX;
81
 *  data[] vector is expected to be zeroed upon first call to
82
 *  HASH_UPDATE.
83
 * HASH_UPDATE
84
 *  name of "Update" function, implemented here.
85
 * HASH_TRANSFORM
86
 *  name of "Transform" function, implemented here.
87
 * HASH_FINAL
88
 *  name of "Final" function, implemented here.
89
 * HASH_BLOCK_DATA_ORDER
90
 *  name of "block" function capable of treating *unaligned* input
91
 *  message in original (data) byte order, implemented externally.
92
 * HASH_MAKE_STRING
93
 *  macro convering context variables to an ASCII hash string.
94
 *
95
 * MD5 example:
96
 *
97
 *  #define DATA_ORDER_IS_LITTLE_ENDIAN
98
 *
99
 *  #define HASH_LONG   MD5_LONG
100
 *  #define HASH_CTX    MD5_CTX
101
 *  #define HASH_CBLOCK   MD5_CBLOCK
102
 *  #define HASH_UPDATE   MD5_Update
103
 *  #define HASH_TRANSFORM    MD5_Transform
104
 *  #define HASH_FINAL    MD5_Final
105
 *  #define HASH_BLOCK_DATA_ORDER md5_block_data_order
106
 *
107
 *          <appro@fy.chalmers.se>
108
 */
109
110
#include <stdint.h>
111
112
#include <openssl/opensslconf.h>
113
114
#if !defined(DATA_ORDER_IS_BIG_ENDIAN) && !defined(DATA_ORDER_IS_LITTLE_ENDIAN)
115
#error "DATA_ORDER must be defined!"
116
#endif
117
118
#ifndef HASH_CBLOCK
119
#error "HASH_CBLOCK must be defined!"
120
#endif
121
#ifndef HASH_LONG
122
#error "HASH_LONG must be defined!"
123
#endif
124
#ifndef HASH_CTX
125
#error "HASH_CTX must be defined!"
126
#endif
127
128
#ifndef HASH_UPDATE
129
#error "HASH_UPDATE must be defined!"
130
#endif
131
#ifndef HASH_TRANSFORM
132
#error "HASH_TRANSFORM must be defined!"
133
#endif
134
#if !defined(HASH_FINAL) && !defined(HASH_NO_FINAL)
135
#error "HASH_FINAL or HASH_NO_FINAL must be defined!"
136
#endif
137
138
#ifndef HASH_BLOCK_DATA_ORDER
139
#error "HASH_BLOCK_DATA_ORDER must be defined!"
140
#endif
141
142
/*
143
 * This common idiom is recognized by the compiler and turned into a
144
 * CPU-specific intrinsic as appropriate. 
145
 * e.g. GCC optimizes to roll on amd64 at -O0
146
 */
147
static inline uint32_t ROTATE(uint32_t a, uint32_t n)
148
0
{
149
0
  return (a<<n)|(a>>(32-n));
150
0
}
Unexecuted instantiation: gost2814789.c:ROTATE
Unexecuted instantiation: gostr341194.c:ROTATE
Unexecuted instantiation: md4_dgst.c:ROTATE
Unexecuted instantiation: md5_dgst.c:ROTATE
Unexecuted instantiation: rmd_dgst.c:ROTATE
Unexecuted instantiation: sha1dgst.c:ROTATE
Unexecuted instantiation: sha256.c:ROTATE
Unexecuted instantiation: sm3.c:ROTATE
151
152
#if defined(DATA_ORDER_IS_BIG_ENDIAN)
153
154
#if defined(__GNUC__) && __GNUC__>=2 && !defined(OPENSSL_NO_ASM) && !defined(OPENSSL_NO_INLINE_ASM)
155
# if (defined(__i386) || defined(__i386__) || \
156
      defined(__x86_64) || defined(__x86_64__))
157
    /*
158
     * This gives ~30-40% performance improvement in SHA-256 compiled
159
     * with gcc [on P4]. Well, first macro to be frank. We can pull
160
     * this trick on x86* platforms only, because these CPUs can fetch
161
     * unaligned data without raising an exception.
162
     */
163
0
#  define HOST_c2l(c,l) ({ unsigned int r=*((const unsigned int *)(c)); \
164
0
           asm ("bswapl %0":"=r"(r):"0"(r));  \
165
0
           (c)+=4; (l)=r;     })
166
0
#  define HOST_l2c(l,c) ({ unsigned int r=(l);      \
167
0
           asm ("bswapl %0":"=r"(r):"0"(r));  \
168
0
           *((unsigned int *)(c))=r; (c)+=4;  })
169
# endif
170
#endif
171
172
#ifndef HOST_c2l
173
#define HOST_c2l(c,l) do {l =(((unsigned long)(*((c)++)))<<24); \
174
        l|=(((unsigned long)(*((c)++)))<<16); \
175
        l|=(((unsigned long)(*((c)++)))<< 8); \
176
        l|=(((unsigned long)(*((c)++)))    ); \
177
          } while (0)
178
#endif
179
#ifndef HOST_l2c
180
#define HOST_l2c(l,c) do {*((c)++)=(unsigned char)(((l)>>24)&0xff); \
181
        *((c)++)=(unsigned char)(((l)>>16)&0xff); \
182
        *((c)++)=(unsigned char)(((l)>> 8)&0xff); \
183
        *((c)++)=(unsigned char)(((l)    )&0xff); \
184
          } while (0)
185
#endif
186
187
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
188
189
#if defined(__i386) || defined(__i386__) || defined(__x86_64) || defined(__x86_64__)
190
0
#  define HOST_c2l(c,l) ((l)=*((const unsigned int *)(c)), (c)+=4)
191
0
#  define HOST_l2c(l,c) (*((unsigned int *)(c))=(l), (c)+=4)
192
#endif
193
194
#ifndef HOST_c2l
195
#define HOST_c2l(c,l) do {l =(((unsigned long)(*((c)++)))    ); \
196
        l|=(((unsigned long)(*((c)++)))<< 8); \
197
        l|=(((unsigned long)(*((c)++)))<<16); \
198
        l|=(((unsigned long)(*((c)++)))<<24); \
199
          } while (0)
200
#endif
201
#ifndef HOST_l2c
202
#define HOST_l2c(l,c) do {*((c)++)=(unsigned char)(((l)    )&0xff); \
203
        *((c)++)=(unsigned char)(((l)>> 8)&0xff); \
204
        *((c)++)=(unsigned char)(((l)>>16)&0xff); \
205
        *((c)++)=(unsigned char)(((l)>>24)&0xff); \
206
          } while (0)
207
#endif
208
209
#endif
210
211
/*
212
 * Time for some action:-)
213
 */
214
215
int
216
HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
217
0
{
218
0
  const unsigned char *data = data_;
219
0
  unsigned char *p;
220
0
  HASH_LONG l;
221
0
  size_t n;
222
223
0
  if (len == 0)
224
0
    return 1;
225
226
0
  l = (c->Nl + (((HASH_LONG)len) << 3))&0xffffffffUL;
227
  /* 95-05-24 eay Fixed a bug with the overflow handling, thanks to
228
   * Wei Dai <weidai@eskimo.com> for pointing it out. */
229
0
  if (l < c->Nl) /* overflow */
230
0
    c->Nh++;
231
0
  c->Nh+=(HASH_LONG)(len>>29);  /* might cause compiler warning on 16-bit */
232
0
  c->Nl = l;
233
234
0
  n = c->num;
235
0
  if (n != 0) {
236
0
    p = (unsigned char *)c->data;
237
238
0
    if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
239
0
      memcpy (p + n, data, HASH_CBLOCK - n);
240
0
      HASH_BLOCK_DATA_ORDER (c, p, 1);
241
0
      n = HASH_CBLOCK - n;
242
0
      data += n;
243
0
      len -= n;
244
0
      c->num = 0;
245
0
      memset (p,0,HASH_CBLOCK);  /* keep it zeroed */
246
0
    } else {
247
0
      memcpy (p + n, data, len);
248
0
      c->num += (unsigned int)len;
249
0
      return 1;
250
0
    }
251
0
  }
252
253
0
  n = len/HASH_CBLOCK;
254
0
  if (n > 0) {
255
0
    HASH_BLOCK_DATA_ORDER (c, data, n);
256
0
    n    *= HASH_CBLOCK;
257
0
    data += n;
258
0
    len -= n;
259
0
  }
260
261
0
  if (len != 0) {
262
0
    p = (unsigned char *)c->data;
263
0
    c->num = (unsigned int)len;
264
0
    memcpy (p, data, len);
265
0
  }
266
0
  return 1;
267
0
}
Unexecuted instantiation: GOST2814789IMIT_Update
Unexecuted instantiation: GOSTR341194_Update
Unexecuted instantiation: MD4_Update
Unexecuted instantiation: MD5_Update
Unexecuted instantiation: RIPEMD160_Update
Unexecuted instantiation: SHA1_Update
Unexecuted instantiation: SHA256_Update
Unexecuted instantiation: SM3_Update
268
269
270
void HASH_TRANSFORM (HASH_CTX *c, const unsigned char *data)
271
0
{
272
0
  HASH_BLOCK_DATA_ORDER (c, data, 1);
273
0
}
Unexecuted instantiation: GOST2814789IMIT_Transform
Unexecuted instantiation: GOSTR341194_Transform
Unexecuted instantiation: MD4_Transform
Unexecuted instantiation: MD5_Transform
Unexecuted instantiation: RIPEMD160_Transform
Unexecuted instantiation: SHA1_Transform
Unexecuted instantiation: SHA256_Transform
Unexecuted instantiation: SM3_Transform
274
275
276
#ifndef HASH_NO_FINAL
277
int HASH_FINAL (unsigned char *md, HASH_CTX *c)
278
0
{
279
0
  unsigned char *p = (unsigned char *)c->data;
280
0
  size_t n = c->num;
281
282
0
  p[n] = 0x80; /* there is always room for one */
283
0
  n++;
284
285
0
  if (n > (HASH_CBLOCK - 8)) {
286
0
    memset (p + n, 0, HASH_CBLOCK - n);
287
0
    n = 0;
288
0
    HASH_BLOCK_DATA_ORDER (c, p, 1);
289
0
  }
290
0
  memset (p + n, 0, HASH_CBLOCK - 8 - n);
291
292
0
  p += HASH_CBLOCK - 8;
293
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
294
0
  HOST_l2c(c->Nh, p);
295
0
  HOST_l2c(c->Nl, p);
296
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
297
0
  HOST_l2c(c->Nl, p);
298
0
  HOST_l2c(c->Nh, p);
299
#endif
300
0
  p -= HASH_CBLOCK;
301
0
  HASH_BLOCK_DATA_ORDER (c, p, 1);
302
0
  c->num = 0;
303
0
  memset (p, 0, HASH_CBLOCK);
304
305
#ifndef HASH_MAKE_STRING
306
#error "HASH_MAKE_STRING must be defined!"
307
#else
308
0
  HASH_MAKE_STRING(c, md);
309
0
#endif
310
311
0
  return 1;
312
0
}
Unexecuted instantiation: MD4_Final
Unexecuted instantiation: MD5_Final
Unexecuted instantiation: RIPEMD160_Final
Unexecuted instantiation: SHA1_Final
Unexecuted instantiation: SHA256_Final
Unexecuted instantiation: SM3_Final
313
#endif
314
315
#ifndef MD32_REG_T
316
#if defined(__alpha) || defined(__sparcv9) || defined(__mips)
317
#define MD32_REG_T long
318
/*
319
 * This comment was originaly written for MD5, which is why it
320
 * discusses A-D. But it basically applies to all 32-bit digests,
321
 * which is why it was moved to common header file.
322
 *
323
 * In case you wonder why A-D are declared as long and not
324
 * as MD5_LONG. Doing so results in slight performance
325
 * boost on LP64 architectures. The catch is we don't
326
 * really care if 32 MSBs of a 64-bit register get polluted
327
 * with eventual overflows as we *save* only 32 LSBs in
328
 * *either* case. Now declaring 'em long excuses the compiler
329
 * from keeping 32 MSBs zeroed resulting in 13% performance
330
 * improvement under SPARC Solaris7/64 and 5% under AlphaLinux.
331
 * Well, to be honest it should say that this *prevents*
332
 * performance degradation.
333
 *        <appro@fy.chalmers.se>
334
 */
335
#else
336
/*
337
 * Above is not absolute and there are LP64 compilers that
338
 * generate better code if MD32_REG_T is defined int. The above
339
 * pre-processor condition reflects the circumstances under which
340
 * the conclusion was made and is subject to further extension.
341
 *        <appro@fy.chalmers.se>
342
 */
343
#define MD32_REG_T int
344
#endif
345
#endif