196   uint32_t U;  in multiprecision_mult()  local
199   U = V = W = 0;  in multiprecision_mult()
204     U = 0;  in multiprecision_mult()
210       V = V + U;  in multiprecision_mult()
211       U = (V < U);  in multiprecision_mult()
212       U += W;  in multiprecision_mult()
214       U += (V < c[i + j]);  in multiprecision_mult()
217     c[i + KEY_LENGTH_DWORDS_P256] = U;  in multiprecision_mult()
236   uint32_t U;  in multiprecision_fast_mod_P256()  local
285   U = (c[0] < E);  in multiprecision_fast_mod_P256()
286   U += UE;  in multiprecision_fast_mod_P256()
287   U -= (c[0] < A);  in multiprecision_fast_mod_P256()
288   U -= UA;  in multiprecision_fast_mod_P256()
291   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
293     UU = 0 - U;  in multiprecision_fast_mod_P256()
294     U = (a[1] < UU);  in multiprecision_fast_mod_P256()
297     c[1] = a[1] + U;  in multiprecision_fast_mod_P256()
298     U = (c[1] < a[1]);  in multiprecision_fast_mod_P256()
302   U += (c[1] < F);  in multiprecision_fast_mod_P256()
303   U += UF;  in multiprecision_fast_mod_P256()
304   U -= (c[1] < B);  in multiprecision_fast_mod_P256()
305   U -= UB;  in multiprecision_fast_mod_P256()
308   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
310     UU = 0 - U;  in multiprecision_fast_mod_P256()
311     U = (a[2] < UU);  in multiprecision_fast_mod_P256()
314     c[2] = a[2] + U;  in multiprecision_fast_mod_P256()
315     U = (c[2] < a[2]);  in multiprecision_fast_mod_P256()
319   U += (c[2] < G);  in multiprecision_fast_mod_P256()
320   U += UG;  in multiprecision_fast_mod_P256()
321   U -= (c[2] < C);  in multiprecision_fast_mod_P256()
322   U -= UC;  in multiprecision_fast_mod_P256()
325   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
327     UU = 0 - U;  in multiprecision_fast_mod_P256()
328     U = (a[3] < UU);  in multiprecision_fast_mod_P256()
331     c[3] = a[3] + U;  in multiprecision_fast_mod_P256()
332     U = (c[3] < a[3]);  in multiprecision_fast_mod_P256()
336   U += (c[3] < A);  in multiprecision_fast_mod_P256()
337   U += UA;  in multiprecision_fast_mod_P256()
339   U += (c[3] < a[11]);  in multiprecision_fast_mod_P256()
341   U += (c[3] < a[12]);  in multiprecision_fast_mod_P256()
342   U -= (c[3] < a[14]);  in multiprecision_fast_mod_P256()
344   U -= (c[3] < a[15]);  in multiprecision_fast_mod_P256()
346   U -= (c[3] < E);  in multiprecision_fast_mod_P256()
347   U -= UE;  in multiprecision_fast_mod_P256()
350   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
352     UU = 0 - U;  in multiprecision_fast_mod_P256()
353     U = (a[4] < UU);  in multiprecision_fast_mod_P256()
356     c[4] = a[4] + U;  in multiprecision_fast_mod_P256()
357     U = (c[4] < a[4]);  in multiprecision_fast_mod_P256()
361   U += (c[4] < B);  in multiprecision_fast_mod_P256()
362   U += UB;  in multiprecision_fast_mod_P256()
363   U -= (c[4] < a[15]);  in multiprecision_fast_mod_P256()
366   U += (c[4] < a[12]);  in multiprecision_fast_mod_P256()
368   U += (c[4] < a[13]);  in multiprecision_fast_mod_P256()
369   U -= (c[4] < F);  in multiprecision_fast_mod_P256()
370   U -= UF;  in multiprecision_fast_mod_P256()
373   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
375     UU = 0 - U;  in multiprecision_fast_mod_P256()
376     U = (a[5] < UU);  in multiprecision_fast_mod_P256()
379     c[5] = a[5] + U;  in multiprecision_fast_mod_P256()
380     U = (c[5] < a[5]);  in multiprecision_fast_mod_P256()
384   U += (c[5] < C);  in multiprecision_fast_mod_P256()
385   U += UC;  in multiprecision_fast_mod_P256()
387   U += (c[5] < a[13]);  in multiprecision_fast_mod_P256()
389   U += (c[5] < a[14]);  in multiprecision_fast_mod_P256()
390   U -= (c[5] < G);  in multiprecision_fast_mod_P256()
391   U -= UG;  in multiprecision_fast_mod_P256()
394   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
396     UU = 0 - U;  in multiprecision_fast_mod_P256()
397     U = (a[6] < UU);  in multiprecision_fast_mod_P256()
400     c[6] = a[6] + U;  in multiprecision_fast_mod_P256()
401     U = (c[6] < a[6]);  in multiprecision_fast_mod_P256()
405   U += (c[6] < C);  in multiprecision_fast_mod_P256()
406   U += UC;  in multiprecision_fast_mod_P256()
408   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
410   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
412   U += (c[6] < a[15]);  in multiprecision_fast_mod_P256()
413   U -= (c[6] < E);  in multiprecision_fast_mod_P256()
414   U -= UE;  in multiprecision_fast_mod_P256()
417   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
419     UU = 0 - U;  in multiprecision_fast_mod_P256()
420     U = (a[7] < UU);  in multiprecision_fast_mod_P256()
423     c[7] = a[7] + U;  in multiprecision_fast_mod_P256()
424     U = (c[7] < a[7]);  in multiprecision_fast_mod_P256()
428   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
430   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
432   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
434   U += (c[7] < a[8]);  in multiprecision_fast_mod_P256()
435   U -= (c[7] < D);  in multiprecision_fast_mod_P256()
436   U -= UD;  in multiprecision_fast_mod_P256()
439   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
440     while (U) {  in multiprecision_fast_mod_P256()
442       U++;  in multiprecision_fast_mod_P256()
444   } else if (U) {  in multiprecision_fast_mod_P256()
445     while (U) {  in multiprecision_fast_mod_P256()
447       U--;  in multiprecision_fast_mod_P256()