88     t1 = wv[h] + SHA512_F2(wv[e]) + CH(wv[e], wv[f], wv[g]) + sha512_k[j] + \
90     t2 = SHA512_F1(wv[a]) + MAJ(wv[a], wv[b], wv[c]);                       \
91     wv[d] += t1;                                                            \
92     wv[h] = t1 + t2;                                                        \
173   uint64_t wv[8];  in SHA512_transform()  local
264     wv[0] = ctx->h[0];  in SHA512_transform()
265     wv[1] = ctx->h[1];  in SHA512_transform()
266     wv[2] = ctx->h[2];  in SHA512_transform()
267     wv[3] = ctx->h[3];  in SHA512_transform()
268     wv[4] = ctx->h[4];  in SHA512_transform()
269     wv[5] = ctx->h[5];  in SHA512_transform()
270     wv[6] = ctx->h[6];  in SHA512_transform()
271     wv[7] = ctx->h[7];  in SHA512_transform()
294     ctx->h[0] += wv[0];  in SHA512_transform()
295     ctx->h[1] += wv[1];  in SHA512_transform()
296     ctx->h[2] += wv[2];  in SHA512_transform()
297     ctx->h[3] += wv[3];  in SHA512_transform()
298     ctx->h[4] += wv[4];  in SHA512_transform()
299     ctx->h[5] += wv[5];  in SHA512_transform()
300     ctx->h[6] += wv[6];  in SHA512_transform()
301     ctx->h[7] += wv[7];  in SHA512_transform()
312       wv[j] = ctx->h[j];  in SHA512_transform()
316       t1 = wv[7] + SHA512_F2(wv[4]) + CH(wv[4], wv[5], wv[6]) + sha512_k[j] +  in SHA512_transform()
318       t2 = SHA512_F1(wv[0]) + MAJ(wv[0], wv[1], wv[2]);  in SHA512_transform()
319       wv[7] = wv[6];  in SHA512_transform()
320       wv[6] = wv[5];  in SHA512_transform()
321       wv[5] = wv[4];  in SHA512_transform()
322       wv[4] = wv[3] + t1;  in SHA512_transform()
323       wv[3] = wv[2];  in SHA512_transform()
324       wv[2] = wv[1];  in SHA512_transform()
325       wv[1] = wv[0];  in SHA512_transform()
326       wv[0] = t1 + t2;  in SHA512_transform()
330       ctx->h[j] += wv[j];  in SHA512_transform()