193   uint32_t U;  in multiprecision_mult()  local
196   U = V = W = 0;  in multiprecision_mult()
201     U = 0;  in multiprecision_mult()
207       V = V + U;  in multiprecision_mult()
208       U = (V < U);  in multiprecision_mult()
209       U += W;  in multiprecision_mult()
211       U += (V < c[i + j]);  in multiprecision_mult()
214     c[i + KEY_LENGTH_DWORDS_P256] = U;  in multiprecision_mult()
233   uint32_t U;  in multiprecision_fast_mod_P256()  local
281   U = (c[0] < E);  in multiprecision_fast_mod_P256()
282   U += UE;  in multiprecision_fast_mod_P256()
283   U -= (c[0] < A);  in multiprecision_fast_mod_P256()
284   U -= UA;  in multiprecision_fast_mod_P256()
287   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
289     UU = 0 - U;  in multiprecision_fast_mod_P256()
290     U = (a[1] < UU);  in multiprecision_fast_mod_P256()
293     c[1] = a[1] + U;  in multiprecision_fast_mod_P256()
294     U = (c[1] < a[1]);  in multiprecision_fast_mod_P256()
298   U += (c[1] < F);  in multiprecision_fast_mod_P256()
299   U += UF;  in multiprecision_fast_mod_P256()
300   U -= (c[1] < B);  in multiprecision_fast_mod_P256()
301   U -= UB;  in multiprecision_fast_mod_P256()
304   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
306     UU = 0 - U;  in multiprecision_fast_mod_P256()
307     U = (a[2] < UU);  in multiprecision_fast_mod_P256()
310     c[2] = a[2] + U;  in multiprecision_fast_mod_P256()
311     U = (c[2] < a[2]);  in multiprecision_fast_mod_P256()
315   U += (c[2] < G);  in multiprecision_fast_mod_P256()
316   U += UG;  in multiprecision_fast_mod_P256()
317   U -= (c[2] < C);  in multiprecision_fast_mod_P256()
318   U -= UC;  in multiprecision_fast_mod_P256()
321   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
323     UU = 0 - U;  in multiprecision_fast_mod_P256()
324     U = (a[3] < UU);  in multiprecision_fast_mod_P256()
327     c[3] = a[3] + U;  in multiprecision_fast_mod_P256()
328     U = (c[3] < a[3]);  in multiprecision_fast_mod_P256()
332   U += (c[3] < A);  in multiprecision_fast_mod_P256()
333   U += UA;  in multiprecision_fast_mod_P256()
335   U += (c[3] < a[11]);  in multiprecision_fast_mod_P256()
337   U += (c[3] < a[12]);  in multiprecision_fast_mod_P256()
338   U -= (c[3] < a[14]);  in multiprecision_fast_mod_P256()
340   U -= (c[3] < a[15]);  in multiprecision_fast_mod_P256()
342   U -= (c[3] < E);  in multiprecision_fast_mod_P256()
343   U -= UE;  in multiprecision_fast_mod_P256()
346   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
348     UU = 0 - U;  in multiprecision_fast_mod_P256()
349     U = (a[4] < UU);  in multiprecision_fast_mod_P256()
352     c[4] = a[4] + U;  in multiprecision_fast_mod_P256()
353     U = (c[4] < a[4]);  in multiprecision_fast_mod_P256()
357   U += (c[4] < B);  in multiprecision_fast_mod_P256()
358   U += UB;  in multiprecision_fast_mod_P256()
359   U -= (c[4] < a[15]);  in multiprecision_fast_mod_P256()
362   U += (c[4] < a[12]);  in multiprecision_fast_mod_P256()
364   U += (c[4] < a[13]);  in multiprecision_fast_mod_P256()
365   U -= (c[4] < F);  in multiprecision_fast_mod_P256()
366   U -= UF;  in multiprecision_fast_mod_P256()
369   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
371     UU = 0 - U;  in multiprecision_fast_mod_P256()
372     U = (a[5] < UU);  in multiprecision_fast_mod_P256()
375     c[5] = a[5] + U;  in multiprecision_fast_mod_P256()
376     U = (c[5] < a[5]);  in multiprecision_fast_mod_P256()
380   U += (c[5] < C);  in multiprecision_fast_mod_P256()
381   U += UC;  in multiprecision_fast_mod_P256()
383   U += (c[5] < a[13]);  in multiprecision_fast_mod_P256()
385   U += (c[5] < a[14]);  in multiprecision_fast_mod_P256()
386   U -= (c[5] < G);  in multiprecision_fast_mod_P256()
387   U -= UG;  in multiprecision_fast_mod_P256()
390   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
392     UU = 0 - U;  in multiprecision_fast_mod_P256()
393     U = (a[6] < UU);  in multiprecision_fast_mod_P256()
396     c[6] = a[6] + U;  in multiprecision_fast_mod_P256()
397     U = (c[6] < a[6]);  in multiprecision_fast_mod_P256()
401   U += (c[6] < C);  in multiprecision_fast_mod_P256()
402   U += UC;  in multiprecision_fast_mod_P256()
404   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
406   U += (c[6] < a[14]);  in multiprecision_fast_mod_P256()
408   U += (c[6] < a[15]);  in multiprecision_fast_mod_P256()
409   U -= (c[6] < E);  in multiprecision_fast_mod_P256()
410   U -= UE;  in multiprecision_fast_mod_P256()
413   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
415     UU = 0 - U;  in multiprecision_fast_mod_P256()
416     U = (a[7] < UU);  in multiprecision_fast_mod_P256()
419     c[7] = a[7] + U;  in multiprecision_fast_mod_P256()
420     U = (c[7] < a[7]);  in multiprecision_fast_mod_P256()
424   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
426   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
428   U += (c[7] < a[15]);  in multiprecision_fast_mod_P256()
430   U += (c[7] < a[8]);  in multiprecision_fast_mod_P256()
431   U -= (c[7] < D);  in multiprecision_fast_mod_P256()
432   U -= UD;  in multiprecision_fast_mod_P256()
435   if (U & 0x80000000) {  in multiprecision_fast_mod_P256()
436     while (U) {  in multiprecision_fast_mod_P256()
438       U++;  in multiprecision_fast_mod_P256()
440   } else if (U) {  in multiprecision_fast_mod_P256()
441     while (U) {  in multiprecision_fast_mod_P256()
443       U--;  in multiprecision_fast_mod_P256()