ghc/lib/misc/cbits/md5.c

   1 /*
   2  * This code implements the MD5 message-digest algorithm.
   3  * The algorithm is due to Ron Rivest.  This code was
   4  * written by Colin Plumb in 1993, no copyright is claimed.
   5  * This code is in the public domain; do with it what you wish.
   6  *
   7  * Equivalent code is available from RSA Data Security, Inc.
   8  * This code has been tested against that, and is equivalent,
   9  * except that you don't need to include two pages of legalese
  10  * with every copy.
  11  *
  12  * To compute the message digest of a chunk of bytes, declare an
  13  * MD5Context structure, pass it to MD5Init, call MD5Update as
  14  * needed on buffers full of bytes, and then call MD5Final, which
  15  * will fill a supplied 16-byte array with the digest.
  16  */
  17
  18 #include <string.h>
  19
  20 typedef unsigned long word32;
  21 typedef unsigned char byte;
  22
  23 struct MD5Context {
  24         word32 buf[4];
  25         word32 bytes[2];
  26         word32 in[16];
  27 };
  28
  29 void MD5Init(struct MD5Context *context);
  30 void MD5Update(struct MD5Context *context, byte const *buf, int len);
  31 void MD5Final(byte digest[16], struct MD5Context *context);
  32 void MD5Transform(word32 buf[4], word32 const in[16]);
  33
  34
  35 /*
  36  * Shuffle the bytes into little-endian order within words, as per the
  37  * MD5 spec.  Note: this code works regardless of the byte order.
  38  */
  39 void
  40 byteSwap(word32 *buf, unsigned words)
  41 {
  42         byte *p = (byte *)buf;
  43
  44         do {
  45                 *buf++ = (word32)((unsigned)p[3] << 8 | p[2]) << 16 |
  46                         ((unsigned)p[1] << 8 | p[0]);
  47                 p += 4;
  48         } while (--words);
  49 }
  50
  51 /*
  52  * Start MD5 accumulation.  Set bit count to 0 and buffer to mysterious
  53  * initialization constants.
  54  */
  55 void
  56 MD5Init(struct MD5Context *ctx)
  57 {
  58         ctx->buf[0] = 0x67452301;
  59         ctx->buf[1] = 0xefcdab89;
  60         ctx->buf[2] = 0x98badcfe;
  61         ctx->buf[3] = 0x10325476;
  62
  63         ctx->bytes[0] = 0;
  64         ctx->bytes[1] = 0;
  65 }
  66
  67 /*
  68  * Update context to reflect the concatenation of another buffer full
  69  * of bytes.
  70  */
  71 void
  72 MD5Update(struct MD5Context *ctx, byte const *buf, int len)
  73 {
  74         word32 t;
  75
  76         /* Update byte count */
  77
  78         t = ctx->bytes[0];
  79         if ((ctx->bytes[0] = t + len) < t)
  80                 ctx->bytes[1]++;        /* Carry from low to high */
  81
  82         t = 64 - (t & 0x3f);    /* Space available in ctx->in (at least 1) */
  83         if ((unsigned)t > len) {
  84                 memcpy((byte *)ctx->in + 64 - (unsigned)t, buf, len);
  85                 return;
  86         }
  87         /* First chunk is an odd size */
  88         memcpy((byte *)ctx->in + 64 - (unsigned)t, buf, (unsigned)t);
  89         byteSwap(ctx->in, 16);
  90         MD5Transform(ctx->buf, ctx->in);
  91         buf += (unsigned)t;
  92         len -= (unsigned)t;
  93
  94         /* Process data in 64-byte chunks */
  95         while (len >= 64) {
  96                 memcpy(ctx->in, buf, 64);
  97                 byteSwap(ctx->in, 16);
  98                 MD5Transform(ctx->buf, ctx->in);
  99                 buf += 64;
 100                 len -= 64;
 101         }
 102
 103         /* Handle any remaining bytes of data. */
 104         memcpy(ctx->in, buf, len);
 105 }
 106
 107 /*
 108  * Final wrapup - pad to 64-byte boundary with the bit pattern
 109  * 1 0* (64-bit count of bits processed, MSB-first)
 110  */
 111 void
 112 MD5Final(byte digest[16], struct MD5Context *ctx)
 113 {
 114         int count = (int)(ctx->bytes[0] & 0x3f); /* Bytes in ctx->in */
 115         byte *p = (byte *)ctx->in + count;      /* First unused byte */
 116
 117         /* Set the first char of padding to 0x80.  There is always room. */
 118         *p++ = 0x80;
 119
 120         /* Bytes of padding needed to make 56 bytes (-8..55) */
 121         count = 56 - 1 - count;
 122
 123         if (count < 0) {        /* Padding forces an extra block */
 124                 memset(p, 0, count+8);
 125                 byteSwap(ctx->in, 16);
 126                 MD5Transform(ctx->buf, ctx->in);
 127                 p = (byte *)ctx->in;
 128                 count = 56;
 129         }
 130         memset(p, 0, count+8);
 131         byteSwap(ctx->in, 14);
 132
 133         /* Append length in bits and transform */
 134         ctx->in[14] = ctx->bytes[0] << 3;
 135         ctx->in[15] = ctx->bytes[1] << 3 | ctx->bytes[0] >> 29;
 136         MD5Transform(ctx->buf, ctx->in);
 137
 138         byteSwap(ctx->buf, 4);
 139         memcpy(digest, ctx->buf, 16);
 140         memset(ctx,0,sizeof(ctx));
 141 }
 142
 143
 144 /* The four core functions - F1 is optimized somewhat */
 145
 146 /* #define F1(x, y, z) (x & y | ~x & z) */
 147 #define F1(x, y, z) (z ^ (x & (y ^ z)))
 148 #define F2(x, y, z) F1(z, x, y)
 149 #define F3(x, y, z) (x ^ y ^ z)
 150 #define F4(x, y, z) (y ^ (x | ~z))
 151
 152 /* This is the central step in the MD5 algorithm. */
 153 #define MD5STEP(f,w,x,y,z,in,s) \
 154          (w += f(x,y,z) + in, w = (w<<s | w>>(32-s)) + x)
 155
 156 /*
 157  * The core of the MD5 algorithm, this alters an existing MD5 hash to
 158  * reflect the addition of 16 longwords of new data.  MD5Update blocks
 159  * the data and converts bytes into longwords for this routine.
 160  */
 161
 162 void
 163 MD5Transform(word32 buf[4], word32 const in[16])
 164 {
 165         register word32 a, b, c, d;
 166
 167         a = buf[0];
 168         b = buf[1];
 169         c = buf[2];
 170         d = buf[3];
 171
 172         MD5STEP(F1, a, b, c, d, in[0] + 0xd76aa478, 7);
 173         MD5STEP(F1, d, a, b, c, in[1] + 0xe8c7b756, 12);
 174         MD5STEP(F1, c, d, a, b, in[2] + 0x242070db, 17);
 175         MD5STEP(F1, b, c, d, a, in[3] + 0xc1bdceee, 22);
 176         MD5STEP(F1, a, b, c, d, in[4] + 0xf57c0faf, 7);
 177         MD5STEP(F1, d, a, b, c, in[5] + 0x4787c62a, 12);
 178         MD5STEP(F1, c, d, a, b, in[6] + 0xa8304613, 17);
 179         MD5STEP(F1, b, c, d, a, in[7] + 0xfd469501, 22);
 180         MD5STEP(F1, a, b, c, d, in[8] + 0x698098d8, 7);
 181         MD5STEP(F1, d, a, b, c, in[9] + 0x8b44f7af, 12);
 182         MD5STEP(F1, c, d, a, b, in[10] + 0xffff5bb1, 17);
 183         MD5STEP(F1, b, c, d, a, in[11] + 0x895cd7be, 22);
 184         MD5STEP(F1, a, b, c, d, in[12] + 0x6b901122, 7);
 185         MD5STEP(F1, d, a, b, c, in[13] + 0xfd987193, 12);
 186         MD5STEP(F1, c, d, a, b, in[14] + 0xa679438e, 17);
 187         MD5STEP(F1, b, c, d, a, in[15] + 0x49b40821, 22);
 188
 189         MD5STEP(F2, a, b, c, d, in[1] + 0xf61e2562, 5);
 190         MD5STEP(F2, d, a, b, c, in[6] + 0xc040b340, 9);
 191         MD5STEP(F2, c, d, a, b, in[11] + 0x265e5a51, 14);
 192         MD5STEP(F2, b, c, d, a, in[0] + 0xe9b6c7aa, 20);
 193         MD5STEP(F2, a, b, c, d, in[5] + 0xd62f105d, 5);
 194         MD5STEP(F2, d, a, b, c, in[10] + 0x02441453, 9);
 195         MD5STEP(F2, c, d, a, b, in[15] + 0xd8a1e681, 14);
 196         MD5STEP(F2, b, c, d, a, in[4] + 0xe7d3fbc8, 20);
 197         MD5STEP(F2, a, b, c, d, in[9] + 0x21e1cde6, 5);
 198         MD5STEP(F2, d, a, b, c, in[14] + 0xc33707d6, 9);
 199         MD5STEP(F2, c, d, a, b, in[3] + 0xf4d50d87, 14);
 200         MD5STEP(F2, b, c, d, a, in[8] + 0x455a14ed, 20);
 201         MD5STEP(F2, a, b, c, d, in[13] + 0xa9e3e905, 5);
 202         MD5STEP(F2, d, a, b, c, in[2] + 0xfcefa3f8, 9);
 203         MD5STEP(F2, c, d, a, b, in[7] + 0x676f02d9, 14);
 204         MD5STEP(F2, b, c, d, a, in[12] + 0x8d2a4c8a, 20);
 205
 206         MD5STEP(F3, a, b, c, d, in[5] + 0xfffa3942, 4);
 207         MD5STEP(F3, d, a, b, c, in[8] + 0x8771f681, 11);
 208         MD5STEP(F3, c, d, a, b, in[11] + 0x6d9d6122, 16);
 209         MD5STEP(F3, b, c, d, a, in[14] + 0xfde5380c, 23);
 210         MD5STEP(F3, a, b, c, d, in[1] + 0xa4beea44, 4);
 211         MD5STEP(F3, d, a, b, c, in[4] + 0x4bdecfa9, 11);
 212         MD5STEP(F3, c, d, a, b, in[7] + 0xf6bb4b60, 16);
 213         MD5STEP(F3, b, c, d, a, in[10] + 0xbebfbc70, 23);
 214         MD5STEP(F3, a, b, c, d, in[13] + 0x289b7ec6, 4);
 215         MD5STEP(F3, d, a, b, c, in[0] + 0xeaa127fa, 11);
 216         MD5STEP(F3, c, d, a, b, in[3] + 0xd4ef3085, 16);
 217         MD5STEP(F3, b, c, d, a, in[6] + 0x04881d05, 23);
 218         MD5STEP(F3, a, b, c, d, in[9] + 0xd9d4d039, 4);
 219         MD5STEP(F3, d, a, b, c, in[12] + 0xe6db99e5, 11);
 220         MD5STEP(F3, c, d, a, b, in[15] + 0x1fa27cf8, 16);
 221         MD5STEP(F3, b, c, d, a, in[2] + 0xc4ac5665, 23);
 222
 223         MD5STEP(F4, a, b, c, d, in[0] + 0xf4292244, 6);
 224         MD5STEP(F4, d, a, b, c, in[7] + 0x432aff97, 10);
 225         MD5STEP(F4, c, d, a, b, in[14] + 0xab9423a7, 15);
 226         MD5STEP(F4, b, c, d, a, in[5] + 0xfc93a039, 21);
 227         MD5STEP(F4, a, b, c, d, in[12] + 0x655b59c3, 6);
 228         MD5STEP(F4, d, a, b, c, in[3] + 0x8f0ccc92, 10);
 229         MD5STEP(F4, c, d, a, b, in[10] + 0xffeff47d, 15);
 230         MD5STEP(F4, b, c, d, a, in[1] + 0x85845dd1, 21);
 231         MD5STEP(F4, a, b, c, d, in[8] + 0x6fa87e4f, 6);
 232         MD5STEP(F4, d, a, b, c, in[15] + 0xfe2ce6e0, 10);
 233         MD5STEP(F4, c, d, a, b, in[6] + 0xa3014314, 15);
 234         MD5STEP(F4, b, c, d, a, in[13] + 0x4e0811a1, 21);
 235         MD5STEP(F4, a, b, c, d, in[4] + 0xf7537e82, 6);
 236         MD5STEP(F4, d, a, b, c, in[11] + 0xbd3af235, 10);
 237         MD5STEP(F4, c, d, a, b, in[2] + 0x2ad7d2bb, 15);
 238         MD5STEP(F4, b, c, d, a, in[9] + 0xeb86d391, 21);
 239
 240         buf[0] += a;
 241         buf[1] += b;
 242         buf[2] += c;
 243         buf[3] += d;
 244 }
 245