194   uint32_t U;  in multiprecision_mult()  local
197   U = V = W = 0;  in multiprecision_mult()
202     U = 0;  in multiprecision_mult()
208       V = V + U;  in multiprecision_mult()
209       U = (V < U);  in multiprecision_mult()
210       U += W;  in multiprecision_mult()
212       U += (V < c[i + j]);  in multiprecision_mult()
215     c[i + KEY_LENGTH_DWORDS_P256] = U;  in multiprecision_mult()
234   uint32_t U;  in multiprecision_fast_mod_P256()  local
282   U = (c[0] < E);  in multiprecision_fast_mod_P256()
283   U += UE;  in multiprecision_fast_mod_P256()
284   U -= (c[0] < A);  in multiprecision_fast_mod_P256()
285   U -= UA;  in multiprecision_fast_mod_P256()
288   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
290     UU = 0 - U;  in multiprecision_fast_mod_P256()
291     U = (a[1] < UU);  in multiprecision_fast_mod_P256()
294     c[1] = a[1] + U;  in multiprecision_fast_mod_P256()
295     U = (c[1] < a[1]);  in multiprecision_fast_mod_P256()
299   U += (c[1] < F);  in multiprecision_fast_mod_P256()
300   U += UF;  in multiprecision_fast_mod_P256()
301   U -= (c[1] < B);  in multiprecision_fast_mod_P256()
302   U -= UB;  in multiprecision_fast_mod_P256()
305   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
307     UU = 0 - U;  in multiprecision_fast_mod_P256()
308     U = (a[2] < UU);  in multiprecision_fast_mod_P256()
311     c[2] = a[2] + U;  in multiprecision_fast_mod_P256()
312     U = (c[2] < a[2]);  in multiprecision_fast_mod_P256()
316   U += (c[2] < G);  in multiprecision_fast_mod_P256()
317   U += UG;  in multiprecision_fast_mod_P256()
318   U -= (c[2] < C);  in multiprecision_fast_mod_P256()
319   U -= UC;  in multiprecision_fast_mod_P256()
322   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
324     UU = 0 - U;  in multiprecision_fast_mod_P256()
325     U = (a[3] < UU);  in multiprecision_fast_mod_P256()
328     c[3] = a[3] + U;  in multiprecision_fast_mod_P256()
329     U = (c[3] < a[3]);  in multiprecision_fast_mod_P256()
333   U += (c[3] < A);  in multiprecision_fast_mod_P256()
334   U += UA;  in multiprecision_fast_mod_P256()
336   U += (c[3] < a[11]);  in multiprecision_fast_mod_P256()
338   U += (c[3] < a[12]);  in multiprecision_fast_mod_P256()
339   U -= (c[3] < a[14]);  in multiprecision_fast_mod_P256()
341   U -= (c[3] < a[15]);  in multiprecision_fast_mod_P256()
343   U -= (c[3] < E);  in multiprecision_fast_mod_P256()
344   U -= UE;  in multiprecision_fast_mod_P256()
347   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
349     UU = 0 - U;  in multiprecision_fast_mod_P256()
350     U = (a[4] < UU);  in multiprecision_fast_mod_P256()
353     c[4] = a[4] + U;  in multiprecision_fast_mod_P256()
354     U = (c[4] < a[4]);  in multiprecision_fast_mod_P256()
358   U += (c[4] < B);  in multiprecision_fast_mod_P256()
359   U += UB;  in multiprecision_fast_mod_P256()
360   U -= (c[4] < a[15]);  in multiprecision_fast_mod_P256()
363   U += (c[4] < a[12]);  in multiprecision_fast_mod_P256()
365   U += (c[4] < a[13]);  in multiprecision_fast_mod_P256()
366   U -= (c[4] < F);  in multiprecision_fast_mod_P256()
367   U -= UF;  in multiprecision_fast_mod_P256()
370   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
372     UU = 0 - U;  in multiprecision_fast_mod_P256()
373     U = (a[5] < UU);  in multiprecision_fast_mod_P256()
376     c[5] = a[5] + U;  in multiprecision_fast_mod_P256()
377     U = (c[5] < a[5]);  in multiprecision_fast_mod_P256()
381   U += (c[5] < C);  in multiprecision_fast_mod_P256()
382   U += UC;  in multiprecision_fast_mod_P256()
384   U += (c[5] < a[13]);  in multiprecision_fast_mod_P256()
386   U += (c[5] < a[14]);  in multiprecision_fast_mod_P256()
387   U -= (c[5] < G);  in multiprecision_fast_mod_P256()
388   U -= UG;  in multiprecision_fast_mod_P256()
391   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
393     UU = 0 - U;  in multiprecision_fast_mod_P256()
394     U = (a[6] < UU);  in multiprecision_fast_mod_P256()
397     c[6] = a[6] + U;  in multiprecision_fast_mod_P256()
398     U = (c[6] < a[6]);  in multiprecision_fast_mod_P256()
402   U += (c[6] < C);  in multiprecision_fast_mod_P256()
403   U += UC;  in multiprecision_fast_mod_P256()
405   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
407   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
409   U += (c[6] < a[15]);  in multiprecision_fast_mod_P256()
410   U -= (c[6] < E);  in multiprecision_fast_mod_P256()
411   U -= UE;  in multiprecision_fast_mod_P256()
414   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
416     UU = 0 - U;  in multiprecision_fast_mod_P256()
417     U = (a[7] < UU);  in multiprecision_fast_mod_P256()
420     c[7] = a[7] + U;  in multiprecision_fast_mod_P256()
421     U = (c[7] < a[7]);  in multiprecision_fast_mod_P256()
425   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
427   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
429   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
431   U += (c[7] < a[8]);  in multiprecision_fast_mod_P256()
432   U -= (c[7] < D);  in multiprecision_fast_mod_P256()
433   U -= UD;  in multiprecision_fast_mod_P256()
436   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
437     while (U) {  in multiprecision_fast_mod_P256()
439       U++;  in multiprecision_fast_mod_P256()
441   } else if (U) {  in multiprecision_fast_mod_P256()
442     while (U) {  in multiprecision_fast_mod_P256()
444       U--;  in multiprecision_fast_mod_P256()