u64plus           130 lib/sha512.c     ctx->total[0] = u64plus (ctx->total[0], u64lo (bytes));
u64plus           132 lib/sha512.c       ctx->total[1] = u64plus (ctx->total[1], u64lo (1));
u64plus           340 lib/sha512.c     ctx->total[0] = u64plus (ctx->total[0], lolen);
u64plus           341 lib/sha512.c     ctx->total[1] = u64plus (ctx->total[1],
u64plus           342 lib/sha512.c                              u64plus (u64size (len >> 31 >> 31 >> 2),
u64plus           351 lib/sha512.c                 = u64plus (x[(I) & 15],                                     \
u64plus           352 lib/sha512.c                            u64plus (S1 (x[((I) - 2) & 15]),                 \
u64plus           353 lib/sha512.c                                     u64plus (x[((I) - 7) & 15],             \
u64plus           359 lib/sha512.c         u64 t0 = u64plus (SS0 (A), F2 (A, B, C));                           \
u64plus           361 lib/sha512.c           u64plus (H, u64plus (SS1 (E),                                     \
u64plus           362 lib/sha512.c                                u64plus (F1 (E, F, G), u64plus (K, M))));    \
u64plus           363 lib/sha512.c         D = u64plus (D, t1);                                                \
u64plus           364 lib/sha512.c         H = u64plus (t0, t1);                                               \
u64plus           459 lib/sha512.c         a = ctx->state[0] = u64plus (ctx->state[0], a);
u64plus           460 lib/sha512.c         b = ctx->state[1] = u64plus (ctx->state[1], b);
u64plus           461 lib/sha512.c         c = ctx->state[2] = u64plus (ctx->state[2], c);
u64plus           462 lib/sha512.c         d = ctx->state[3] = u64plus (ctx->state[3], d);
u64plus           463 lib/sha512.c         e = ctx->state[4] = u64plus (ctx->state[4], e);
u64plus           464 lib/sha512.c         f = ctx->state[5] = u64plus (ctx->state[5], f);
u64plus           465 lib/sha512.c         g = ctx->state[6] = u64plus (ctx->state[6], g);
u64plus           466 lib/sha512.c         h = ctx->state[7] = u64plus (ctx->state[7], h);